Title :
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
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;
Conference_Titel :
Decision and Control, 1993., Proceedings of the 32nd IEEE Conference on
Conference_Location :
San Antonio, TX
Print_ISBN :
0-7803-1298-8
DOI :
10.1109/CDC.1993.325370
