Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm
 

Summary: Formal Verification of an Optimal Air Traffic
Conflict Resolution and Recovery Algorithm
Andr´e L. Galdino1
, C´esar Mu~noz2
, and Mauricio Ayala-Rinc´on1
1
Universidade de Bras´ilia, Brazil
{galdino,ayala}@unb.br
2
National Institute of Aerospace, USA
munoz@nianet.org
Abstract. Highly accurate positioning systems and new broadcasting
technology have enabled air traffic management concepts where the re-
sponsibility for aircraft separation resides on pilots rather than on air
traffic controllers. The Formal Methods Group at the National Institute
of Aerospace and NASA Langley Research Center has proposed and for-
mally verified an algorithm, called KB3D, for distributed three dimen-
sional conflict resolution. KB3D computes resolution maneuvers where
only one component of the velocity vector, i.e., ground speed, vertical
speed, or heading, is modified. Although these maneuvers are simple to

  

Source: Ayala-Rincón, Mauricio - Departamento de Matemática, Universidade de Brasília

 

Collections: Mathematics