Publication details
Supervisory Control Synthesis of Discrete-Event Systems using a Coordination Scheme
| Authors | |
|---|---|
| Year of publication | 2012 |
| Type | Article in Periodical |
| Magazine / Source | Automatica |
| MU Faculty or unit | |
| Citation | |
| web | http://dx.doi.org/10.1016/j.automatica.2011.07.008 |
| Doi | https://doi.org/10.1016/j.automatica.2011.07.008 |
| Field | Informatics |
| Keywords | Discrete-event systems; Supervisory control; Distributed control; Closed-loop systems; Controllability. |
| Description | 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. |