Task rescheduling using a coordinator in a structural decentralised control of discrete-event systems

A problem of task rescheduling using a coordinator in a structural decentralised control of discrete-event systems is formulated. After the local supervisors have been designed for a given task, a coordinator can be used to solve some rescheduling problems among local plants. The coordination system models the interactions of local plants, and is consisting of only the shared events, so simpler to synthesise. Under the conditions developed in this paper, the combined concurrent actions of the coordinator with the existing local supervisors can achieve the rescheduling requirements. An example is provided for illustration.