@article{8dbccb121dc14b36b019442bd556616a,
title = "Falsification of Temporal Logic Requirements Using Gradient Based Local Search in Space and Time",
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.",
keywords = "Cyber-physical systems, Gradient Descent, Optimization, Temporal Logic, Testing",
author = "Shakiba Yaghoubi and Georgios Fainekos",
note = "Funding Information: ★assist in capturing the transient properties related to the is the input function that giffen a specific point in time[0t,T∈] 13T0h4i2s0,wIoIrPk-1w36a1s92p6a,rtainadllythseupNpSoFrtIe/dUCbyRCthCeenNtSerFfoarwEarmdbsedCdNedS ishtehre ixnp∈utXfu⊆ncRtionistthhaet sgyifsfteenma stpaetcei,fiuc p∈opiint in t⊆imLe t ∈ 1350420,This wIoIrPk-1361926,was partiallyandthesuppNSFortedI/UCbyRCtheCenNtSFerforawEarmdbseddedCNS [0,T]returnsn affa[0lue,T]inthenbounde1dsetpi⊂R(u:t→pi), S3y5st0e4m20s,. IIP-1361926, and the NSF I/UCRC Center for Embedded and φ : R ≈ pi → R is a C flow. We assume that 1350420,IIP-1361926,andtheNSFI/UCRCCenterforEmbedded is,tThe] rientpuurntnsfuanfcfa[t0il,ouTne] itnhathtegnibffoeunnades1dpesceitfipcip⊂oiRnt(iun :titm→epti∈), SyThisstems.work was partially supported by the NSF awards CNS and φ : Rn ≈ pi[0,T] → Rn is a C1 flow. We assume that Publisher Copyright: {\textcopyright} 2018",
year = "2018",
month = jan,
day = "1",
doi = "10.1016/j.ifacol.2018.08.018",
language = "English (US)",
volume = "51",
pages = "103--108",
journal = "6th IFAC Conference on Analysis and Design of Hybrid Systems ADHS 2018: Oxford, United Kingdom, 11—13 July 2018",
issn = "2405-8963",
number = "16",
}