FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Falsification of Temporal Logic Requirements Using Gradient Based Local Search in Space and Time

Authors: Shakiba Yaghoubi and Georgios Fainekos

Paper Information

Title:Falsification of Temporal Logic Requirements Using Gradient Based Local Search in Space and Time
Authors:Shakiba Yaghoubi and Georgios Fainekos
Proceedings:ADHS Full papers
Editor: Alessandro Abate
Keywords:aaa, bbb, ccc
Abstract:

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.

Pages:6
Talk:Jul 11 16:35 (Session 68A: Verification)
Paper: