Strathprints logo
Strathprints Home | Open Access | Browse | Search | User area | Copyright | Help | Library Home | SUPrimo

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, Reims, France.

[img]
Preview
PDF (strathprints006220.pdf)
Download (197Kb) | 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.

    Item type: Conference or Workshop Item (Paper)
    ID code: 6220
    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
    Related URLs:
      Depositing user: Strathprints Administrator
      Date Deposited: 05 Jun 2008
      Last modified: 20 Jul 2013 21:48
      URI: http://strathprints.strath.ac.uk/id/eprint/6220

      Actions (login required)

      View Item

      Fulltext Downloads: