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 → …

Fingerprint

Stochastic Optimization
Fidelity
Simulation Model
Cost Function
Cost functions
Testing
Requirements
Approximation
Cyber Physical System
Model
Review

Keywords

  • cyber-physical systems
  • falsification
  • optimization
  • testing

ASJC Scopus subject areas

  • Control and Optimization
  • Modeling and Simulation
  • Numerical Analysis

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

Falsification of cyber-physical systems through multi-fidelity stochastic optimization. / Inanlouganji, Alireza; Yaghoubi, Shakiba; Fainekos, Georgios; Pedrielli, Giulia.

SNR 2019 - Proceedings of the 5th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT. ed. / Gowri Sankar Ramachandran; Jorge Ortiz. Association for Computing Machinery, Inc, 2019. 3313371 (SNR 2019 - Proceedings of the 5th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT).

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

Inanlouganji, A, Yaghoubi, S, Fainekos, G & Pedrielli, G 2019, Falsification of cyber-physical systems through multi-fidelity stochastic optimization. in GS 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, 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, Montreal, Canada, 4/15/19. https://doi.org/10.1145/3313149.3313371
Inanlouganji A, Yaghoubi S, Fainekos G, Pedrielli G. Falsification of cyber-physical systems through multi-fidelity stochastic optimization. In Ramachandran GS, Ortiz J, editors, SNR 2019 - Proceedings of the 5th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT. Association for Computing Machinery, Inc. 2019. 3313371. (SNR 2019 - Proceedings of the 5th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT). https://doi.org/10.1145/3313149.3313371
Inanlouganji, Alireza ; Yaghoubi, Shakiba ; Fainekos, Georgios ; Pedrielli, Giulia. / Falsification of cyber-physical systems through multi-fidelity stochastic optimization. SNR 2019 - Proceedings of the 5th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT. editor / Gowri Sankar Ramachandran ; Jorge Ortiz. Association for Computing Machinery, Inc, 2019. (SNR 2019 - Proceedings of the 5th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT).
@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",
year = "2019",
month = "4",
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",

}

TY - GEN

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

AU - Inanlouganji, Alireza

AU - Yaghoubi, Shakiba

AU - Fainekos, Georgios

AU - Pedrielli, Giulia

PY - 2019/4/15

Y1 - 2019/4/15

N2 - 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.

AB - 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.

KW - cyber-physical systems

KW - falsification

KW - optimization

KW - testing

UR - http://www.scopus.com/inward/record.url?scp=85066135206&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85066135206&partnerID=8YFLogxK

U2 - 10.1145/3313149.3313371

DO - 10.1145/3313149.3313371

M3 - Conference contribution

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

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

A2 - Ramachandran, Gowri Sankar

A2 - Ortiz, Jorge

PB - Association for Computing Machinery, Inc

ER -