swMATH13640MaRDI QIDQ25554FDOQ25554
Author name not available (Why is that?)
Official website: http://www.control.toronto.edu/~wonham/Research.html
Cited In (22)
- Natural projection as partial model checking
- From natural projection to partial model checking and back
- Supervisor localisation for large-scale discrete-event systems under partial observation
- Supervisory control of discrete-event systems under attacks
- New results on supervisor localization, with case studies
- STCT
- DESUMA
- GIDDES
- UMDES
- CMC
- XPTCT
- libFAUDES
- Supervisor localization. A top-down approach to distributed control of discrete-event systems
- Exploiting symmetry of state tree structures for discrete-event systems with parallel components
- Supremica
- MuDiv
- PESTS
- Tyrolean Complexity Tool: Features and Usage.
- Observation-assisted heuristic synthesis of covert attackers against unknown supervisors
- Decentralized DES Supervisory Control for Coordination of ULTC and SVC
- Networked supervisor synthesis against lossy channels with bounded network delays as non-networked synthesis
- Information control in networked discrete event systems and its application to battery management systems
This page was built for software: TCT
