Measuring robustness in cyber-physical systems under sensor attacks

DOI10.1016/J.NAHS.2024.101559MaRDI QIDQ7015110zbMATH OpenFDO

Authors Jian Xiang, Ruggero Lanotte, Simone Tini, Stephen Chong, Massimo Merro

Publication date 10 March 2025

Published in Nonlinear Analysis. Hybrid Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.NAHS.2024.101559

zbMATH Keywords

cyber-physical systemdifferential dynamic logicquantitative analysisrobustnesssafety

Mathematics Subject Classification ID

Sensitivity (robustness) (93B35) Networked control (93B70) Control/observation systems involving computers (process control, etc.) (93C83)

Cites work

• A complete uniform substitution calculus for differential dynamic logic
• A computable and compositional semantics for hybrid automata
• A Notion of Robustness for Cyber-Physical Systems
• Control Barrier Function Based Quadratic Programs for Safety Critical Systems
• Differential dynamic logic for hybrid systems
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• scientific article; zbMATH DE number 5347321 (Why is no real title available?)
• scientific article; zbMATH DE number 48517 (Why is no real title available?)
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• scientific article; zbMATH DE number 2107836 (Why is no real title available?)
• Interface-aware signal temporal logic
• KeYmaera X: an axiomatic tactical theorem prover for hybrid systems
• Logical foundations of cyber-physical systems
• ModelPlex: verified runtime validation of verified cyber-physical system models
• Quantitative Robustness Analysis of Sensor Attacks on Cyber-Physical Systems
• Robustness of temporal logic specifications for continuous-time signals
• Secure Estimation and Control for Cyber-Physical Systems Under Adversarial Attacks
• Secure estimation based Kalman filter for cyber-physical systems against sensor attacks
• Towards Robustness for Cyber-Physical Systems
• Towards the automated verification of cyber-physical security protocols: bounding the number of timed intruders
• Verification and Control of Hybrid Systems
• Verifying Switched System Stability With Logic

This page was built for publication: Measuring robustness in cyber-physical systems under sensor attacks

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