Probabilistic temporal logic falsification of cyber-physical systems

Houssam Abbas, Georgios Fainekos, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta

Research output: Contribution to journalArticle

67 Scopus citations

Abstract

We present a Monte-Carlo optimization technique for finding system behaviors that falsify a metric temporal logic (MTL) property. Our approach performs a random walk over the space of system inputs guided by a robustness metric defined by the MTL property. Robustness is guiding the search for a falsifying behavior by exploring trajectories with smaller robustness values. The resulting testing framework can be applied to a wide class of cyber-physical systems (CPS). We show through experiments on complex system models that using our framework can help automatically falsify properties with more consistency as compared to other means, such as uniform sampling.

Original languageEnglish (US)
Article number95
JournalTransactions on Embedded Computing Systems
Volume12
Issue number2 SUPPL.
DOIs
StatePublished - May 2013

All Science Journal Classification (ASJC) codes

  • Software
  • Hardware and Architecture

Keywords

  • Hybrid systems
  • Metric temporal logic
  • Robustness
  • Testing

Fingerprint Dive into the research topics of 'Probabilistic temporal logic falsification of cyber-physical systems'. Together they form a unique fingerprint.

  • Cite this