Decentralized control and coordination of discrete-event systems

Decentralized supervision and coordination are studied for partially observed discrete-event systems. This study extends the authors' previous results on decentralized supervision and supervision under partial observations by incorporating both these features in the control structure. In addition, a concept of coordination is introduced, and conditions for the existence of a coordinating supervisor are established. The ideas are illustrated by application to a simple model of a manufacturing system.<>