Supervisory control of nondeterministic discrete event dynamical systems

Author

Shayman, Mark A. ; Kumar, Ratnesh

Author_Institution

Dept. of Electr. Eng., Maryland Univ., College Park, MD, USA

fYear

1993

fDate

15-17 Dec 1993

Firstpage

1188

Abstract

We study the supervisory control of nondeterministic discrete event dynamical systems (DEDS´s) with driven events in the setting of prioritized synchronization and trajectory models introduced by Heymann (1990, 1991). Prioritized synchronization captures the notions of controllable, uncontrollable, and driven events in a natural way, and we use it for constructing supervisory controllers. The trajectory model is used for characterizing the behavior of nondeterministic DEDS´s since it is a sufficiently detailed model (in contrast to the less detailed language or failures models), and serves as a language congruence with respect to the operation of prioritized synchronization. We obtain results concerning controllability and observability in this general setting

Keywords

control system synthesis; controllability; discrete time systems; observability; controllable events; driven events; language congruence; nondeterministic discrete event dynamical systems; observability; prioritized synchronization; supervisory controller construction; trajectory models; uncontrollable events; Control design; Controllability; Educational institutions; Electric breakdown; Manufacturing; Observability; Production facilities; Robots; Supervisory control; Synchronous generators;

fLanguage

English

Publisher

ieee

Conference_Titel

Decision and Control, 1993., Proceedings of the 32nd IEEE Conference on

Conference_Location

San Antonio, TX

Print_ISBN

0-7803-1298-8

Type

conf

DOI

10.1109/CDC.1993.325370

Filename

325370