Conflict resolution for Air Traffic Management: A study in multiagent hybrid systems

IEEE Transactions on Automatic Control

Volumn 43, Issue 4, 1998, Pages 509-521

  Tomlin, Claire ^a,b   Pappas, George J ^a,b   Sastry, Shankar ^a,b  

^a IEEE   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Air traffic management; Conflict resolution; Hybrid systems; Verification

Indexed keywords

AIRCRAFT; CONTROL SYSTEMS; DISTRIBUTED PARAMETER CONTROL SYSTEMS; MATHEMATICAL MODELS; SAFETY FACTOR;

MULTIAGENT HYBRID SYSTEMS;

AIR TRAFFIC CONTROL;

EID: 0032050862     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/9.664154     Document Type: Article

References (46)

1. Honeywell Inc., "Markets report," Tech. Rep. NASA Contract NAS2-114279, Final Rep. for AATT Contract, 1996.
2. T. S. Perry, "In search of the future of air traffic control," IEEE Spectrum, vol. 34, pp. 18-35, 1997.
3. Radio Technical Commission for Aeronautics. Final report of RTCA Task Force 3: Freeflight implementation, RTCA, Washington DC, Tech. Rep., Oct. 1995.
4. Honeywell Inc., "Technology and procedures report," Tech. Rep. NASA NAS2-114279, Final Rep. for AATT Contract, 1996.
5. S. Kahne and I. Frolow, "Air traffic management: Evolution with technology," IEEE Contr. Syst. Mag., vol. 16, pp. 12-21, Aug. 1996.
6. W. H. Harman, "TCAS: A system for preventing midair collisions," Lincoln Lab. J., vol. 2, no. 3, pp. 437-457, 1989.
7. H. Erzberger, T. J. Davis, and S. Green, "Design of center-TRACON automation system," in Proc. AGARD Guidance and Control Symp. Machine Intelligence in Air Traffic Management, Berlin, Germany, 1993, pp. 11.1-11.12.
8. D. J. Brudnicki and A. L. McFarland, "User request evaluation tool (URET) conflict probe performance and benefits assessment," in Proc. U.SA./Europe ATM Seminar, Eurocontrol, Paris, 1997.
9. L. Yang and J. Kuchar, " Prototype conflict alerting logic for free flight," in Proc. 35th AIAA Aerospace Sciences Meeting & Exhibit, AIAA 97-0220, Reno, NV, Jan. 1997.
10. R. A. Paielli and H. Erzberger, "Conflict probability and estimation for free flight," in Proc. 35th AIAA Aerospace Sciences Meeting & Exhibit, AIAA 97-0001, Reno, NV, Jan. 1997.
11. J. Krozel, T. Mueller, and G. Hunter, "Free flight conflict detection and resolution analysis," in Proc. AIAA Guidance, Navigation and Control Conf., AIAA-96-3763, San Diego, CA, Aug. 1996.
12. Y. Zhao and R. Schultz, "Deterministic resolution of two aircraft conflict in free flight," in Proc. AIAA Guidance, Navigation and Control Conference, AIAA-97-3547, New Orleans, LA, Aug. 1997.
13. J.-H. Oh and E. Feron, "Fast detection and resolution of multiple conflicts for 3-Dimensional free flight," in Proc. IEEE Conf. Decision and Control, San Diego, CA, 1997.
14. R. Slattery and S. Green, "Conflict free trajectory planning for air traffic control automation," NASA Ames Research Center, Moffett Field, CA, Technical Rep. NASA TM-108790, Jan. 1994.
15. C. Tomlin, G. Pappas, J. Lygeros, D. Godbole, and S. Sastry, "Hybrid control models of next generation air traffic management," in Hybrid Systems IV, Lecture Notes in Computer Science 1273, P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, Eds. New York: Springer-Verlag, 1997, pp. 378-404; longer version available as UCB/ERL Memo M97/7.
16. R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, Eds., Hybrid Systems, Lecture Notes in Computer Science 736. New York: Springer-Verlag, 1993.
17. P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, Eds., Hybrid Systems II, Lecture Notes in Computer Science 999. New York: Springer-Verlag, 1995.
18. R. Alur, T. A. Henzinger, and E. D. Sontag, Eds., Hybrid Systems III, Lecture Notes in Computer Science 1066. New York: Springer-Verlag, 1996.
19. P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, Eds., Hybrid Systems IV, Lecture Notes in Computer Science 1273. New York: Springer-Verlag, 1997.
20. R. Alur and D. Dill, "A theory of timed automata," Theoretical Computer Science, vol. 126, pp. 183-235, 1994.
21. R. Alur, C. Courcoubetis, T. A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine, "The algorithmic analysis of hybrid systems," in Proc. 11th Int. Conf. Analysis and Optimization of Systems: Discrete-Event Systems, Lecture Notes in Control and Information Sciences 199, G. Cohen and J.-P. Quadrat, Eds. New York: Springer-Verlag, 1994, pp. 331-351.
22. N. Lynch, R. Segala, F. Vaandrager, and H. B. Weinberg, "Hybrid I/O automata," in Hybrid Systems III, Lecture Notes in Computer Science 1066. New York: Springer-Verlag, 1996, pp. 496-510.
23. T. A. Henzinger, "The theory of hybrid automata," in Proc. 11th Ann. Symp. Logic in Computer Science. New York: IEEE Computer Soc. Press, 1996, pp. 278-292.
24. A. Puri and P. Varaiya, "Decidability of hybrid systems with rectangular differential inclusions," in Proc. 6th Int. Computer Aided Verification Conf., Stanford, CA, 1994, pp. 95-104.
25. G. Pappas and S. Sastry, "Toward continuous abstractions of dynamical and control systems," in Hybrid Systems IV, Lecture Notes in Computer Science 1273, P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, Eds. New York: Springer-Verlag, 1997, pp. 329-341.
26. Z. Manna and A. Pnueli, Temporal Verification of Reactive Systems: Safety. New York: Springer-Verlag, 1995.
27. O. Maler, A. Pnueli, and J. Sifakis, "On the synthesis of discrete controllers for timed systems," in STAGS 95: Theoretical Aspects of Computer Science, Lecture Notes in Computer Science 900, E. W. Mayr and C. Puech, Eds. Munich, Germany: Springer Verlag, 1995, pp. 229-242.
28. H. Wong-Toi, "The synthesis of controllers for linear hybrid automata," in Proc. IEEE Conf. Decision and Control, San Diego, CA, 1997.
29. T. A. Henzinger, P. H. Ho, and H. Wong-Toi, "A user guide to HYTECH," in TACAS 95: Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science 1019, E. Brinksma, W. Cleaveland, K. Larsen, T. Margaria, and B. Steffen, Eds. New York: Springer Verlag, 1995, pp. 41-71.
30. C. Daws, A. Olivero, S. Tripakis, and S. Yovine, "The tool KRONOS," in Hybrid Systems III, Verification and Control, Lecture Notes in Computer Science 1066. New York: Springer-Verlag, 1996, pp. 208-219.
31. N. Bjorner, A. Browne, E. Chang, M. Colon, A. Kapur, Z. Manna, H. Sipma, and T. Uribe, "STeP: The Stanford Temporal Prover (educational release), user's manual," Dept. Computer Science, Stanford Univ., Tech. Rep., STAN-CS-TR-95-1562, 1995.
32. R. W. Brockett, "Hybrid models for motion control systems," in Perspectives in Control, H. Trentelman and J. C. Willems, Eds. Boston, MA: Birkhauser, 1993, pp. 29-54.
33. M. S. Branicky, "Control of hybrid systems," Ph.D. dissertation, Dept. Electrical Engineering and Computer Sciences, MIT, 1994.
34. L. Tavernini, "Differential automata and their discrete simulators," Nonlinear Analysis, Theory, Methods and Applications, vol. 11, no. 6, pp. 665-683, 1987.
35. A. Deshpande, "Control of hybrid systems," Ph.D. dissertation, Dept. Electrical Engineering and Computer Sciences, Univ. California, Berkeley, 1994.
36. J. Lygeros, "Hierarchical, hybrid control of large scale systems," Ph.D. dissertation, Dept. Electrical Engineering and Computer Sciences, Univ. California, Berkeley, 1996.
37. A. Nerode and W. Kohn, "Models for hybrid systems: Automata, topologies, controllability, observability," in Hybrid Systems, Lecture Notes in Computer Science 736, R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, Eds. New York: Springer Verlag, 1993, pp. 317-356.
38. M. Lemmon, J. A. Stiver, and P. J. Antsaklis, "Event identification and intelligent hybrid control," in Hybrid Systems, Lecture Notes in Computer Science 736, R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, Eds. New York: Springer Verlag, 1993, pp. 268-296.
39. M. Heymann, F. Lin, and G. Meyer, "Control synthesis for a class of hybrid systems subject to configuration-based safety constraints," in Hybrid and Real Time Systems, Lecture Notes in Computer Science 1201, O. Maler, Ed. New York: Springer Verlag, 1997, pp. 376-391.
40. R. Isaacs, Differential Games. New York: Wiley, 1967.
41. T. Basar and G. J. Olsder, Dynamic Non-Cooperative Game Theory, 2nd ed. New York: Academic, 1995.
42. J. Lygeros, D. N. Godbole, and S. Sastry, "A verified hybrid controller for automated vehicles," Inst. Transportation Studies, Univ. California, Berkeley, Tech. Rep. {UCB-ITS-PRR-97-9}, 1997.
43. J. Lygeros, C. Tomlin, and S. Sastry, "Multiobjective hybrid controller synthesis," in Hybrid and Real-Time Systems, Lecture Notes in Computer Science 1201, O. Maler, Ed. Grenoble, France: Springer-Verlag, 1997, pp. 109-123.
44. C. Tomlin, G. Pappas, and S. Sastry, "Conflict resolution for air traffic management: A case study in multi-agent hybrid systems," Electronics Research Laboratory, Univ. California, Berkeley, Tech. Rep., UCB/ERL M96/38, 1996.
45. J. Košecká, C. Tomlin, G. Pappas, and S. Sastry, "Generation of conflict resolution maneuvers for air traffic management," in Proc, Int. Conf. Intelligent Robots and Systems (IROS), Grenoble, 1997, pp. 1598-1603.
46. J. A. Sethian, "Theory, algorithms, and applications of level set methods for propagating interfaces," Center for Pure and Applied Mathematics (PAM-651), Univ. California, Berkeley, Tech. Rep., 1995.