Technical Report: The effect of Input Parameters on Falsification of Cyber-Physical Systems
Systems and Control
2022-09-20 v2 Systems and Control
Abstract
The aim of this technical report is to investigate the effect of input parameters on the falsification of cyber-physical systems (CPSs).
Cite
@article{arxiv.2209.07131,
title = {Technical Report: The effect of Input Parameters on Falsification of Cyber-Physical Systems},
author = {Zahra Ramezani and Knut Åkesson},
journal= {arXiv preprint arXiv:2209.07131},
year = {2022}
}
Related papers
View all related →
Cryptography and Security · Computer Science
A Formal Approach to Cyber-Physical Attacks
Ruggero Lanotte, Massimo Merro, Riccardo Muradore, Luca Viganò
2017-04-24
Logic in Computer Science · Computer Science
A Formal Approach to Physics-Based Attacks in Cyber-Physical Systems (Extended Version)
Ruggero Lanotte, Massimo Merro, Andrei Munteanu, Luca Viganò
2021-05-26
Systems and Control · Electrical Eng. & Systems
The Vulnerability of Cyber-Physical System under Stealthy Attacks
Tianju Sui, Yilin Mo, Damián Marelli, Ximing Sun +1
2020-02-06
Cryptography and Security · Computer Science
Cyber-Resilience Evaluation of Cyber-Physical Systems
Mariana Segovia, Jose Rubio-Hernan, Ana Rosa Cavalli, Joaquin Garcia-Alfaro
2020-09-16
Cryptography and Security · Computer Science
Cyber Risk Assessment for Cyber-Physical Systems: A Review of Methodologies and Recommendations for Improved Assessment Effectiveness
Asila AlHarmali, Saqib Ali, Waqas Aman, Omar Hussain
2024-09-17
Systems and Control · Electrical Eng. & Systems
Enhancing Temporal Logic Falsification with Specification Transformation and Valued Booleans
Johan Lidén Eddeland, Koen Claessen, Nicholas Smallbone, Zahra Ramezani +2
2019-10-21
Systems and Control · Electrical Eng. & Systems
Detection of Hidden Attacks on Cyber-Physical Systems from Serial Magnitude and Sign Randomness Inconsistencies
Paul J Bonczek, Nicola Bezzo
2021-10-06
Software Engineering · Computer Science
Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation
Yuqi Chen, Christopher M. Poskitt, Jun Sun
2016-11-08
Cryptography and Security · Computer Science
Backdoor Attacks on Fault Detection and Localization in Cyber-Physical Systems
Abile Jean, Kuniyilh S
2026-05-28
Cryptography and Security · Computer Science
Cyber-Physical Energy Systems Security: Threat Modeling, Risk Assessment, Resources, Metrics, and Case Studies
Ioannis Zografopoulos, Juan Ospina, XiaoRui Liu, Charalambos Konstantinou
2021-02-22
Systems and Control · Electrical Eng. & Systems
What Does It Take to Get Guarantees? Systematizing Assumptions in Cyber-Physical Systems
Chengyu Li, Saleh Faghfoorian, Ivan Ruchkin
2025-11-21
Systems and Control · Computer Science
Compositional Falsification of Cyber-Physical Systems with Machine Learning Components
Tommaso Dreossi, Alexandre Donzé, Sanjit A. Seshia
2018-12-20
Software Engineering · Computer Science
Stress Testing Control Loops in Cyber-Physical Systems
Claudio Mandrioli, Seung Yeob Shin, Martina Maggio, Domenico Bianculli +1
2024-08-20
Cryptography and Security · Computer Science
Formal Synthesis of Monitoring and Detection Systems for Secure CPS Implementations
Ipsita Koley, Saurav Kumar Ghosh, Soumyajit Dey, Debdeep Mukhopadhyay +5
2020-03-02
Systems and Control · Computer Science
Cyber-Physical Systems Security: a Systematic Mapping Study
Yuriy Zacchia Lun, Alessandro D'Innocenzo, Ivano Malavolta, Maria Domenica Di Benedetto
2018-12-13
Systems and Control · Electrical Eng. & Systems
Investigating Robustness in Cyber-Physical Systems: Specification-Centric Analysis in the face of System Deviations
Changjian Zhang, Parv Kapoor, Romulo Meira-Goes, David Garlan +4
2024-03-27
Cryptography and Security · Computer Science
A Security Cost Modelling Framework for Cyber-Physical Systems
Igor Ivkic, Patrizia Sailer, Antonios Gouglidis, Andreas Mauthe +1
2021-09-22
Software Engineering · Computer Science
Multi-Fidelity Digital Twins: a Means for Better Cyber-Physical Systems Testing?
Aitor Arrieta
2021-01-15
Systems and Control · Computer Science
Proceedings of the The First Workshop on Verification and Validation of Cyber-Physical Systems
Mehdi Kargahi, Ashutosh Trivedi
2016-12-14
Systems and Control · Electrical Eng. & Systems
Ensuring Resilience Against Stealthy Attacks on Cyber-Physical Systems
Paul Griffioen, Bruce H. Krogh, Bruno Sinopoli
2022-05-03
Logic in Computer Science · Computer Science
Formal Verification of Cyber-Physical Systems using Theorem Proving (Invited Paper)
Adnan Rashid, Umair Siddique, Sofiene Tahar
2020-03-10
Cryptography and Security · Computer Science
Data-Driven Falsification of Cyber-Physical Systems
Atanu Kundu, Sauvik Gon, Rajarshi Ray
2025-05-08
Cryptography and Security · Computer Science
Towards a Security Cost Model for Cyber-Physical Systems
Igor Ivkic, Andreas Mauthe, Markus Tauber
2019-05-16
Distributed, Parallel, and Cluster Computing · Computer Science
Towards formally analyzed Cyber-Physical Systems
Richárd Szabó, András Vörös
2021-08-31
Logic in Computer Science · Computer Science
Falsification of Cyber-Physical Systems with Robustness-Guided Black-Box Checking
Masaki Waga
2021-11-10