Picture of virus under microscope

Research under the microscope...

The Strathprints institutional repository is a digital archive of University of Strathclyde research outputs.

Strathprints serves world leading Open Access research by the University of Strathclyde, including research by the Strathclyde Institute of Pharmacy and Biomedical Sciences (SIPBS), where research centres such as the Industrial Biotechnology Innovation Centre (IBioIC), the Cancer Research UK Formulation Unit, SeaBioTech and the Centre for Biophotonics are based.

Explore SIPBS research

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