Discrete-event systems subject to unknown sensor attacks

DOI10.1007/s10626-021-00351-3zbMath1489.93069OpenAlexW4200579873MaRDI QIDQ2128094

Michel R. C. Alves, Patrícia N. Pena, Karen Rudie

Publication date: 21 April 2022

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

Full work available at URL: https://doi.org/10.1007/s10626-021-00351-3

zbMATH Keywords

supervisory controldiscrete-event systemattacks on output symbolsP-observability

Mathematics Subject Classification ID

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

Uses Software

• UMDES

Cites Work

• An algorithm for calculating indistinguishable states and clusters in finite-state automata with partially observable transitions
• Supervisor reduction for discrete-event systems
• Detection and mitigation of classes of attacks in supervisory control systems
• Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations
• Synthesis of sensor deception attacks at the supervisory layer of cyber-physical systems
• Synthesis of covert actuator attackers for free
• Supervisory control of discrete-event systems under attacks
• Introduction to Discrete Event Systems
• Synthesis of Supervisors Robust Against Sensor Deception Attacks
• Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions

This page was built for publication: Discrete-event systems subject to unknown sensor attacks