Conflict resolution for air traffic management: A study in multiagent hybrid systems

被引：678
作者：
Tomlin, C [1 ]
Pappas, GJ [1 ]
Sastry, S [1 ]
机构：
[1] Univ Calif Berkeley, Dept Elect Engn & Comp Sci, Berkeley, CA 94720 USA
来源：
IEEE TRANSACTIONS ON AUTOMATIC CONTROL | 1998年 / 43卷 / 04期
基金：
美国国家航空航天局; 加拿大自然科学与工程研究理事会;
关键词：
air traffic management; conflict resolution; hybrid systems; verification;
D O I：
10.1109/9.664154
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Air Traffic Management (ATM) of the future allows for the possibility of free flight, in which aircraft choose their own optimal routes, altitudes, and velocities, The safe resolution of trajectory conflicts between aircraft is necessary to the success of such a distributed control system, In this paper, we present a method to synthesize provably safe conflict resolution maneuvers. The method models the aircraft and the maneuver as a hybrid control system and calculates the maximal set of safe initial conditions for each aircraft so that separation is assured in the presence of uncertainties in the actions of the other aircraft, Examples of maneuvers using both speed and heading changes are worked out in detail.
引用
收藏
页码：509 / 521
页数：13
相关论文
共 46 条
[1]   A THEORY OF TIMED AUTOMATA [J].
ALUR, R ;
DILL, DL .
THEORETICAL COMPUTER SCIENCE, 1994, 126 (02) :183-235
[2]  
ALUR R, 1996, LECT NOTES COMPUTER, V1066
[3]  
ALUR R, 1994, LECT NOTES CONTROL I, V199, P331
[4]  
[Anonymous], 1995, WORKSHOP
[5]  
ANTSAKLIS PJ, 1995, LECT NOTES COMPUTER, V999
[6]  
ANTSAKLIS PJ, 1997, LECT NOTES COMPUTER, V1273
[7]  
Basar T., 1995, Dynamic Noncooperative Game Theory
[8]  
BJORNER NS, 1995, STANCSTR951562 STANF
[9]  
BRANICKY MS, 1994, THESIS MIT
[10]  
BROCKETT RW, 1993, PROG SYST C, V14, P29
12345