On the synthesis of communicating controllers with decentralized information structures for discrete-event systems

The decentralized control problem addressed in the paper is that of several communicating supervisory controllers, each with different information, working in concert to exactly achieve a given legal sublanguage of the uncontrolled system's language model. A general model is reviewed for dealing with this class of problems. Existence, non-uniqueness, and some synthesis results to the above-mentioned problem are given.