• DocumentCode
    393544
  • Title

    The supremal control-invariant subpredicate in state feedback control of hybrid automata

  • Author

    Takai, Shigemasa ; Ushio, Toshimitsu

  • Author_Institution
    Wakayama Univ., Japan
  • Volume
    2
  • fYear
    2002
  • fDate
    5-7 Aug. 2002
  • Firstpage
    1145
  • Abstract
    We study state feedback control of hybrid automata with forcible events. A predicate is said to be control-invariant if there exists a state feedback controller such that the predicate remains true in the controlled system invariantly. We prove that there always exists the supremal control-invariant subpredicate of a predicate given as a specification.
  • Keywords
    automata theory; discrete event systems; invariance; iterative methods; state feedback; control-invariance; discrete event system; hybrid automaton; hybrid system; iterative method; state feedback control; supremal control invariant subpredicate; Automata; Automatic control; Control systems; Discrete event systems; Force control; State feedback; Sufficient conditions;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    SICE 2002. Proceedings of the 41st SICE Annual Conference
  • Print_ISBN
    0-7803-7631-5
  • Type

    conf

  • DOI
    10.1109/SICE.2002.1195343
  • Filename
    1195343
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=393544