Pages that link to "Item:Q2220340"
From MaRDI portal
The following pages link to Synthesis of covert actuator attackers for free (Q2220340):
Displaying 9 items.
- Observation-assisted heuristic synthesis of covert attackers against unknown supervisors (Q2081087) (← links)
- Robust input/output model matching of asynchronous sequential machines under intermittent actuator faults (Q2094977) (← links)
- Synthesis of winning attacks on communication protocols using supervisory control theory: two case studies (Q2106413) (← links)
- Discrete-event systems subject to unknown sensor attacks (Q2128094) (← links)
- Networked supervisor synthesis against lossy channels with bounded network delays as non-networked synthesis (Q2151821) (← links)
- Synthesis of covert actuator and sensor attackers (Q2665344) (← links)
- Robust corrective control against fundamental and non-fundamental mode attacks with application to an asynchronous digital system (Q6126856) (← links)
- Synthesis of optimal covert sensor-actuator attackers for discrete-event systems (Q6164022) (← links)
- On decidability of existence of nonblocking supervisors resilient to smart sensor attacks (Q6175603) (← links)
