Title | ||
---|---|---|
Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems |
Abstract | ||
---|---|---|
In supervisor synthesis for discrete-event systems achieving nonblockingness is a major challenge for a large system. To overcome it we present an approach to synthesize a deterministic coordinated distributed supervisor under partial observation, where the plant is modeled by a collection of nondeterministic finite-state automata and the requirement is modeled by a collection of deterministic finite-state automata. Then we provide a sufficient condition to ensure the maximal permissiveness of a coordinated distributed supervisor generated by the proposed synthesis approach. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1016/j.automatica.2012.04.004 | Automatica |
Keywords | DocType | Volume |
Discrete-event systems,Nondeterministic finite-state automata,Automaton abstraction,Coordinated distributed supervisory control,Maximal permissiveness | Journal | 48 |
Issue | ISSN | Citations |
7 | 0005-1098 | 18 |
PageRank | References | Authors |
0.92 | 16 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Rong Su | 1 | 318 | 45.41 |
Jan H. van Schuppen | 2 | 358 | 45.36 |
Jacobus E. Rooda | 3 | 165 | 13.07 |