DocumentCode
2137634
Title
Strict concurrency and nondeterministic control of discrete-event systems
Author
Li, Y. ; Wonham, W.M.
Author_Institution
Dept. of Electr. Eng., Toronto Univ., Ont., Canada
fYear
1989
fDate
13-15 Dec 1989
Firstpage
2731
Abstract
By strict concurrency is meant possible simultaneity of events in discrete-event systems (DESs). A study is made of the control of DESs with strict concurrency by nondeterministic controllers. It is shown that nondeterministic controllers are more powerful than deterministic controllers in dealing with strict concurrency. A discussion is presented of how to synthesize nondeterministic controllers which allow the controlled process to operate with maximal strict concurrency according to a specified criterion
Keywords
control system synthesis; discrete time systems; control system synthesis; discrete-event systems; nondeterministic control; strict concurrency; Computer aided manufacturing; Concurrent computing; Control system synthesis; Control systems; Control theory; Discrete event systems; Flexible manufacturing systems; Force control; Process control; State-space methods;
fLanguage
English
Publisher
ieee
Conference_Titel
Decision and Control, 1989., Proceedings of the 28th IEEE Conference on
Conference_Location
Tampa, FL
Type
conf
DOI
10.1109/CDC.1989.70675
Filename
70675
Link To Document