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

Yan Pang, Michael P. Spathopoulos

Research output: Contribution to conferencePaper

28 Downloads (Pure)

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 areapplied to an air traffic management example.
Original languageEnglish
Number of pages6
Publication statusPublished - Sep 2004
EventProceedings of the 7th IFAC International Workshop on Discrete Event Systems - Reims, France
Duration: 22 Sep 200424 Sep 2004

Conference

ConferenceProceedings of the 7th IFAC International Workshop on Discrete Event Systems
CityReims, France
Period22/09/0424/09/04

Keywords

  • hybrid automata
  • quantifier elimination
  • time optimal control

Fingerprint Dive into the research topics of 'On weighted time optimal control for linear hybrid automata using quantifier elimination'. Together they form a unique fingerprint.

  • Cite this

    Pang, Y., & Spathopoulos, M. P. (2004). On weighted time optimal control for linear hybrid automata using quantifier elimination. Paper presented at Proceedings of the 7th IFAC International Workshop on Discrete Event Systems, Reims, France, .