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.
Download (202kB) | Preview
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.
|Item type:||Conference or Workshop Item (Paper)|
|Keywords:||hybrid automata, quantifier elimination, time optimal control, Mechanical engineering and machinery|
|Subjects:||Technology > Mechanical engineering and machinery|
|Department:||Faculty of Engineering > Mechanical and Aerospace Engineering
Faculty of Engineering > Electronic and Electrical Engineering
|Depositing user:||Strathprints Administrator|
|Date Deposited:||05 Jun 2008|
|Last modified:||27 Aug 2016 12:51|