Time-staging enhancement of hybrid system falsification

Zhenya Zhang, Gidon Ernst, Ichiro Hasuo, Sean Sedwards

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

1 Citation (Scopus)

Abstract

Optimization-based falsification employs stochastic optimization algorithms to search for error input of hybrid systems. We propose a strategy that constructs such an input incrementally in several time stages. Experiments show that this stragety can significantly improve success rate and performance of falsification on certain classes of systems and properties.

Original languageEnglish
Title of host publicationProceedings - 2018 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, MT-CPS 2018
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages3-4
Number of pages2
ISBN (Print)9781538667484
DOIs
Publication statusPublished - Aug 7 2018
Externally publishedYes
Event3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, MT-CPS 2018 - Porto, Portugal
Duration: Apr 10 2018 → …

Publication series

NameProceedings - 2018 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, MT-CPS 2018

Conference

Conference3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, MT-CPS 2018
Country/TerritoryPortugal
CityPorto
Period4/10/18 → …

All Science Journal Classification (ASJC) codes

  • Safety, Risk, Reliability and Quality
  • Artificial Intelligence

Fingerprint

Dive into the research topics of 'Time-staging enhancement of hybrid system falsification'. Together they form a unique fingerprint.

Cite this