z-logo
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.

This content is not available in your region!

Continue researching here.

Having issues? You can contact us here
Accelerating Research

Address

John Eccles House
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom