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 条

[31] Multi-objective Search for Effective Testing of Cyber-Physical Systems
Araujo, Hugo
Carvalho, Gustavo
Mousavi, Mohammad Reza
Sampaio, Augusto
SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM 2019), 2019, 11724 : 183 - 202
[32] Statistical Approach to Detection of Attacks for Stochastic Cyber-Physical Systems
Marelli, Damian
Sui, Tianju
Fu, Minyue
Lu, Renquan
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2021, 66 (02) : 849 - 856
[33] Cyber-Physical Systems Security through Multi-Factor Authentication and Data Analytics
Vegh, Laura
2018 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY (ICIT), 2018, : 1369 - 1374
[34] Enhancing Cyber Situational Awareness for Cyber-Physical Systems through Digital Twins
Eckhart, Matthias
Ekelhart, Andreas
Weippl, Edgar
2019 24TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2019, : 1222 - 1225
[35] Communication in Cyber-Physical Systems
Mois, George
Folea, Silviu
Sanislav, Teodora
Miclea, Liviu
2015 19TH INTERNATIONAL CONFERENCE ON SYSTEM THEORY, CONTROL AND COMPUTING (ICSTCC), 2015, : 303 - 307
[36] Engineering Cyber-Physical Systems
Gruhn, Volker
Gries, Stefan
Hesenius, Marc
Ollesch, Julius
Ur Rehman, Shafiq
Schwenzfeier, Nils
Wahl, Christian
Wessling, Florian
NEW TRENDS IN INTELLIGENT SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES, 2017, 297 : 3 - 18
[37] Cyber-Physical Manufacturing Systems
Tilbury, Dawn M.
ANNUAL REVIEW OF CONTROL, ROBOTICS, AND AUTONOMOUS SYSTEMS, VOL 2, 2019, 2 : 427 - 443
[38] Cyber-physical systems in manufacturing
Monostori, L.
Kadar, B.
Bauernhansl, T.
Kondoh, S.
Kumara, S.
Reinhart, G.
Sauer, O.
Schuh, G.
Sihn, W.
Ueda, K.
CIRP ANNALS-MANUFACTURING TECHNOLOGY, 2016, 65 (02) : 621 - 641
[39] The Cyber-Physical Systems Revolution
Serpanos, Dimitrios
COMPUTER, 2018, 51 (03) : 70 - 73
[40] A metamodel for cyber-physical systems
Fitz, Theresa
Theiler, Michael
Smarsly, Kay
ADVANCED ENGINEERING INFORMATICS, 2019, 41

← 1 2 3 4 5 →