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
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;
Conference_Titel :
Decision and Control, 1989., Proceedings of the 28th IEEE Conference on
Conference_Location :
Tampa, FL
DOI :
10.1109/CDC.1989.70675
