Title :
Discrete event control of nondeterministic systems
Author :
Heymann, Michael ; Lin, Feng
Author_Institution :
Dept. of Comput. Sci., Technion-Israel Inst. of Technol., Haifa, Israel
Abstract :
Nondeterminism in discrete-event systems may occur as a result of partial modeling. For the adequate description of nondeterministic systems and nondeterministic phenomena, Heyman´s trajectory-model formalism (1990, 1991) is employed. In the present paper we develop a theory of supervisory control for nondeterministic discrete-event systems subject to trajectory-model specifications. We show how well known algorithms for supervisory control (of deterministic systems) under partial observation can be adapted for synthesis of supervisors for nondeterministic systems
Keywords :
control system synthesis; discrete event systems; discrete event control; nondeterministic systems; supervisor synthesis; supervisory control; trajectory-model specifications; Automata; Automatic control; Computer science; Control system synthesis; Control systems; Discrete event systems; Law; Legal factors; Sufficient conditions; Supervisory control;
Conference_Titel :
Decision and Control, 1996., Proceedings of the 35th IEEE Conference on
Conference_Location :
Kobe
Print_ISBN :
0-7803-3590-2
DOI :
10.1109/CDC.1996.577492
