Robust corrective control against a class of actuator attacks in input/state asynchronous sequential machines
From MaRDI portal
(Redirected from Publication:1996586)
Recommendations
- Robust corrective control of asynchronous sequential machines with control input and feedback faults
- Robust input/output model matching of asynchronous sequential machines under intermittent actuator faults
- State feedback corrective control with a self-repair scheme against transient faults
- A simple fault tolerant control for input/output asynchronous sequential machines
- Fault tolerant control for a class of interconnected asynchronous sequential machines
Cites work
- A Notion of Robustness for Cyber-Physical Systems
- A matrix-based approach to verifying stability and synthesizing optimal stabilizing controllers for finite-state automata
- Asynchronous sequential machines with adversarial intervention: the use of bursts
- Automatic defensive control of asynchronous sequential machines
- Corrective control of parallel interconnected asynchronous sequential machines with output feedback
- Delay-Robust Supervisory Control of Discrete-Event Systems With Bounded Communication Delays
- Detection and mitigation of classes of attacks in supervisory control systems
- Exact fault recovery for asynchronous sequential machines with output bursts
- Fault-tolerant control of a class of asynchronous sequential machines with permanent faults
- Input/output control of asynchronous sequential machines
- Input/output control of asynchronous sequential machines with races
- Leaderless consensus control of uncertain multi-agents systems with sensor and actuator attacks
- Matrix Approach to Model Matching of Asynchronous Sequential Machines
- Model matching of switched asynchronous sequential machines via matrix approach
- Modeling and Control of Switched Asynchronous Sequential Machines
- On the control of asynchronous machines with races
- On the control of asynchronous sequential machines with infinite cycles
- Output feedback control of asynchronous sequential machines with disturbance inputs
- Robust Controllability of Switched Asynchronous Sequential Machines
- Robust and adaptive supervisory control of discrete event systems
- Robust supervisory control of a class of timed discrete event systems under partial observation
- Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach
- Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations
- Supervisory control of discrete event systems with communication delays and partial observations
- Switching and Finite Automata Theory
Cited in
(6)- Robust corrective control against fundamental and non-fundamental mode attacks with application to an asynchronous digital system
- Synthesis of covert command attackers at the supervisory layer of cyber-physical systems
- Automatic defensive control of asynchronous sequential machines
- Event-triggered secure control of nonlinear multi-agent systems under sensor attacks
- State feedback control of asynchronous sequential machines with adversarial inputs
- Robust input/output model matching of asynchronous sequential machines under intermittent actuator faults
This page was built for publication: Robust corrective control against a class of actuator attacks in input/state asynchronous sequential machines
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1996586)