Falsification of Cyber-Physical Systems Through Multi-Fidelity Stochastic Optimization

被引：2

作者：

Inanlouganji, Alireza ^{[1
]}

Yaghoubi, Shakiba ^{[1
]}

Fainekos, Georgios ^{[1
]}

Pedrielli, Giulia ^{[1
]}

机构：

[1] Arizona State Univ, Tempe, AZ 85287 USA

来源：

PROCEEDINGS OF THE 5TH INTERNATIONAL WORKSHOP ON SYMBOLIC-NUMERIC METHODS FOR REASONING ABOUT CPS AND IOT (SNR 2019) | 2019年

基金：

美国国家科学基金会;

关键词：

optimization; cyber-physical systems; testing; falsification;

D O I：

10.1145/3313149.3313371

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

This talk will review some recent results on requirements driven search-based testing for Cyber-Physical Systems (CPS). Namely, we will present an extension to a Bayesian optimizer that makes use of models of different complexity (and accuracy) that allow obtaining several approximations of the guiding cost function. The goal of the method is to enable falsification of computationally expensive simulation models through the use of simpler but much faster simulation models.

引用

页码：22 / 23

页数：2

共 50 条

[21] Flexible Optimization for Cyber-Physical and Human Systems
Simonetto, Andrea
IEEE CONTROL SYSTEMS LETTERS, 2024, 8 : 1475 - 1480
[22] Enhancing Expressiveness in Stochastic Modelling of Cyber-Physical Systems
Metere, Roberto
Czekster, Ricardo M.
Arnaboldi, Luca
2024 13TH MEDITERRANEAN CONFERENCE ON EMBEDDED COMPUTING, MECO 2024, 2024, : 37 - 40
[23] Fast Attack Recovery for Stochastic Cyber-Physical Systems
Zhang, Lin
Burbano, Luis
Chen, Xin
Cardenas, Alvaro A.
Drager, Steven
Anderson, Matthew
Kong, Fanxin
2024 IEEE 30TH REAL-TIME AND EMBEDDED TECHNOLOGY AND APPLICATIONS SYMPOSIUM, RTAS 2024, 2023, : 280 - 293
[24] Cyber-physical Systems
Wolf, Wayne
COMPUTER, 2009, 42 (03) : 88 - 89
[25] Fidelity-Aware Utilization Control for Cyber-Physical Surveillance Systems
Chen, Jinzhu
Tan, Rui
Xing, Guoliang
Wang, Xiaorui
Fu, Xing
IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 2012, 23 (09) : 1739 - 1751
[26] On the Security of Cyber-Physical Systems Against Stochastic Cyber-Attacks Models
Abu Al-Haija, Qasem
2021 IEEE INTERNATIONAL IOT, ELECTRONICS AND MECHATRONICS CONFERENCE (IEMTRONICS), 2021, : 155 - 160
[27] Cyber-Physical Systems
Letichevsky A.A.
Letychevskyi O.O.
Skobelev V.G.
Volkov V.A.
Letichevsky, A.A. (aaletichevsky78@gmail.com), 2017, Springer Science and Business Media, LLC (53) : 821 - 834
[28] Identification and analysis of stochastic deception attacks on cyber-physical systems
Barchinezhad, Soheila
Haghighi, Mohammad Sayad
Puig, Vicenc
JOURNAL OF THE FRANKLIN INSTITUTE-ENGINEERING AND APPLIED MATHEMATICS, 2024, 361 (08):
[29] Statistical Approach to Detection of Attacks for Stochastic Cyber-Physical Systems
Marelli, Damian
Sui, Tianju
Fu, Minyue
IFAC PAPERSONLINE, 2018, 51 (25): : 178 - 183
[30] Advances in Cyber-Physical Systems Research
Wan, Jiafu
Yan, Hehua
Suo, Hui
Li, Fang
KSII TRANSACTIONS ON INTERNET AND INFORMATION SYSTEMS, 2011, 5 (11): : 1891 - 1908

← 1 2 3 4 5 →