Synthesis of optimal covert sensor-actuator attackers for discrete-event systems.
Ruochen TaiLiyong LinRong SuPublished in: Autom. (2023)
Keyphrases
- discrete event systems
- petri net
- complex systems
- telecommunication networks
- sensor data
- temporal constraints
- real time
- control system
- sensor networks
- discrete event
- model based diagnosis
- timed petri nets
- failure diagnosis
- dynamic systems
- context aware
- state space
- dynamic programming
- wireless sensor networks
- databases