• DocumentCode
    1743840
  • Title

    Deadlock-free piecewise-linear controlled hybrid automata

  • Author

    Lemmon, Michael D.

  • Author_Institution
    Dept. of Electr. Eng., Notre Dame Univ., IN, USA
  • Volume
    1
  • fYear
    2000
  • fDate
    2000
  • Firstpage
    478
  • Abstract
    A controlled hybrid automaton is a hybrid automaton whose continuous-state trajectories satisfy inhomogeneous differential equations. This paper presents sufficient conditions for the existence of periodic global solutions of piecewise-linear controlled hybrid automata
  • Keywords
    automata theory; control system analysis; differential equations; linear programming; matrix algebra; piecewise linear techniques; differential equations; hybrid automata; linear programming; matrix algebra; piecewise-linear control; sufficient condition; Automata; Automatic control; Control system synthesis; Control systems; Differential equations; Piecewise linear techniques; Safety; State-space methods; Sufficient conditions; System recovery;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Decision and Control, 2000. Proceedings of the 39th IEEE Conference on
  • Conference_Location
    Sydney, NSW
  • ISSN
    0191-2216
  • Print_ISBN
    0-7803-6638-7
  • Type

    conf

  • DOI
    10.1109/CDC.2000.912811
  • Filename
    912811