DocumentCode
3229824
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
Volume
4
fYear
1996
fDate
11-13 Dec 1996
Firstpage
4445
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Decision and Control, 1996., Proceedings of the 35th IEEE Conference on
Conference_Location
Kobe
ISSN
0191-2216
Print_ISBN
0-7803-3590-2
Type
conf
DOI
10.1109/CDC.1996.577492
Filename
577492
Link To Document