Maximally Permissive Coordination Supervisory Control -- Towards Necessary and Sufficient Conditions
Abstract
In this paper, we further develop the coordination control framework for discrete-event systems with both complete and partial observation. A new weaker sufficient condition for the computation of the supremal conditionally controllable sublanguage is presented. This result is then used for the computation of the supremal conditionally controllable and conditionally normal sublanguage. The paper further generalizes the previous study by considering general, non-prefix-closed languages.
- Publication:
-
arXiv e-prints
- Pub Date:
- March 2014
- DOI:
- 10.48550/arXiv.1403.4762
- arXiv:
- arXiv:1403.4762
- Bibcode:
- 2014arXiv1403.4762K
- Keywords:
-
- Mathematics - Optimization and Control;
- Computer Science - Formal Languages and Automata Theory;
- Computer Science - Systems and Control