High-level modeling and analysis of the traffic alert and collision avoidance system (TCAS)

Carolos Livadas,J. Lygeros,N. Lynch

Published 2000 in Proceedings of the IEEE

ABSTRACT

No abstract is available for this paper.

PUBLICATION RECORD

Publication year
2000
Venue
Proceedings of the IEEE
Publication date
2000-07-01
Fields of study
Computer Science, Engineering
Identifiers
DOI 10.1109/5.871302
External record
Open on Semantic Scholar
Source metadata
Semantic Scholar

CITATION MAP

EXTRACTION MAP

CLAIMS

No claims are published for this paper.

CONCEPTS

No concepts are published for this paper.

REFERENCES

Hybrid Systems
2002cited by this paper
Intent Speciications: an Approach to Building Human-centered Speciications
2000cited by this paper
High-level modeling and analysis of TCAS
1999cited by this paper
Formal Verification of Safety-Critical Hybrid Systems
1998cited by this paper
Intent specifications: an approach to building human-centered specifications
1998cited by this paper
An Approach to the Verification of the Center-TRACON Automation System
1998influential reference
Preview of TCAS II Version 7
1998cited by this paper
On the formal verification of the TCAS conflict resolution algorithms
1997cited by this paper
Safety Verification for Automated Platoon Maneuvers: A Case Study
1997cited by this paper
On the Formal Veri cation of the TCAS Con ictResolution Algorithms 1
1997cited by this paper
Hybrid systems III : verification and control
1996cited by this paper
Forward and Backward Simulations, II: Timing-Based Systems
1996cited by this paper
Safeware: System Safety and Computers
1995cited by this paper
Verification of Automated Vehicle Protection Systems
1995cited by this paper
Hybrid I/O automata
1995influential reference
The Algorithmic Analysis of Hybrid Systems
1995cited by this paper
A Theory of Timed Automata
1994cited by this paper
Liveness in Timed and Untimed Systems
1994cited by this paper
Temporal Proof Methodologies for Timed Transition Systems
1994cited by this paper
Requirements Specification for Process-Control Systems
1994influential reference
The temporal logic of actions
1994cited by this paper
The generalized railroad crossing: a case study in formal verification of real-time systems
1994cited by this paper
Forward and backward simulations, part II: timing-based systems
1993cited by this paper
Verifying Hybrid Systems
1992cited by this paper
Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems
1992cited by this paper
Timed Transition Systems
1991cited by this paper
Temporal proof methodologies for real-time systems
1991cited by this paper
From Timed to Hybrid Systems
1991cited by this paper
Automata For Modeling Real-Time Systems
1990cited by this paper
A personal communication
1989cited by this paper
Traffic Alert and Collision Avoidance System
1988influential reference
Statecharts: A Visual Formalism for Complex Systems
1987cited by this paper

CITED BY

