The following pages link to TCT (Q25554):
Displaying 12 items.
- Supervisor localization. A top-down approach to distributed control of discrete-event systems (Q893297) (← links)
- Observation-assisted heuristic synthesis of covert attackers against unknown supervisors (Q2081087) (← links)
- Networked supervisor synthesis against lossy channels with bounded network delays as non-networked synthesis (Q2151821) (← links)
- Information control in networked discrete event systems and its application to battery management systems (Q2197580) (← links)
- Natural projection as partial model checking (Q2208303) (← links)
- Supervisory control of discrete-event systems under attacks (Q2292112) (← links)
- From natural projection to partial model checking and back (Q2324221) (← links)
- New results on supervisor localization, with case studies (Q2348367) (← links)
- Tyrolean Complexity Tool: Features and Usage. (Q2958375) (← links)
- Supervisor localisation for large-scale discrete-event systems under partial observation (Q4960167) (← links)
- Exploiting symmetry of state tree structures for discrete-event systems with parallel components (Q5348355) (← links)
- Decentralized DES Supervisory Control for Coordination of ULTC and SVC (Q5417001) (← links)
