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.
机构:
So Illinois Univ, Dept Ind & Mfg Engn, Edwardsville, IL 62026 USAPurdue Univ, PRISM Ctr, W Lafayette, IN 47907 USA
Chen, Xin W.
Landry, Steven J.
论文数: 0引用数: 0
h-index: 0
机构:
Purdue Univ, PRISM Ctr, W Lafayette, IN 47907 USA
Purdue Univ, Sch Ind Engn, W Lafayette, IN 47907 USAPurdue Univ, PRISM Ctr, W Lafayette, IN 47907 USA
Landry, Steven J.
Nof, Shimon Y.
论文数: 0引用数: 0
h-index: 0
机构:
Purdue Univ, PRISM Ctr, W Lafayette, IN 47907 USA
Purdue Univ, Sch Ind Engn, W Lafayette, IN 47907 USAPurdue Univ, PRISM Ctr, W Lafayette, IN 47907 USA
机构:
Univ Waterloo, David R Cheriton Sch Comp Sci, Waterloo, ON N2L 3G1, CanadaUniv Waterloo, David R Cheriton Sch Comp Sci, Waterloo, ON N2L 3G1, Canada
Chinaei, Amir H.
Zhang, Huaxin
论文数: 0引用数: 0
h-index: 0
机构:
Univ Waterloo, David R Cheriton Sch Comp Sci, Waterloo, ON N2L 3G1, CanadaUniv Waterloo, David R Cheriton Sch Comp Sci, Waterloo, ON N2L 3G1, Canada