Robust corrective control against a class of actuator attacks in input/state asynchronous sequential machines
From MaRDI portal
Publication:1996586
DOI10.1016/j.jfranklin.2020.12.004zbMath1458.93059OpenAlexW3112773925MaRDI QIDQ1996586
Publication date: 25 February 2021
Published in: Journal of the Franklin Institute (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jfranklin.2020.12.004
Related Items (2)
Event-triggered secure control of nonlinear multi-agent systems under sensor attacks ⋮ Robust input/output model matching of asynchronous sequential machines under intermittent actuator faults
Cites Work
- Fault-tolerant control of a class of asynchronous sequential machines with permanent faults
- Supervisory control of discrete event systems with communication delays and partial observations
- Output feedback control of asynchronous sequential machines with disturbance inputs
- A matrix-based approach to verifying stability and synthesizing optimal stabilizing controllers for finite-state automata
- Exact fault recovery for asynchronous sequential machines with output bursts
- Detection and mitigation of classes of attacks in supervisory control systems
- Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations
- Robust supervisory control of a class of timed discrete event systems under partial observation
- Leaderless consensus control of uncertain multi-agents systems with sensor and actuator attacks
- Automatic defensive control of asynchronous sequential machines
- Modeling and Control of Switched Asynchronous Sequential Machines
- A Notion of Robustness for Cyber-Physical Systems
- Input/output control of asynchronous sequential machines with races
- Robust and adaptive supervisory control of discrete event systems
- Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach
- Robust Controllability of Switched Asynchronous Sequential Machines
- Asynchronous sequential machines with adversarial intervention: the use of bursts
- Corrective control of parallel interconnected asynchronous sequential machines with output feedback
- Model matching of switched asynchronous sequential machines via matrix approach
- On the control of asynchronous machines with races
- Input/output control of asynchronous sequential machines
- Delay-Robust Supervisory Control of Discrete-Event Systems With Bounded Communication Delays
- Switching and Finite Automata Theory
- Matrix Approach to Model Matching of Asynchronous Sequential Machines
- On the control of asynchronous sequential machines with infinite cycles
This page was built for publication: Robust corrective control against a class of actuator attacks in input/state asynchronous sequential machines
