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 条

[1] Multi-fidelity Bayesian Optimization for Co-design of Resilient Cyber-Physical Systems
Vasisht, Soumya
Rahman, Aowabin
Ramachandran, Thiagarajan
Bhattacharya, Arnab
Adetola, Veronica
[J]. 2022 13TH ACM/IEEE INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS (ICCPS 2022), 2022, : 298 - 299
[2] Falsification of Cyber-Physical Systems with Robustness Uncertainty Quantification Through Stochastic Optimization with Adaptive Restart
Mathesen, Logan
Yaghoubi, Shakiba
Pedrielli, Giulia
Fainekos, Georgios
[J]. 2019 IEEE 15TH INTERNATIONAL CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING (CASE), 2019, : 991 - 997
[3] Falsification of Learning-Based Controllers through Multi-Fidelity Bayesian Optimization
Shahrooei, Zahra
Kochenderfer, Mykel J.
Baheri, Ali
[J]. 2023 EUROPEAN CONTROL CONFERENCE, ECC, 2023,
[4] Falsification of Cyber-Physical Systems with Reinforcement Learning
Kato, Koki
Ishikawa, Fuyuki
Honiden, Shinichi
[J]. 2018 IEEE 3RD WORKSHOP ON MONITORING AND TESTING OF CYBER-PHYSICAL SYSTEMS (MT-CPS 2018), 2018, : 5 - 6
[5] On Input Generators for Cyber-Physical Systems Falsification
Ramezani, Zahra
Donze, Alexandre
Fabian, Martin
Akesson, Knut
[J]. IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2024, 43 (04) : 1274 - 1287
[6] Multiple Objective Functions for Falsification of Cyber-Physical Systems
Ramezani, Zahra
Eddeland, Johan Liden
Claessen, Koen
Fabian, Martin
Akesson, Knut
[J]. IFAC PAPERSONLINE, 2020, 53 (04): : 417 - 422
[7] Probabilistic Temporal Logic Falsification of Cyber-Physical Systems
Abbas, Houssam
Fainekos, Georgios
Sankaranarayanan, Sriram
Ivancic, Franjo
Gupta, Aarti
[J]. ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2013, 12
[8] Falsification of Cyber-Physical Systems with Constrained Signal Spaces
Barbot, Benoit
Basset, Nicolas
Dang, Thao
Donze, Alexandre
Kapinski, James
Yamaguchi, Tomoya
[J]. NASA FORMAL METHODS (NFM 2020), 2020, 12229 : 420 - 439
[9] CPFuzz: Combining Fuzzing and Falsification of Cyber-Physical Systems
Shang, Fute
Wang, Buhong
Li, Tengyao
Tian, Jiwei
Cao, Kunrui
[J]. IEEE ACCESS, 2020, 8 : 166951 - 166962
[10] Data-Driven Falsification of Cyber-Physical Systems
Kundu, Atanu
Gon, Sauvik
Ray, Rajarshi
[J]. PROCEEDINGS OF THE 17TH INNOVATIONS IN SOFTWARE ENGINEERING CONFERENCE, ISEC 2024, 2024,

← 1 2 3 4 5 →