Publication details
On Algorithms and Extensions of Coordination Control of Discrete-Event Systems
| Authors | |
|---|---|
| Year of publication | 2012 |
| Type | Article in Proceedings |
| Conference | International Workshop on Discrete Event Systems (WODES 2012) |
| Citation | |
| Keywords | Discrete-event system, supervisory control, coordination control, nonblockingness. |
| Description | In this paper, we further develop the coordination control scheme for discrete-event systems based on the Ramadge-Wonham framework. The notions of conditional decomposability, conditional controllability, and conditional closedness are revised and simplified, supremal conditionally controllable sublanguages of general non-prefix-closed languages are discussed, and a procedure for the computation of a coordinator for nonblockingness is presented. |