Picture of person typing on laptop with programming code visible on the laptop screen

World class computing and information science research at Strathclyde...

The Strathprints institutional repository is a digital archive of University of Strathclyde's Open Access research outputs. Strathprints provides access to thousands of Open Access research papers by University of Strathclyde researchers, including by researchers from the Department of Computer & Information Sciences involved in mathematically structured programming, similarity and metric search, computer security, software systems, combinatronics and digital health.

The Department also includes the iSchool Research Group, which performs leading research into socio-technical phenomena and topics such as information retrieval and information seeking behaviour.

Explore

On weighted time optimal control for linear hybrid automata using quantifier elimination

Pang, Y. and Spathopoulos, M.P. (2004) On weighted time optimal control for linear hybrid automata using quantifier elimination. In: Proceedings of the 7th IFAC International Workshop on Discrete Event Systems, 2004-09-22 - 2004-09-24.

[img]
Preview
PDF (strathprints006220.pdf)
strathprints006220.pdf

Download (202kB) | Preview

Abstract

This paper considers the optimal control problem for linear hybrid automata. 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 that are linear. The optimal cost is obtained using linear programming. The optimal switching times and optimal continuous control inputs are computed and used in order to derive the optimal hybrid controller. Our results are applied to an air traffic management example.