Why Event Observation: Observability Revisited
Discrete Event Dynamic Systems
A Nondeterministic Extension over Finitely Recursive ProcessModel
Discrete Event Dynamic Systems
Bisimulation, the Supervisory Control Problem and StrongModel Matching for Finite State Machines
Discrete Event Dynamic Systems
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Open Systems in Reactive Environments: Control and Synthesis
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Controller Synthesis with Budget Constraints
HSCC '08 Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control
Supervisory control of discrete event systems
Mathematical and Computer Modelling: An International Journal
| Hi-index | 0.01 |
The supervisory control of nondeterministic discrete event dynamical systems (DEDSs) with driven events in the setting of prioritized synchronization and trajectory models introduced by Heymann are studied. Prioritized synchronization captures the notions of controllable, uncontrollable, and driven events in a natural way, and the authors use it for constructing supervisory controllers. The trajectory model is used for characterizing the behavior of nondeterministic DEDSs 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. Results concerning controllability and observability in this general setting are obtained.