Safety Verification of Conflict Resolution Maneuvers

IEEE Transactions on Intelligent Transportation Systems

Volumn 2, Issue 2, 2001, Pages 110-120

  Tomlin, Claire ^a,b,c,d   Mitchell, Ian ^a,e   Ghosh, Ronojoy ^a,e,f  

^a Stanford University   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

^c Sofresid   (France)

^d NORTEL NETWORKS   (Canada)

^e STANFORD UNIVERSITY   (United States)

^f INDIAN INSTITUTE OF TECHNOLOGY   (India)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0242581906     PISSN: 15249050     EISSN: None     Source Type: Journal    
DOI: 10.1109/6979.928722     Document Type: Article

References (33)

1. Honeywell, "Markets Report,", NASA Contract NAS2-114 279, 1996.
2. T. S. Perry, "In search of the future of air traffic control," IEEE Spectrum, vol. 34, no. 8, pp. 18-35, 1997.
3. J. W. Jackson and S. M. Green, "Control applications and challenges in air traffic management," in Proc. American Control Conf., Philadelphia, PA, 1998, pp. 1772-1788.
4. M. S. Nolan, Fundamentals of Air Traffic Control, 3rd ed. Pacific Grove, CA: Brooks/Cole, 1999.
5. S. Kahne and I. Frolow, "Air traffic management: Evolution with technology," IEEE Control Syst. Mag., vol. 16, no. 4, pp. 12-21, 1996.
6. R. Y. Gazit, "Aircraft surveillance and collision avoidance using GPS," Ph.D. dissertation, Dep. Aeronautics and Astronautics, Stanford Univ., 1996.
7. "Minimum aviation system performance standards for Automatic Dependent Surveillance-Broadcast (ADS-B)," Radio Technical Commission for Aeronautics, RTCA-186, DRAFT 4.0, 1997.
8. Honeywell, "Concepts and Air Transportation Systems Rep.,", NASA Contract NAS2-114 279, 1996.
9. H. Erzberger, A vision of the future air traffic control system, in Lecture at Stanford University, 2000.
10. R. A. Paielli and H. Erzberger, "Conflict probability and estimation for free flight," J. Guidance, Contr., Dyn., vol. 20, no. 3, pp. 588-596, May-June 1997.
11. J. Hu, J. Lygeros, M. Prandini, and S. Sastry, "Aircraft conflict prediction and resolution using Brownian motion," in Proc. IEEE Conference on Decision and Control, Phoenix, AZ, 1999, pp. 2438-2443.
12. M. Prandini, J. Lygeros, A. Nilim, and S. Sastry, "Randomized algorithms for probabilistic aircraft conflict detection," in Proceedings of the IEEE Conference on Decision and Control, Phoenix, AZ, 1999, pp. 2444-2449.
13. L. Yang and J. Kuchar, "Prototype conflict alerting logic for free flight," in Proceedings of the 35th AIAA Aerospace Sciences Meeting & Exhibit, Reno, NV, Jan. 1997, AIAA-97-0220.
14. J. Krozel and M. Peters, "Conflict detection and resolution for free flight," Air Traffic Control Quart. J., vol. 5, no. 3, pp. 181-212, 1997.
15. Y. Zhao and R. Schultz, "Deterministic resolution of two aircraft conflict in free flight," in Proceedings of the AIAA Guidance, Navigation and Control Conference, New Orleans, LA, Aug. 1997, AIAA-97-3547.
16. J.-H. Oh and E. Feron, "Fast detection and resolution of multiple conflicts for 3-Dimensional free flight," in Proceedings of the IEEE Conference on Decision and Control, San Diego, CA, 1997.
17. B. Sridhar and G. B. Chatterji, "Computationally efficient conflict detection methods for air traffic management," in Proc. American Control Conf., Albuquerque, NM, 1997.
18. P. K. Menon, G. D. Sweriduk, and B. Sridhar, "Optimal strategies for free-flight air traffic conflict resolution," J. Guidance, Control, Dyn., vol. 22, no. 2, pp. 202-211, 1998.
19. J. Hu, M. Prandini, and S. S. Sastry, "Optimal maneuver for multiple aircraft conflict resolution: A braid point of view," in Proc. IEEE Conf. on Decision and Control, Sydney, Dec. 2000.
20. C. Tomlin, G. J. Pappas, and S. Sastry, "Conflict resolution for air traffic management: A case study in multi-agent hybrid systems," IEEE Trans. Automat. Contr., vol. 43, pp. 509-521, Apr. 1998.
21. A. F. Filippov, Differential Equations with Discontinuous Right Hand Sides. Boston, MA: Kluwer Academic, 1988.
22. C. Tomlin, J. Lygeros, and S. Sastry, "Synthesizing controllers for non-linear hybrid systems," in Hybrid Systems: Computation and Control, T. Henzinger and S. Sastry, Eds. New York: Springer Verlag, 1998, pp. 360-373.
23. C. J. Tomlin, "Hybrid Control of Air Traffic Management Systems," Ph.D. dissertation, Dep. Elect. Eng., Univ.of California, Berkeley, CA, 1998.
24. I. Mitchell and C. Tomlin, "Level set methods for computation in hybrid systems," in Hybrid Systems: Computation and Control, B. Krogh and N. Lynch, Eds: Springer Verlag, 2000, pp. 310-323.
25. C. Tomlin, J. Lygeros, and S. Sastry, "Controller design for hybrid systems," Proc. IEEE, vol. 88, pp. 949-970, July 2000.
26. R. Ghosh and C. J. Tomlin, "Nonlinear inverse dynamic control for mode-based flight," in Proc. AIAA Guidance, Navigation, and Control Conf., Denver, CO, Aug. 2000.
27. A. E. Bryson and Y.-C Ho, Applied Optimal Control. Waltham, MA: Blaisdell, 1969.
28. T. Başar and G. J. Olsder, Dynamic Non-cooperative Game Theory, second ed. New York: Academic, 1995.
29. S. Osher and J. A. Sethian, "Fronts propagating with curvature-dependent speed: Algorithms based on Hamilton-Jacobi formulations," J. Comput. Phys., vol. 79, pp. 12-49, 1988.
30. I. Mitchell, A. Bayen, and C. J. Tomlin, "Validating a Hamilton-Jacobi approximation to hybrid system reachable sets," in Hybrid Systems: Computation and Control, M. D. D. Benedetto and A. Sangiovanni-Vincentelli, Eds: Springer Verlag, 2001, pp. 418-432.
31. R. Ghosh and C. J. Tomlin, "Maneuver design for multiple aircraft conflict resolution," in Proc. American Control Conference, Chicago, IL, June 2000.
32. M. Oishi and C. Tomlin, "Switched nonlinear control of a VSTOL aircraft," in Proc. IEEE Conf. on Decision and Control, Phoenix, AZ, 1999.
33. R. Teo and C. J. Tomlin, "Computing provably safe aircraft to aircraft spacing for closely spaced parallel approaches," in Proc. Digital Avionics Systems Conf. (DASC00), Philadelphia, PA, Oct. 2000.