Falsification of cyber-physical systems through multi-fidelity stochastic optimization

Alireza Inanlouganji, Shakiba Yaghoubi, Georgios Fainekos, Giulia Pedrielli

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.

Original languageEnglish (US)
Title of host publicationSNR 2019 - Proceedings of the 5th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT
EditorsGowri Sankar Ramachandran, Jorge Ortiz
PublisherAssociation for Computing Machinery, Inc
ISBN (Electronic)9781450366977
DOIs
StatePublished - Apr 15 2019
Event5th 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 - Montreal, Canada
Duration: Apr 15 2019 → …

Publication series

NameSNR 2019 - Proceedings of the 5th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT

Conference

Conference5th 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
CountryCanada
CityMontreal
Period4/15/19 → …

Keywords

  • cyber-physical systems
  • falsification
  • optimization
  • testing

ASJC Scopus subject areas

  • Control and Optimization
  • Modeling and Simulation
  • Numerical Analysis

Fingerprint Dive into the research topics of 'Falsification of cyber-physical systems through multi-fidelity stochastic optimization'. Together they form a unique fingerprint.

  • Cite this

    Inanlouganji, A., Yaghoubi, S., Fainekos, G., & Pedrielli, G. (2019). Falsification of cyber-physical systems through multi-fidelity stochastic optimization. In G. S. Ramachandran, & J. Ortiz (Eds.), SNR 2019 - Proceedings of the 5th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT [3313371] (SNR 2019 - Proceedings of the 5th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT). Association for Computing Machinery, Inc. https://doi.org/10.1145/3313149.3313371