• DocumentCode
    1812261
  • Title

    On the existence of executions of hybrid automata

  • Author

    Lygeros, John ; Johansson, Karl Henrik ; Sastry, Shankar ; Egerstedt, Magnus

  • Author_Institution
    Dept. of Electr. Eng. & Comput. Sci., California Univ., Berkeley, CA, USA
  • Volume
    3
  • fYear
    1999
  • fDate
    1999
  • Firstpage
    2249
  • Abstract
    Necessary and sufficient conditions for hybrid automata to be non-blocking and deterministic (local existence and uniqueness of executions, respectively) are, developed. The problem of global existence of executions is discussed in the context of Zeno hybrid automata, that is, hybrid automata that exhibit infinitely many discrete transitions in finite time
  • Keywords
    continuous time systems; deterministic automata; discrete systems; reachability analysis; set theory; hybrid automata; infinitely many discrete transitions; local existence; necessary and sufficient conditions; nonblocking automata; uniqueness of executions; Analytical models; Automata; Automatic control; Control system analysis; Control system synthesis; Cost accounting; Extraterrestrial phenomena; Optimal control; Sufficient conditions; Topology;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Decision and Control, 1999. Proceedings of the 38th IEEE Conference on
  • Conference_Location
    Phoenix, AZ
  • ISSN
    0191-2216
  • Print_ISBN
    0-7803-5250-5
  • Type

    conf

  • DOI
    10.1109/CDC.1999.831255
  • Filename
    831255
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1812261