Premium
Reliable Decentralized Supervisors for Discrete‐Event Systems Under Communication Delays: Existence and Verification
Author(s) -
Liu Fuchun,
Lin Hai
Publication year - 2013
Publication title -
asian journal of control
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.769
H-Index - 53
eISSN - 1934-6093
pISSN - 1561-8625
DOI - 10.1002/asjc.674
Subject(s) - supervisor , constructive , focus (optics) , event (particle physics) , distributed computing , decentralised system , controller (irrigation) , computer science , state space , supervisory control , control theory (sociology) , control (management) , state (computer science) , polynomial , control engineering , mathematics , engineering , algorithm , process (computing) , mathematical analysis , agronomy , statistics , physics , optics , quantum mechanics , artificial intelligence , political science , law , biology , operating system
A reliable decentralized supervisory control framework for discrete‐event systems is proposed to deal with possible actuation failures and communication delays. We mainly focus on the existence of such a controller that the control performance can be guaranteed even in face of local supervisor failures and communication delays. Especially, the existence of k ‐reliable decentralized supervisors under communication delays is characterized by the notion of k ‐reliable delay- Σ ˜ c-co-observability together with k - Σ ˜ u c-controllability . In addition, the verification for k ‐reliable decentralized supervisors is investigated by developing a constructive methodology to test the k ‐reliable delay- Σ ˜ c-co-observability . It is shown that for a given number of distributed components, the existence of such k ‐reliable decentralized supervisors can be checked with a polynomial complexity in the size of the state space.