A modified normality condition for decentralized supervisory control of discrete event systems |
| |
Authors: | Shigemasa Takai Toshimitsu Ushio |
| |
Affiliation: | a Department of Opto-Mechatronics, Wakayama University, Wakayama 640-8510, Japan b Department of Systems and Human Science, Osaka University, Toyonaka, Osaka 560-8531, Japan |
| |
Abstract: | 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 Lm(G)-closure, controllability, and modified normality. Such a decentralized supervisor is more permissive than the one which achieves the supremal Lm(G)-closed, controllable, and normal sublanguage. |
| |
Keywords: | Discrete event system Decentralized supervisory control Nonblocking supervisor Normality Controllability |
本文献已被 ScienceDirect 等数据库收录! |
|