Informace o publikaci
Synthesis of Safe Sublanguages satisfying Global Specification using Coordination Scheme for Discrete-Event Systems
| Autoři | |
|---|---|
| Rok publikování | 2010 |
| Druh | Článek ve sborníku |
| Konference | 10th International Workshop on Discrete Event Systems (WODES 2010) |
| Fakulta / Pracoviště MU | |
| Citace | |
| www | http://www.ifac-papersonline.net/ |
| Obor | Teorie a systémy řízení |
| Klíčová slova | Discrete-event system; coordination control; coordinator; supervisory control; decentralized control; conditional controllability. |
| Popis | 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. |