Modular Synthesis of Discrete Controllers

This paper presents supervisory control theory in a process-algebraic setting, and proposes a way of synthesising modular supervisors that guarantee nonblocking. The framework used includes the possibility of hiding actions which results in nondeterminism. As modularity crucially depends on the proc...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Malik, P., Malik, R., Streader, D., Reeves, S.
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Algebra Application software Computer science Control system synthesis Humans Manufacturing systems Medical control systems Software maintenance Software tools Supervisory control
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!