Concurrent vector discrete-event systems

Author

Li, Yong ; Wonham, W.M.

Author_Institution

Bell-Northern Res., Ottawa, Ont., Canada

Volume

40

Issue

4

fYear

1995

fDate

4/1/1995 12:00:00 AM

Firstpage

628

Lastpage

638

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;

fLanguage

English

Journal_Title

Automatic Control, IEEE Transactions on

Publisher

ieee

ISSN

0018-9286

Type

jour

DOI

10.1109/9.376113

Filename

376113