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 | http://dx.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. |