Strict concurrency and nondeterministic control of discrete-event systems
1989
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:
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
13
References
16
Citations
NaN
KQI