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