Advanced air traffic automation: A case study in distributed decentralized control

  • Claire J. Tomlin
  • George J. Pappas
  • Jana Košecká
  • John Lygeros
  • Shankar S. Sastry
Conference paper

DOI: 10.1007/BFb0015088

Volume 230 of the book series Lecture Notes in Control and Information Sciences (LNCIS)
Cite this paper as:
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

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag London Limited 1998

Authors and Affiliations

  • Claire J. Tomlin
    • 1
  • George J. Pappas
    • 1
  • Jana Košecká
    • 1
  • John Lygeros
    • 1
  • Shankar S. Sastry
    • 1
  1. 1.Department of Electrical Engineering and Computer ScienceUniversity of California at BerkeleyUSA