Diagnosability and attack detection for discrete event systems under sensor attacks

DOI10.1007/S10626-024-00401-6MaRDI QIDQ6645152zbMATH OpenFDO

Authors Feng Lin, Stéphane Lafortune, Caisheng Wang

Publication date 28 November 2024

Published in Discrete Event Dynamic Systems (Search for Journal in Brave)

zbMATH Keywords

diagnosabilitydiscrete event systemscyber attacks

Mathematics Subject Classification ID

Controllability (93B05) Observability (93B07) Discrete event control/observation systems (93C65)

Recommendations

• A joint diagnoser approach for diagnosability of discrete event systems under attack
• Tamper-tolerant diagnosability analysis and tampering detectability in discrete event systems under cost constraints
• Supervisory control of discrete-event systems under external attacks
• A Framework for the Analysis of Supervised Discrete Event Systems Under Attack
• Attacks detection and security control for cyber-physical systems under false data injection attacks

Cites work

• A general framework for diagnosis of discrete event systems subject to sensor failures
• Control of discrete-event systems. Automata and Petri net perspectives
• Detection and mitigation of classes of attacks in supervisory control systems
• Diagnosability of discrete-event systems
• Discrete-event systems subject to unknown sensor attacks
• Introduction to Discrete Event Systems
• On observability of discrete-event systems
• Robust decentralized diagnosability of networked discrete event systems against DoS and deception attacks
• Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations
• Supervisory Control of Networked Timed Discrete Event Systems and Its Applications to Power Distribution Networks
• Supervisory Control of a Class of Discrete Event Processes
• Supervisory control of discrete-event systems
• Supervisory control of discrete-event systems under attacks
• Synthesis of covert actuator attackers for free
• Synthesis of optimal covert sensor-actuator attackers for discrete-event systems
• Synthesis of sensor deception attacks at the supervisory layer of cyber-physical systems
• Synthesis of winning attacks on communication protocols using supervisory control theory: two case studies

Cited in

(2)

• Tamper-tolerant diagnosability analysis and tampering detectability in discrete event systems under cost constraints
• A joint diagnoser approach for diagnosability of discrete event systems under attack

This page was built for publication: Diagnosability and attack detection for discrete event systems under sensor attacks

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