Samenvatting
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 abstraction.
Originele taal-2 | Engels |
---|---|
Plaats van productie | Eindhoven |
Uitgeverij | Technische Universiteit Eindhoven |
Aantal pagina's | 22 |
Status | Gepubliceerd - 2009 |
Publicatie series
Naam | SE report |
---|---|
Volume | 2009-02 |
ISSN van geprinte versie | 1872-1567 |