Robust corrective control against fundamental and non-fundamental mode attacks with application to an asynchronous digital system

DOI10.1016/j.ins.2024.120145OpenAlexW4390977036MaRDI QIDQ6126856

Jung-Min Yang, Seong Woo Kwak

Publication date: 10 April 2024

Published in: Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ins.2024.120145

zbMATH Keywords

model matchingcorrective controlasynchronous sequential machines (ASMs)field-programmable gate array (FPGA)non-fundamental mode attacks

Mathematics Subject Classification ID

Sensitivity (robustness) (93B35) Feedback control (93B52) Digital control/observation systems (93C62)

Cites Work

• Unnamed Item
• 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
• Bursts and output feedback control of non-deterministic asynchronous sequential machines
• Burst-feedback corrective control of asynchronous sequential machines in non-fundamental mode
• Dealing with sensor and actuator deception attacks in supervisory control
• Resource failure and buffer space allocation control for automated manufacturing systems
• Synthesis of covert actuator attackers for free
• Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions
• Fault tolerant control of asynchronous sequential machines with transient faults in non-fundamental mode
• Automatic defensive control of asynchronous sequential machines
• Introduction to Discrete Event Systems
• Input/output control of asynchronous sequential machines with races
• Hazards, critical races, and metastability
• Supervisory Control of Petri Nets in the Presence of Replacement Attacks
• On the control of asynchronous machines with races
• Input/output control of asynchronous sequential machines
• Switching and Finite Automata Theory
• Matrix Approach to Model Matching of Asynchronous Sequential Machines
• On the control of asynchronous sequential machines with infinite cycles
• On decidability of existence of nonblocking supervisors resilient to smart sensor attacks

This page was built for publication: Robust corrective control against fundamental and non-fundamental mode attacks with application to an asynchronous digital system