![Důležité termíny](https://cdn.muni.cz/media/3633704/image_2.jpg?mode=crop¢er=0.5,0.5&rnd=133572412150000000&heightratio=0.5&width=278)
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. |