Weighted time-optimal control for air traffic management applications

Y. Pang, H. Xia

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

Abstract

Air traffic management system is responsible for a safe and orderly flow of air traffic, thus preventing collisions between aircraft both in the air and on the ground. This paper shows that an air traffic management problem can be transferred into a weighted time-optimal problem for hybrid system. In particular, it is shown that the problem can be transformed into a constrained optimization problem whose constraints are a set of inequalities with quantifiers. Quantifier Elimination (QE) techniques are employed in order to derive quantifier free inequalities. The optimal cost is obtained using linear programming
LanguageEnglish
Title of host publication2005 IEEE International conference on control applications (CCA), Volumes 1& 2
Place of PublicationNew York
PublisherIEEE
Pages171-176
Number of pages6
ISBN (Print)0780393538
DOIs
Publication statusPublished - 2005
Event IEEE International Conference on Control Applications - Toronto, Canada
Duration: 28 Aug 200531 Aug 2005

Publication series

NameIEEE International Conference on Control Applications
PublisherIEEE
ISSN (Print)1085-1992

Conference

Conference IEEE International Conference on Control Applications
CountryCanada
CityToronto
Period28/08/0531/08/05

Fingerprint

Air
Constrained optimization
Hybrid systems
Linear programming
Aircraft
Costs

Keywords

  • automation & control systems
  • robotics
  • computer science
  • weighted
  • time-optimal control
  • air traffic
  • management applications

Cite this

Pang, Y., & Xia, H. (2005). Weighted time-optimal control for air traffic management applications. In 2005 IEEE International conference on control applications (CCA), Volumes 1& 2 (pp. 171-176). (IEEE International Conference on Control Applications ). New York: IEEE. https://doi.org/10.1109/CCA.2005.1507120
Pang, Y. ; Xia, H. / Weighted time-optimal control for air traffic management applications. 2005 IEEE International conference on control applications (CCA), Volumes 1& 2. New York : IEEE, 2005. pp. 171-176 (IEEE International Conference on Control Applications ).
@inproceedings{de8c2c8cb1dd47b9ad61945a94deefd3,
title = "Weighted time-optimal control for air traffic management applications",
abstract = "Air traffic management system is responsible for a safe and orderly flow of air traffic, thus preventing collisions between aircraft both in the air and on the ground. This paper shows that an air traffic management problem can be transferred into a weighted time-optimal problem for hybrid system. In particular, it is shown that the problem can be transformed into a constrained optimization problem whose constraints are a set of inequalities with quantifiers. Quantifier Elimination (QE) techniques are employed in order to derive quantifier free inequalities. The optimal cost is obtained using linear programming",
keywords = "automation & control systems, robotics , computer science, weighted, time-optimal control, air traffic, management applications",
author = "Y. Pang and H. Xia",
year = "2005",
doi = "10.1109/CCA.2005.1507120",
language = "English",
isbn = "0780393538",
series = "IEEE International Conference on Control Applications",
publisher = "IEEE",
pages = "171--176",
booktitle = "2005 IEEE International conference on control applications (CCA), Volumes 1& 2",

}

Pang, Y & Xia, H 2005, Weighted time-optimal control for air traffic management applications. in 2005 IEEE International conference on control applications (CCA), Volumes 1& 2. IEEE International Conference on Control Applications , IEEE, New York, pp. 171-176, IEEE International Conference on Control Applications , Toronto, Canada, 28/08/05. https://doi.org/10.1109/CCA.2005.1507120

Weighted time-optimal control for air traffic management applications. / Pang, Y.; Xia, H.

2005 IEEE International conference on control applications (CCA), Volumes 1& 2. New York : IEEE, 2005. p. 171-176 (IEEE International Conference on Control Applications ).

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

TY - GEN

T1 - Weighted time-optimal control for air traffic management applications

AU - Pang, Y.

AU - Xia, H.

PY - 2005

Y1 - 2005

N2 - Air traffic management system is responsible for a safe and orderly flow of air traffic, thus preventing collisions between aircraft both in the air and on the ground. This paper shows that an air traffic management problem can be transferred into a weighted time-optimal problem for hybrid system. In particular, it is shown that the problem can be transformed into a constrained optimization problem whose constraints are a set of inequalities with quantifiers. Quantifier Elimination (QE) techniques are employed in order to derive quantifier free inequalities. The optimal cost is obtained using linear programming

AB - Air traffic management system is responsible for a safe and orderly flow of air traffic, thus preventing collisions between aircraft both in the air and on the ground. This paper shows that an air traffic management problem can be transferred into a weighted time-optimal problem for hybrid system. In particular, it is shown that the problem can be transformed into a constrained optimization problem whose constraints are a set of inequalities with quantifiers. Quantifier Elimination (QE) techniques are employed in order to derive quantifier free inequalities. The optimal cost is obtained using linear programming

KW - automation & control systems

KW - robotics

KW - computer science

KW - weighted

KW - time-optimal control

KW - air traffic

KW - management applications

U2 - 10.1109/CCA.2005.1507120

DO - 10.1109/CCA.2005.1507120

M3 - Conference contribution book

SN - 0780393538

T3 - IEEE International Conference on Control Applications

SP - 171

EP - 176

BT - 2005 IEEE International conference on control applications (CCA), Volumes 1& 2

PB - IEEE

CY - New York

ER -

Pang Y, Xia H. Weighted time-optimal control for air traffic management applications. In 2005 IEEE International conference on control applications (CCA), Volumes 1& 2. New York: IEEE. 2005. p. 171-176. (IEEE International Conference on Control Applications ). https://doi.org/10.1109/CCA.2005.1507120