Abstract
In this survey chapter, we present some of the issues in designing algorithms for the control of distributed, multi-agent systems. The control of such systems is becoming an increasing issue in many areas owing to technological advances which make it possible to take “legacy” systems to new levels of functioning and efficiency. Of specific interest to us in this chapter is advanced air traffic management (ATM) to increase the efficiency and safety of air travel while accommodating the growing demand for air traffic. ATM systems will replace the completely centralized, ground-based air traffic control procedures. Within ATM, the concept of free flight allows each aircraft to plan four dimensional trajectories in real time, thus replacing the rigid and inefficient discrete airspace structure. These changes are feasible due to technological innovations such as advanced flight management systems with GPS. In this chapter, we propose a decentralized ATM architecture, in which some of the current air traffic control functionality is moved on board aircraft. Within this framework, we present the issues in hybrid systems verification and design for safe conflict resolution strategies between aircraft. Both cooperative and noncooperative conflict resolution strategies are presented along with verification methods based on Hamilton-Jacobi theory, automata theory, and the theory of games.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Başar T, Olsder G J 1995 Dynamic Non-cooperative Game Theory. 2nd ed, Academic Press, New York
Brudnicki D J, McFarland A L 1997 User request evaluation tool (URET) conflict probe performance and benefits assessment. In: Proc USA/Europe ATM Seminar. Eurocontrol, Paris, France
Canny J, Reif J 1987 New lower bound techniques for robot motion planning problems. In: Proc 28th Annual IEEE Symp Found Comp Science. pp 49–60
Couluris G J, Dorsky S 1995 Advanced air transportation technologies (AATT) potential benefits analysis. Tech Rep NASA Contract NAS2-13767, Seagull Technology Inc, Cupertino, CA
Erdman M, Lozano-Perez T 1987 On multiple moving objects. Algorithmica. 2:477–595
Erzberger H 1992 CTAS: Computer intelligence for air traffic control in the terminal area. Tech Rep NASA TM-103959, NASA Ames Research Center, Moffett Field, CA
Harman W H 1989 TCAS: A system for preventing midair collisions. Lincoln Lab J. 2:437–457
Honeywell Inc 1996 Markets Report. Tech Rep NASA Contract NAS2-114279
Honeywell Inc 1996 Technology and Procedures Report. Tech Rep NASA Contract NAS2-114279
Isaacs R 1967 Differential Games. Wiley, New York
Kahne S, Frolow I 1996 Air traffic management: Evolution with technology. IEEE Contr Syst Mag. 16(4):12–21
Košecká J, Tomlin C, Pappas G, Sastry S 1997 Verification of cooperative conflict resolution maneuvers. Submitted to: Hybrid Systems V
Krozel J, Mueller T, Hunter G 1996 Free flight conflict detection and resolution analysis. In: Proc AIAA Guid Navig Contr Conf. paper AIAA-96-3763
Kuchar J K 1995 A unified methodology for the evaluation of hazard alerting systems. PhD thesis, Massachussets Institute of Technology
Lygeros J, Tomlin C, Sastry S 1996 Multiobjective hybrid controller synthesis. In: Proc Int Work Hybrid Real-Time Syst. Grenoble, France, pp 109–123
Lygeros J, Tomlin C, Sastry S 1997 Multi-objective hybrid controller synthesis. In: Maler O (ed) Proc HART97. Springer-Verlag, Berlin, Germany, pp 109–123
Masoud A 1996 Using hybrid vector-harmonic potential fields for multi-robot, multi-target navigation in stationary environment. In: Proc 1996 IEEE Int Conf Robot Automat. Minneapolis, MN, pp 3564–3571
Mataric M J 1993 Issues and approaches in the design of collective autonomous agents. Robot Autonom Syst. 16:321–331
Medio C D, Oriolo G 1991 Robot obstacle avoidance using vortex fields. In: Stifter S, Lenarčič (eds) Advances in Robot Kinematics. Kluwer, Dordrecht, The Netherlands, pp 227–235
Paielli R A, Erzberger H 1996 Conflict probability estimation and resolution for free flight. NASA Ames Research Center, preprint
Pappas G J, Lygeros J, Godbole D N 1995 Stabilization and tracking of feedback linearizable systems under input constraints. In: Proc 34th IEEE Conf Decision Contr. New Orleans, LA, pp 596–601
Pappas G J, Sastry S 1997 Towards continuous abstractions of dynamical and control systems In: Antsaklis P, Kohn W, Nerode A, Sastry S (eds) Hybrid Systems IV, Springer-Verlag, New York
Radio Technical Commission for Aeronautics 1995 Final report of RTCA task force 3: Free flight implementation. Tech Rep, Washington, DC
Shewchun M, Feron E 1997 Linear matrix inequalities for analysis of free flight conflict problems. In: 36th IEEE Conf Decision Contr. San Diego, CA
Tomlin C, Lygeros J, Benvenuti L, Sastry S 1995 Output tracking for a nonminimum phase dynamic CTOL aircraft model. In: Proc 34th IEEE Conf Decision Contr. New Orleans, LA
Tomlin C, Pappas G, Sastry S 1997 Conflict resolution for air traffic management: A case study in multi-agent hybrid systems. Tech Rep UCB/ERL M97/33, University of California at Berkeley, to appear in IEEE Trans Automat Contr.
Tomlin C, Sastry S 1995 Bounded tracking for nonminimum phase nonlinear systems with fast zero dynamics. In: Proc 35th IEEE Conf Decision Contr. Kobe, Japan, pp 2058–2063
Zhao Y, Schultz R 1997 Deterministic resolution of two aircraft conflict in free flight In: Proc AIAA Guid Navig Contr Conf. New Orleans, LA, paper AIAA-97-3547
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag London Limited
About this paper
Cite this paper
Tomlin, C.J., Pappas, G.J., Košecká, J., Lygeros, J., Sastry, S.S. (1998). Advanced air traffic automation: A case study in distributed decentralized control. In: Siciliano, B., Valavanis, K.P. (eds) Control Problems in Robotics and Automation. Lecture Notes in Control and Information Sciences, vol 230. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0015088
Download citation
DOI: https://doi.org/10.1007/BFb0015088
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-76220-1
Online ISBN: 978-3-540-40913-7
eBook Packages: Springer Book Archive