Quantitative Robustness Analysis of Sensor Attacks on Cyber-Physical Systems
From MaRDI portal
Publication:6202106
DOI10.1145/3575870.3587118MaRDI QIDQ6202106
Stephen Chong, Jian Xiang, Massimo Merro, Ruggero Lanotte, Simone Tini
Publication date: 21 February 2024
Published in: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Robustness of temporal logic specifications for continuous-time signals
- Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL
- Differential dynamic logic for hybrid systems
- A complete uniform substitution calculus for differential dynamic logic
- Towards the automated verification of cyber-physical security protocols: bounding the number of timed intruders
- A Notion of Robustness for Cyber-Physical Systems
- Towards Robustness for Cyber-Physical Systems
- KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems
- Verification and Control of Hybrid Systems
- Control Barrier Function Based Quadratic Programs for Safety Critical Systems
- Logical Foundations of Cyber-Physical Systems
- A computable and compositional semantics for hybrid automata
- Interface-aware signal temporal logic
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
This page was built for publication: Quantitative Robustness Analysis of Sensor Attacks on Cyber-Physical Systems
