Supervisory control of nondeterministic discrete event dynamical systems
- 30 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 1188-1193 vol.2
- https://doi.org/10.1109/cdc.1993.325370
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
This publication has 14 references indexed in Scilit:
- Concurrency and automata on infinite sequencesPublished by Springer Nature ,2005
- Linear and branching structures in the semantics and logics of reactive systemsPublished by Springer Nature ,2005
- On controllability and normality of discrete event dynamical systemsSystems & Control Letters, 1991
- Concurrency and discrete event controlIEEE Control Systems Magazine, 1990
- Algebras of discrete event modelsProceedings of the IEEE, 1989
- On observability of discrete-event systemsInformation Sciences, 1988
- Supervisory control of discrete-event processes with partial observationsIEEE Transactions on Automatic Control, 1988
- Control of discrete event processes with forced eventsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1987
- Supervisory Control of a Class of Discrete Event ProcessesSIAM Journal on Control and Optimization, 1987
- Refusal testingTheoretical Computer Science, 1987