Synthesis of optimal covert sensor-actuator attackers for discrete-event systems

DOI10.1016/J.AUTOMATICA.2023.110910MaRDI QIDQ6164022zbMATH OpenFDO

Authors Ruochen Tai, Liyong Lin, Rong Su

Publication date 30 June 2023

Published in Automatica (Search for Journal in Brave)

zbMATH Keywords

concurrencyenergy minimizationcovertnesstime minimizationsensor-actuator attacker

Mathematics Subject Classification ID

Synthesis problems (93B50) Discrete event control/observation systems (93C65)

Recommendations

• Synthesis of covert actuator and sensor attackers
• Synthesis of covert actuator attackers for free
• Observation-assisted heuristic synthesis of covert attackers against unknown supervisors
• Synthesis of sensor deception attacks at the supervisory layer of cyber-physical systems
• A Framework for the Analysis of Supervised Discrete Event Systems Under Attack

Cites work

• A unified approach to control problems in discrete event processes
• An Optimal Control Theory for Discrete Event Systems
• Local Mean Payoff Supervisory Control for Discrete Event Systems
• On optimal attraction in discrete-event processes
• On optimal control of a class of partially observed discrete event systems
• Optimal supervisory control with mean payoff objectives and under partial observation
• Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations
• Synthesis of covert actuator and sensor attackers
• Synthesis of covert actuator attackers for free
• Synthesis of sensor deception attacks at the supervisory layer of cyber-physical systems
• The Synthesis of Time Optimal Supervisors by Using Heaps-of-Pieces

Cited in

(10)

• Synthesis of covert actuator and sensor attackers
• Synthesis of covert command attackers at the supervisory layer of cyber-physical systems
• Discrete-event systems subject to unknown sensor attacks
• Persuasion-Based Robust Sensor Design Against Attackers With Unknown Control Objectives
• Diagnosability and attack detection for discrete event systems under sensor attacks
• Privacy-preserving co-synthesis against sensor-actuator eavesdropping intruder
• Tamper-tolerant diagnosability analysis and tampering detectability in discrete event systems under cost constraints
• A Framework for the Analysis of Supervised Discrete Event Systems Under Attack
• Observation-assisted heuristic synthesis of covert attackers against unknown supervisors
• Synthesis of covert actuator attackers for free

This page was built for publication: Synthesis of optimal covert sensor-actuator attackers for discrete-event systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6164022)