Informace o publikaci
Supervisory Control Synthesis of Discrete-Event Systems using a Coordination Scheme
| Autoři | |
|---|---|
| Rok publikování | 2012 |
| Druh | Článek v odborném periodiku |
| Časopis / Zdroj | Automatica |
| Fakulta / Pracoviště MU | |
| Citace | |
| www | http://dx.doi.org/10.1016/j.automatica.2011.07.008 |
| Doi | http://dx.doi.org/10.1016/j.automatica.2011.07.008 |
| Obor | Informatika |
| Klíčová slova | Discrete-event systems; Supervisory control; Distributed control; Closed-loop systems; Controllability. |
| Popis | Supervisory control of distributed DES with a global specification and local supervisors is a difficult problem. For global specifications the equivalent conditions for local control synthesis to equal global control synthesis 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 the least restrictive solution within our coordination control architecture is provided and conditions under which the result coincides with the supremal controllable sublanguage are stated. |