Publication details
Synthesis of Safe Sublanguages satisfying Global Specification using Coordination Scheme for Discrete-Event Systems
| Authors | |
|---|---|
| Year of publication | 2010 |
| Type | Article in Proceedings |
| Conference | 10th International Workshop on Discrete Event Systems (WODES 2010) |
| MU Faculty or unit | |
| Citation | |
| Web | http://www.ifac-papersonline.net/ |
| Field | Management theory and systems |
| Keywords | Discrete-event system; coordination control; coordinator; supervisory control; decentralized control; conditional controllability. |
| Description | Modular control of discrete-event systems with a global specification and with only local supervisors is a difficult problem. For global specifications, however, the equivalent conditions may not be met. This paper formulates and solves a control synthesis problem for a generator with a global specification and with a combination of a coordinator and local controllers. Conditional controllability is proven to be an equivalent condition for the existence of such a coordinated controller. A procedure to compute a coordinated controller is provided. |