Pages that link to "Item:Q1716512"

The following pages link to Detection and mitigation of classes of attacks in supervisory control systems (Q1716512):

Displaying 22 items.

• Robust corrective control against a class of actuator attacks in input/state asynchronous sequential machines (Q1996586) (← links)
• Synthesis of sensor deception attacks at the supervisory layer of cyber-physical systems (Q2003816) (← links)
• Performance safety enforcement in strongly connected timed event graphs (Q2021327) (← links)
• Three kinds of coprognosability for partially-observed discrete event systems via a matrix approach (Q2060855) (← links)
• Analysis of strong and strong periodic detectability of bounded labeled Petri nets (Q2060875) (← links)
• Usability aware secret protection with minimum cost (Q2074757) (← 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)
• Robust decentralized diagnosability of networked discrete event systems against DoS and deception attacks (Q2123407) (← links)
• Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection (Q2128087) (← links)
• Discrete-event systems subject to unknown sensor attacks (Q2128094) (← links)
• Synthesis of covert actuator attackers for free (Q2220340) (← links)
• Performance safety enforcement in stochastic event graphs against boost and slow attacks (Q2665315) (← links)
• Synthesis of covert actuator and sensor attackers (Q2665344) (← links)
• Robust supervisory control of discrete event systems against intermittent loss of observations (Q5018811) (← links)
• A Framework for the Analysis of Supervised Discrete Event Systems Under Attack (Q5054282) (← links)
• Supervisory control of discrete-event systems under external attacks (Q6081283) (← links)
• Robust corrective control against fundamental and non-fundamental mode attacks with application to an asynchronous digital system (Q6126856) (← 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)