Maximally permissive distributed supervisory control of nondeterministic discrete-event systems

In supervisor synthesis achieving nonblockingness is a major computational challenge for a large system. In the literature several automaton-based distributed synthesis approaches have been proposed, in which the plant is modeled by a collection of nondeterministic finite-state automata and the requ...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Rong Su, van Schuppen, J. H., Rooda, J. E.
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Automata automaton abstraction Complexity theory Computational modeling discrete-event systems distributed supervisor synthesis maximal permissiveness nondeterministic finite-state automata Observers Silicon
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!