- Previous Article
- Next Article
- Table of Contents
Automatica, Vol.38, No.1, 185-189, 2002
A modified normality condition for decentralized supervisory control of discrete event systems
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.
Keywords:discrete event system;decentralized supervisory control;nonblocking supervisor;normality;controllability