@inproceedings{96e6f631598341158c420fa02a056e2b,
title = "Falsification of cyber-physical systems through multi-fidelity stochastic optimization",
abstract = "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.",
keywords = "cyber-physical systems, falsification, optimization, testing",
author = "Alireza Inanlouganji and Shakiba Yaghoubi and Georgios Fainekos and Giulia Pedrielli",
note = "Funding Information: This research was partially funded by the awards NSF 1350420, NSF 1829238, NSF 1361926 and the NSF I/UCRC Center for Embedded Systems. Publisher Copyright: {\textcopyright} 2019 Association for Computing Machinery.; 5th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT, SNR 2019, held as part of the 12th Cyber-Physical Systems and Internet-of-Things Week, CPS-IoT Week 2019 ; Conference date: 15-04-2019",
year = "2019",
month = apr,
day = "15",
doi = "10.1145/3313149.3313371",
language = "English (US)",
series = "SNR 2019 - Proceedings of the 5th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT",
publisher = "Association for Computing Machinery, Inc",
editor = "Ramachandran, {Gowri Sankar} and Jorge Ortiz",
booktitle = "SNR 2019 - Proceedings of the 5th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT",
}