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

Pang, Yan and Spathopoulos, Michael 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.

Preview

Text. Filename: strathprints006220.pdf Accepted Author Manuscript Download (138kB)| 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 areapplied to an air traffic management example.

• Share and Export
  

  ReferAtomJSONOpenURL ContextObject in SpanMPEG-21 DIDLRDF+XMLRDF+N-TriplesRefWorksHTML CitationEndNoteMultiline CSVRIS (EndNote Online, Zotero, Ref manager, etc)Data Cite XMLDublin CoreEP3 XMLASCII CitationRDF+N3METSSimple MetadataRIOXX2 XMLBibTeXOpenURL ContextObjectMODS
• Item metadata

  Item type:	Conference or Workshop Item(Paper)
  ID code:	6220
  Dates:	Date Event September 2004 Published
  Subjects:	Technology > Mechanical engineering and machinery
  Department:	Faculty of Engineering > Electronic and Electrical Engineering Faculty of Engineering > Mechanical and Aerospace Engineering
  Depositing user:	Strathprints Administrator
  Date deposited:	05 Jun 2008
  Last modified:	11 Nov 2024 16:14
  URI:	https://strathprints.strath.ac.uk/id/eprint/6220