A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system

STTT, Volume 19, Issue 6, 2017, Pages 717-741.

Cited by: 25|Bibtex|Views19|Links
EI
Keywords:
Aircraft collision avoidance Next-generation airborne collision avoidance system (ACAS X) Formal verification Hybrid systems Continuous dynamics

Abstract:

The Next-Generation Airborne Collision Avoidance System (ACAS X) is intended to be installed on all large aircraft to give advice to pilots and prevent mid-air collisions with other aircraft. It is currently being developed by the Federal Aviation Administration (FAA). In this paper, we determine the geometric configurations under which t...More

Code:

Data:

Your rating :
0

 

Tags
Comments