Certified Approximate Reachability (CARe): Formal Error Bounds on Deep Learning of Reachable Sets
2025cites this paper
Aircraft Collision Avoidance Systems: Technological Challenges and Solutions on the Path to Regulatory Acceptance
2025cites this paper
Implementation and Evaluation of a Vision-Based Detect-and-Avoid System for Small UAS
2025cites this paper
ATCion: Exploring the Design of Icon-based Visual Aids for Enhancing In-cockpit Air Traffic Control Communication
2025cites this paper
Building a Theory of Distributed Systems: Work by Nancy Lynch and Collaborators
2025cites this paper
In-flight fast conflict-free trajectory re-planning considering UAV position uncertainty and energy consumption
2025cites this paper
Comparison of Collision Avoidance Logic between ACAS X and TCAS II in General Aviation Flight
2023cites this paper
Predicting pilot behavior during midair encounters using long short-term memory network
2023cites this paper
Collision Avoidance Systems, Airplanes
2021cites this paper
Traffic collision avoidance system: false injection viability
2021cites this paper
Computation of Reachable Sets Based on Hamilton-Jacobi-Bellman Equation with Running Cost Function
2021cites this paper
Unmanned air-traffic management (UTM): Formalization, a prototype implementation, and performance evaluation
2020cites this paper
SkyTrakx: A Toolkit for Simulation and Verification of Unmanned Air-Traffic Management Systems
2020cites this paper
Timed Discrete-Event Simulation of Aviation Scenarios
2020cites this paper
UAV Formation Flight and Collision Warning with Centralized Control of Ground Control Station
2019cites this paper
Conflict Detection and Resolution for Civil Aviation: A Literature Survey
2019influential citation
Parity Space Method for Mode Detection of a Nonlinear Switching System Using Takagi–Sugeno Modeling
2019cites this paper
Analysis of Real Airborne Collision Avoidance System Surveillance Parameters
2019cites this paper
A Negotiation Mechanism for a Consensus in Air Traffic Conflict Resolution
2018cites this paper
Formalizing Time and Causality in Polychronous Polytimed Models. (Formalisation du temps et de la causalité dans les modèles polychrones polytemporisés)
2018cites this paper
A Survey of IoT-Enabled Cyberattacks: Assessing Attack Paths to Critical Infrastructures and Services
2018cites this paper
An abstract model for proving safety of autonomous urban traffic
2018cites this paper
An Abstract Model for Proving Safety of Autonomous Urban Traffic
2018cites this paper
Final Project Results Report
2018cites this paper
Verification of Hybrid Systems
2018cites this paper
Controller Synthesis for Complementarity Hybrid Dynamical Systems
2018cites this paper
Faulty Mode Detection and Identification for SISO Nonlinear Switching System
2018cites this paper
Simulation modelling of traffic collision avoidance system with wind disturbance
2018cites this paper
A causal encounter model of traffic collision avoidance system operations for safety assessment and advisory optimization in high-density airspace
2018cites this paper
A comparative analysis of different methods for identification of the evolution of number of possible conflict-free airspace configurations including multiple aircraft and single conflict
2017cites this paper
Analysis of the Tau concept used in aircraft collision avoidance through kinematic simulations
2017influential citation
Towards artificial situation awareness by autonomous vehicles
2017cites this paper
A constraint-based language for modelling intelligent environments
2017cites this paper
Review: Analysis and Improvement of Traffic Alert and Collision Avoidance System
2017cites this paper
Collision detection and resolution of hazard prevention actions in safety critical systems
2016cites this paper
Switching time estimation and active mode recognition using a data projection method
2016cites this paper
Short range networks of wearables for safer mobility in smart cities
2016cites this paper
Causal models for analysis of TCAS-induced collisions
2015cites this paper
Cyber-physical modeling of compression systems using hybrid automata
2015cites this paper
Extended Traffic Alert Information to Improve TCAS Performance by means of Causal Models
2015cites this paper
Analysis of induced Traffic Alert and Collision Avoidance System collisions in unsegregated airspace using a Colored Petri Net model
2015cites this paper
LTL specifications for Highway Lane Changing Maneuvers of Highly Automated Vehicles
2014cites this paper
A real-time multi-camera vision system for UAV collision warning and navigation
2014cites this paper
Improving active space telescope wavefront control using predictive thermal modeling
2014cites this paper
Z Specification of Gate and Apron Control Management at Airport
2014cites this paper
Safety Control Management at Airport Taxiing to Take-Off Procedure
2014cites this paper
Design, Control, And Failure Mitigation For Segmented Space Telescopes
2014cites this paper
Wirelessly Enabled Control of Cyber-Physical Infrastructure with Applications to Hydronic Systems.
2014cites this paper
A Five-Camera Vision System for UAV Visual Attitude Calculation and Collision Warning
2013cites this paper
Computer Vision Systems
2013cites this paper
Work Practice Simulation of Complex Human-Automation Systems in Safety Critical Situations: The Brahms Generalized berlingen Model
2013cites this paper
A Reactive Collision Avoidance Algorithm for Multiple Midair Unmanned Aerial Vehicles
2013cites this paper
Quantifying collision potential in airport surface movement
2013cites this paper
Modeling and verification of a robotic surgical system using Hybrid Input/Output Automata
2013cites this paper
A TCAS-II Resolution Advisory Detection Algorithm
2013cites this paper
Input-to-state stability for a class of hybrid dynamical systems via averaging
2012cites this paper
A Formal Approach to Autonomous Vehicle Coordination
2012cites this paper
Stabilization for a class of switched neutral systems under asynchronous switching
2012cites this paper
Machine learning based air traffic control strategy
2012cites this paper
Analysis for a class of singularly perturbed hybrid systems via averaging
2012cites this paper
Exponential Stability for a Class of Switched Nonlinear Systems with Mixed Time-Varying Delays via an Average Dwell-Time Method
2012cites this paper
An OFDM Based Aeronautical Communication System
2011cites this paper
Robust reliable stabilization of uncertain switched neutral systems with delayed switching
2011cites this paper
Proceedings of the 9 th International Workshop on Satisfiability Modulo Theories ( SMT ) 2011
2011cites this paper
Vision-based Reactive Collision Avoidance Algorithm for Unmanned Aerial Vehicle
2011cites this paper
Averaging and singular perturbation methods for analysis of dynamical systems with disturbances
2011cites this paper
New Delay Dependent Stability Analysis for Switched Neutral Systems with Mode-Dependent Delays under Arbitrary Switching Laws
2011cites this paper
Exploring and categorizing error spacing using BMC and SMT
2011influential citation
Averaging of hybrid dynamical systems with disturbances
2011cites this paper
Stochastic hybrid systems for DNA replication modeling
2010cites this paper
Modeling and verification of stochastic hybrid systems using HIOA: a case study on DNA replication
2010cites this paper
The Theory of Timed I/O Automata, Second Edition
2010cites this paper
Safety verification of autonomous vehicles for coordinated evasive maneuvers
2010cites this paper
Stability for the switched neutral systems with time-varying delay
2010cites this paper
Delay-dependent Robust Stability of Uncertain Discrete-Time Switched Systems
2010cites this paper
Differential-algebraic Dynamic Logic for Differential-algebraic Programs
2010cites this paper
Cyber attack in a two-area power system: Impact identification using reachability
2010cites this paper
BIBO stability of switched uncertain neutral control system
2010cites this paper
iFly Deliverable D5.1 Comparative Study of Conflict Resolution Methods
2009cites this paper
Convergence Criteria of Solutions for a Class of Switched Linear Singular Systems with Time Delay
2009cites this paper
Symbolic planning for heterogeneous robotsthrough composition of their motiondescription languages
2009cites this paper
Stability and control of switched systems with impulsive effects
2009cites this paper
New stability and stabilization for switched neutral control systems
2009cites this paper
Stability criteria for switched linear systems based on the quadratic forms
2009cites this paper
New Stabilization for Switched Neutral Systems with Perturbations
2009cites this paper
Delay-dependent Stability Analysis for Uncertain Switched Neutral System
2009cites this paper
Robust Stabilizability of Switched Linear Time-Delay Systems with Polytopic Uncertainties
2008cites this paper
A Hybrid Automaton Model of the Cement Mill Control
2008cites this paper
Stability criteria for switched linear systems
2008cites this paper
Randomized Algorithm: A viability computation
2008cites this paper
Target problems under state contraints for anisotropic affine dynamics A numerical analysis based on viability theory
2008cites this paper
iFly , Work Package WP 5 , D 5 . 1 Comparative Study of Conflict Resolution Methods
2008cites this paper
DOCUMENT CONTROL SHEET
2008cites this paper
From high-level tasks to low-level motions: motion planning for high-dimensional nonlinear hybrid robotic systems
2008cites this paper
Hierarchical, Hybrid Framework for Collision Avoidance Algorithms in the National Airspace
2008cites this paper
Delay independent stability of linear switching systems with time delay
2008cites this paper
A learning theory approach to the computation of reachable sets
2007cites this paper
Editorial Board
2007cites this paper
Cooperation of Cars and Formation of Cooperative Groups
2007cites this paper
Safety Verification of an Aircraft Landing Protocol: A Refinement Approach
2007cites this paper