TCT
From MaRDI portal
Software:25554
swMATH13640MaRDI QIDQ25554FDOQ25554
Author name not available (Why is that?)
Cited In (12)
- 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
- 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
- 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
