Supervisory Control Synthesis of Discrete-Event Systems using Coordination Scheme
Abstract
Supervisory control of discrete-event systems with a global safety specification and with only 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 is also provided in this paper and conditions are stated under which the result of our procedure coincides with the supremal controllable sublanguage.
- Publication:
-
arXiv e-prints
- Pub Date:
- July 2010
- DOI:
- 10.48550/arXiv.1007.2707
- arXiv:
- arXiv:1007.2707
- Bibcode:
- 2010arXiv1007.2707K
- Keywords:
-
- Mathematics - Optimization and Control;
- Computer Science - Formal Languages and Automata Theory
- E-Print:
- 29 pages, 11 figures