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