Pages that link to "Item:Q2292112"

The following pages link to Supervisory control of discrete-event systems under attacks (Q2292112):

Displaying 15 items.

• Synthesis of sensor deception attacks at the supervisory layer of cyber-physical systems (Q2003816) (← links)
• 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)
• Dealing with sensor and actuator deception attacks in supervisory control (Q2103716) (← 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)
• Synthesis of covert actuator attackers for free (Q2220340) (← links)
• Synthesis of covert actuator and sensor attackers (Q2665344) (← links)
• A Framework for the Analysis of Supervised Discrete Event Systems Under Attack (Q5054282) (← links)
• Secret inference and attacktability analysis of discrete event systems (Q6122243) (← links)
• On decidability of existence of nonblocking supervisors resilient to smart sensor attacks (Q6175603) (← links)
• Design and implementation of robust corrective control systems with permanent sensor faults (Q6195190) (← links)
• Sensor deception attacks against security in supervisory control systems (Q6537285) (← links)
• Diagnosability and attack detection for discrete event systems under sensor attacks (Q6645152) (← links)
• Tamper-tolerant diagnosability analysis and tampering detectability in discrete event systems under cost constraints (Q6659262) (← links)