Coordinated distributed supervisory control
Rong Su, van Jan Schuppen, J.E. Rooda · TU/e Research Portal · 2009
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 spec-ifications are enforced by local supervisors. To avoid conflicting among local supervisors, coordinators are created based on automaton abstraction. 1