Name
Abstract | ||
|---|---|---|
This paper describes a framework for compositional supervisor synthesis, which is applicable to all discrete event systems modeled as a set of deterministic automata. Compositional synthesis exploits the modular structure of the input model, and therefore works best for models consisting of a large number of small automata. The state-space explosion is mitigated by the use of abstraction to simplify individual components, and the property of synthesis equivalence guarantees that the final synthesis result is the same as it would have been for the non-abstracted model. The paper describes synthesis equivalent abstractions and shows their use in an algorithm to efficiently compute supervisors. The algorithm has been implemented in the DES software tool Supremica and successfully computes nonblocking modular supervisors, even for systems with more than 10 14 reachable states, in less than 30 seconds. |
Year | DOI | Venue |
|---|---|---|
2014 | 10.1109/TAC.2013.2283109 | Automatic Control, IEEE Transactions |
Keywords | Field | DocType |
control system synthesis,discrete event systems,finite state machines,state-space methods,DES software tool Supremica,compositional supervisor synthesis,deterministic automata,discrete event systems,finite state automata,modular nonblocking supervisors,modular structure,nonabstracted model,state-space explosion,synthesis equivalent abstractions,Abstraction,finite-state automata,supervisory control theory,synthesis | Supervisor,Quantum finite automata,Mathematical optimization,Abstraction,Computer science,Automaton,Supervisory control theory,Control engineering,Theoretical computer science,Finite-state machine,Equivalence (measure theory),Modular design | Journal |
Volume | Issue | ISSN |
59 | 1 | 0018-9286 |
Citations | PageRank | References |
12 | 0.68 | 14 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Sahar Mohajerani | 1 | 37 | 5.18 |
| Robi Malik | 2 | 253 | 26.13 |
| Martin Fabian | 3 | 204 | 27.91 |