Picture of a black hole

Strathclyde Open Access research that creates ripples...

The Strathprints institutional repository is a digital archive of University of Strathclyde's Open Access research outputs. Strathprints provides access to thousands of research papers by University of Strathclyde researchers, including by Strathclyde physicists involved in observing gravitational waves and black hole mergers as part of the Laser Interferometer Gravitational-Wave Observatory (LIGO) - but also other internationally significant research from the Department of Physics. Discover why Strathclyde's physics research is making ripples...

Strathprints also exposes world leading research from the Faculties of Science, Engineering, Humanities & Social Sciences, and from the Strathclyde Business School.

Discover more...

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