Pages that link to "Item:Q1797083"

The following pages link to Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations (Q1797083):

Displaying 23 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)
• Adaptive control of cyber-physical systems under deception and injection attacks (Q2047055) (← links)
• Observation-assisted heuristic synthesis of covert attackers against unknown supervisors (Q2081087) (← 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)
• Deterministic supervisory control with flexible upper-bounds on observation delay and control delay (Q2165979) (← links)
• Synthesis of covert actuator attackers for free (Q2220340) (← links)
• Leaderless consensus control of uncertain multi-agents systems with sensor and actuator attacks (Q2656744) (← links)
• Performance safety enforcement in stochastic event graphs against boost and slow attacks (Q2665315) (← links)
• Synthesis of covert actuator and sensor attackers (Q2665344) (← links)
• A Framework for the Analysis of Supervised Discrete Event Systems Under Attack (Q5054282) (← links)
• An efficient simulation procedure for the expected opportunity cost using metamodels (Q6049054) (← links)
• Hybrid-triggered interval type-2 fuzzy control for networked systems under attacks (Q6081305) (← links)
• Secret inference and attacktability analysis of discrete event systems (Q6122243) (← 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)
• Design and implementation of robust corrective control systems with permanent sensor faults (Q6195190) (← links)