Title :
Concurrent vector discrete-event systems
Author :
Li, Yong ; Wonham, W.M.
Author_Institution :
Bell-Northern Res., Ottawa, Ont., Canada
fDate :
4/1/1995 12:00:00 AM
Abstract :
The vector discrete-event system (VDES) is a compact serial discrete-event system model, in which the system state is represented by a vector with integer components and the transitions by integer vector addition. Continuing the study of VDES, we introduce in this paper concurrent VDES, extending the base VDES model to capture strict concurrency, or possible simultaneity of events. We characterize the effect of strict concurrency on control, and show how to synthesize nondeterministic controllers allowing maximal concurrency of a controlled VDES plant
Keywords :
closed loop systems; concurrency control; control system synthesis; control systems; discrete event systems; state feedback; state-space methods; vectors; concurrency; concurrent vector DES; discrete-event system model; nondeterministic controllers; state feedback; system state; vector discrete-event system; Communication system control; Computer network management; Computer networks; Concurrent computing; Control system synthesis; Discrete event systems; Distributed computing; Network synthesis; Operating systems; State-space methods;
Journal_Title :
Automatic Control, IEEE Transactions on
