Robust corrective control against a class of actuator attacks in input/state asynchronous sequential machines

DOI10.1016/J.JFRANKLIN.2020.12.004MaRDI QIDQ1996586zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

input/state asynchronous sequential machinesrobust corrective control

Mathematics Subject Classification ID

Sensitivity (robustness) (93B35)

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)