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.004zbMATH Open1458.93059OpenAlexW3112773925MaRDI QIDQ1996586FDOQ1996586
Authors: Jung-Min Yang, Dong Eun Lee 
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
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
- Matrix Approach to Model Matching of Asynchronous Sequential Machines
- Robust Controllability of Switched Asynchronous Sequential Machines
- Corrective control of parallel interconnected asynchronous sequential machines with output feedback
- On the control of asynchronous machines with races
- Input/output control of asynchronous sequential machines
- On the control of asynchronous sequential machines with infinite cycles
- Output feedback control of asynchronous sequential machines with disturbance inputs
- Fault-tolerant control of a class of asynchronous sequential machines with permanent faults
- Switching and Finite Automata Theory
- Delay-Robust Supervisory Control of Discrete-Event Systems With Bounded Communication Delays
- Supervisory control of discrete event systems with communication delays and partial observations
- Modeling and Control of Switched Asynchronous Sequential Machines
- Asynchronous sequential machines with adversarial intervention: the use of bursts
- A matrix-based approach to verifying stability and synthesizing optimal stabilizing controllers for finite-state automata
- Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach
- Robust supervisory control of a class of timed discrete event systems under partial observation
- Robust and adaptive supervisory control of discrete event systems
- Input/output control of asynchronous sequential machines with races
- Exact fault recovery for asynchronous sequential machines with output bursts
- Detection and mitigation of classes of attacks in supervisory control systems
- Automatic defensive control of asynchronous sequential machines
- A Notion of Robustness for Cyber-Physical Systems
- Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations
- Leaderless consensus control of uncertain multi-agents systems with sensor and actuator attacks
- Model matching of switched asynchronous sequential machines via matrix approach
Cited In (6)
- 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
- Robust corrective control against fundamental and non-fundamental mode attacks with application to an asynchronous digital system
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)
