A normality theorem for decentralized control of discrete-event systems

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.<
>