A normality theorem for decentralized control of discrete-event systems
F. Lin, H. Mortazavian · IEEE Transactions on Automatic Control · 1994
Derives a necessary condition, formulated as a normality theorem, for decentralized control of discrete event systems. The result is of practical interest since it can be tested to determine whether decentralization is possible. This result is applied to the classical coordination problem of the "dining philosophers" for illustrative purposes.>