Distributed supervisory control is a method to synthesize local controllers in discrete-eventsystems with a systematic observation of the plant. Some works were reported on extending this methodby which local controllers are constructed so that observation properties are preserved from monolithic todistributed supervisory control, in an up-down approach. In this paper, we find circumstances in ...

In supervisor synthesis achieving nonblockingness is a major computational challenge when a target system consists of a large number of local components. To overcome this difficulty we propose a coordinated distributed supervisor synthesis approach, where specifications are enforced by local supervisors. To avoid conflicting among local supervisors, coordinators are created based on automaton a...

Supervisory Distributed Computer Control Systems help the operator to run the process by putting control and monitoring functionality at his or her disposal. These systems support the Human Machine Interface, Message Handling, Archiving, Hardware Diagnostics and they execute control functions automatically. With respect to these requirements, the functionality of supervisory distributed control...

Supervisory Distributed Computer Control Systems help the operator to run the process by putting control and monitoring functionality at his or her disposal. These systems support the Human Machine Interface, Message Handling, Archiving, Hardware Diagnostics and they execute control functions automatically. With respect to these requirements, the functionality of supervisory distributed control...