Abstract
Modular supervisory control of discrete-event systems based on state tree structures (STS) is studied. The plant is modeled as a state tree structure and the specification is given as a predicate. Assuming this specification can be decomposed into the conjunction of subspecifications, we synthesize optimal nonblocking sub-supervisor for each subspecification. The behavior of the plant under the control of these sub-supervisors meets the requirements of the specification and is nonblocking and optimal. We determine conditions under which it is possible to synthesize the optimal control in a modular fashion. When the closed-loop system is blocking, we introduce a coordinator to solve it and give the method of synthesizing the coordinator.
| Original language | English |
|---|---|
| Pages (from-to) | 1018-1026 |
| Number of pages | 9 |
| Journal | Zidonghua Xuebao/Acta Automatica Sinica |
| Volume | 39 |
| Issue number | 7 |
| DOIs | |
| State | Published - Jul 2013 |
Keywords
- Coordinator
- Discrete-event systems
- Modular supervisory control
- Predicate
- State tree structures (STS)
Fingerprint
Dive into the research topics of 'Modular supervisory control of discrete-event systems based on state tree structures'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver