Probabilistic temporal logic falsification of cyber-physical systems

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

Research output: Contribution to journalArticlepeer-review

116 Scopus citations


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
Issue number2 SUPPL.
StatePublished - May 2013

All Science Journal Classification (ASJC) codes

  • Software
  • Hardware and Architecture


  • Hybrid systems
  • Metric temporal logic
  • Robustness
  • Testing


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

Cite this