TCT
From MaRDI portal
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
- Supremica
- MuDiv
- PESTS
- 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
- Tyrolean Complexity Tool: Features and Usage.
- Observation-assisted heuristic synthesis of covert attackers against unknown supervisors
- Networked supervisor synthesis against lossy channels with bounded network delays as non-networked synthesis
- Decentralized DES Supervisory Control for Coordination of ULTC and SVC
- Information control in networked discrete event systems and its application to battery management systems
This page was built for software: TCT
