Falsification of Temporal Logic Requirements Using Gradient Based Local Search in Space and Time

Shakiba Yaghoubi, Georgios Fainekos

Research output: Contribution to journalArticle

6 Scopus citations

Abstract

We study the problem of computing input signals that produce system behaviors that falsify requirements written in temporal logic. We provide a method to automatically search for falsifying time varying uncertain inputs for nonlinear and possibly hybrid systems. The input to the system is parametrized using piecewise constant signals with varying switch times. By applying small perturbations to the system input in space and time, and by using gradient descent approach, we try to converge to the worst local system behavior. The experimental results on non-trivial benchmarks demonstrate that this local search can significantly improve the rate of finding falsifying counterexamples.

Original languageEnglish (US)
Pages (from-to)103-108
Number of pages6
JournalIFAC-PapersOnLine
Volume51
Issue number16
DOIs
StatePublished - Jan 1 2018

Keywords

  • Cyber-physical systems
  • Gradient Descent
  • Optimization
  • Temporal Logic
  • Testing

ASJC Scopus subject areas

  • Control and Systems Engineering

Fingerprint Dive into the research topics of 'Falsification of Temporal Logic Requirements Using Gradient Based Local Search in Space and Time'. Together they form a unique fingerprint.

  • Cite this