An approach to the verification of the center-tracon automation system

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1386, Issue , 1998, Pages 289-304

  Lygeros, John ^a   Pappas, George J ^a   Sastry, Shankar ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84957869487     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-64358-3_46     Document Type: Conference Paper

References (9)

1. H. Erzberger, T.J. Davis, and S. Green. Design of center-TRACON automation system. In Proceedings of the AGARD Guidance and Control Symposium on Machine Intelligence in Air Traffic Management, Berlin, Germany, May 1993.
2. John Lygeros and Nancy Lynch. Towards the formal verification of the TCAS conflict resolution algorithms. In IEEE Control and Decision Conference, pages 1829-1834, 1997.
3. W. Nedell and H. Erzberger. The traffic management advisor. In American Control Conference, San Diego, CA, December 1990.
4. Steven M. Green, Robert A. Vivona, and Beverly Sanford. Descent advisor preliminary field test. In Proceedings of the AIAA Guidance, Navigation and Control Conference, Baltimore, MD, August 1995.
5. T.J. Davis, K.J. Krzeczowski, and C. Bergh. The final approach spacing tool. In Proceedings of the 13th IFAC Symposium on Automatic Control in Aerospace, Palo Alto, CA, September 1994.
6. S. Green, T. Goka, and D.H. Williams. Enabling user preferences through data exchange. In Proceedings of the AIAA Guidance, Navigation and Control Conference, New Orleans, LA, August 1997.
7. Radio Technical Commission for Aeronautics. Final report of RTCA Task Force 3: Free Flight Implementation. Technical report, RTCA, Washington, DC, October 1995.
8. Nancy Lynch, Roberto Segala, Frits Vaandrager, and H.B. Weinberg. Hybrid I/O automata. In Hybrid Systems III, number 1066 in LNCS, pages 496-510. Springer Verlag, 1996.
9. George Pappas, John Lygeros, Shankar Sastry, and Nancy Lynch. Modeling, specification and safety analysis of CTAS. Technical Report NEXTOR Research Report RR-97-5, University of California at Berkeley, Berkeley, CA, September 1997.