Picture of a sphere with binary code

Making Strathclyde research discoverable to the world...

The Strathprints institutional repository is a digital archive of University of Strathclyde research outputs. It exposes Strathclyde's world leading Open Access research to many of the world's leading resource discovery tools, and from there onto the screens of researchers around the world.

Explore Strathclyde Open Access research content

Weighted time-optimal control for air traffic management applications

Pang, Y. and 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. ISBN 0780393538

Full text not available in this repository. (Request a copy from the Strathclyde author)

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