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.
Aircraft collision avoidance Next-generation airborne collision avoidance system (ACAS X) Formal verification Hybrid systems Continuous dynamics
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
Full Text (Upload PDF)
PPT (Upload PPT)