A modified normality condition for decentralized supervisory control of discrete event systems (Q5953553): Difference between revisions
From MaRDI portal
Latest revision as of 22:27, 3 June 2024
scientific article; zbMATH DE number 1695144
Language | Label | Description | Also known as |
---|---|---|---|
English | A modified normality condition for decentralized supervisory control of discrete event systems |
scientific article; zbMATH DE number 1695144 |
Statements
A modified normality condition for decentralized supervisory control of discrete event systems (English)
0 references
13 July 2003
0 references
The authors study nonblocking decentralized supervisory control of discrete event systems. They introduce a modified normality condition which 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 also shown to be more permissive than the one which achieves the supremal \(L_m(G)\)-closed, controllable, and normal sublanguage.
0 references
nonblocking decentralized supervisory control
0 references
discrete event systems
0 references
modified normality condition
0 references
supremal sublanguage
0 references
\(L_m(G)\)-closure
0 references
controllability
0 references