• DocumentCode
    2485387
  • Title

    Maximally permissive state feedback logic for controlled time Petri nets

  • Author

    Haoxun, Chen ; Huifeng, Li

  • Author_Institution
    Syst. Eng. Inst., Xi´´an Jiaotung Univ., Xi´´an, China
  • Volume
    4
  • fYear
    1997
  • fDate
    4-6 Jun 1997
  • Firstpage
    2359
  • Abstract
    The synthesis of state feedback logic for the control problem of maintaining a predicate on the state set of a timed discrete event system is considered in the setting of controlled time Petri nets. We introduce a kind of invariance for predicates and propose a fixpoint algorithm for computing the extremal invariant predicate. On the basis of this, maximally permissive state feedback logic can be characterized and systematically synthesized
  • Keywords
    Petri nets; control system synthesis; discrete event systems; invariance; state feedback; controlled time Petri nets; extremal invariant predicate; fixpoint algorithm; invariance; maximally permissive state feedback logic; timed discrete event system; Clocks; Erbium; Fires; Hafnium; Joining processes; Logic; Petri nets; State feedback; Time measurement; Tin;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    American Control Conference, 1997. Proceedings of the 1997
  • Conference_Location
    Albuquerque, NM
  • ISSN
    0743-1619
  • Print_ISBN
    0-7803-3832-4
  • Type

    conf

  • DOI
    10.1109/ACC.1997.609097
  • Filename
    609097
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2485387