Supervisory control of a class of discrete event processes
SIAM Journal on Control and Optimization
Formulas for calculating supremal controllable and normal sublanguages
Systems & Control Letters
On controllability and normality of discrete event dynamical systems
Systems & Control Letters
A General Architecture for Decentralized Supervisory Control of Discrete-Event Systems
Discrete Event Dynamic Systems
Introduction to Discrete Event Systems
Introduction to Discrete Event Systems
Brief paper: Supervisory control of modular systems with global specification languages
Automatica (Journal of IFAC)
Computationally efficient supervisor design for discrete-event systems
Computationally efficient supervisor design for discrete-event systems
On the Computation of Natural Observers in Discrete-Event Systems
Discrete Event Dynamic Systems
On a structural property in the state complexity of projected regular languages
Theoretical Computer Science
On the state and computational complexity of the reverse of acyclic minimal DFAs
CIAA'12 Proceedings of the 17th international conference on Implementation and Application of Automata
On properties and state complexity of deterministic state-partition automata
TCS'12 Proceedings of the 7th IFIP TC 1/WG 202 international conference on Theoretical Computer Science
| Hi-index | 22.14 |
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.