Supervisory control of a class of discrete event processes
SIAM Journal on Control and Optimization
Decentralized supervisory control of discrete-event systems
Information Sciences: an International Journal - Robotics and Automation/Control Series
The infimal prefix-closed and observable superlanguage of given language
Systems & Control Letters
Maximal Solutions in Decentralized Supervisory Control
SIAM Journal on Control and Optimization
Hi-index | 22.14 |
In this paper, we study nonblocking decentralized supervisory control of discrete event systems. We introduce a modified normality condition defined in terms of a modified natural projection map. The modified normality condition is weaker than the original one and stronger than the co-observability condition. Moreover, it is preserved under union. Given a marked language specification, there exists a nonblocking decentralized supervisor for the supremal sublanguage which satisfies L"m(G)-closure, controllability, and modified normality. Such a decentralized supervisor is more permissive than the one which achieves the supremal L"m(G)-closed, controllable, and normal sublanguage.