• DocumentCode
    335330
  • Title

    Decentralized supervisory predicate control of discrete event dynamical systems

  • Author

    Haji-Valizadeh, Alireza ; Loparo, Kenneth A.

  • Author_Institution
    Dept. of Syst. Eng., Case Western Reserve Univ., Cleveland, OH, USA
  • Volume
    1
  • fYear
    1994
  • fDate
    29 June-1 July 1994
  • Firstpage
    1099
  • Abstract
    In this paper we study the problem of decentralized supervisory control of discrete event dynamical systems where the control objective is given in terms of predicates defined on the state space. We introduce notions of statically and rationally decentralizable predicates. When a predicate is decentralizable, we construct decentralized supervisors that can realize the predicates that define the control objective.
  • Keywords
    decentralised control; discrete event systems; formal logic; state-space methods; control objective; decentralized supervisors; decentralized supervisory predicate control; discrete event dynamical systems; state space; Control system synthesis; Control systems; Controllability; Formal languages; Mathematical model; Observability; Stability; State-space methods; Supervisory control; Systems engineering and theory;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    American Control Conference, 1994
  • Print_ISBN
    0-7803-1783-1
  • Type

    conf

  • DOI
    10.1109/ACC.1994.751917
  • Filename
    751917