A modified method for supervisor specification and synthesis of a class of discrete event systems

A model-refining method is proposed to alleviate the complexity regarding specification interpretation of DES control problems. The legal constraint language is defined in terms of illegal states and events in contrast with constructing the automaton of the specification language. This method could...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Yeong-Chang Ou, Jwusheng Hu
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Automata Automatic control Automatic generation control Control engineering Control system synthesis Discrete event systems Formal languages Law Legal factors Specification languages
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!