We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Electrical Engineering and Systems Science > Systems and Control

Title: Constrained Optimization for Hybrid System Falsification and Application to Conjunctive Synthesis

Abstract: The synthesis problem of a cyber-physical system (CPS) is to find an input signal under which the system's behavior satisfies a given specification. Our setting is that the specification is a formula of signal temporal logic, and furthermore, that the specification is a conjunction of different and often conflicting requirements. Conjunctive specifications are often challenging for optimization-based falsification -- an established method for CPS analysis that can also be used for synthesis -- since the usual framework (especially how its robust semantics handles Boolean connectives) is not suited for finding delicate trade-offs between different requirements. Our proposed method consists of the combination of optimization-based falsification and constrained optimization. Specifically, we show that the state-of-the-art multiple constraint ranking method can be combined with falsification powered by CMA-ES optimization; its performance advantage is demonstrated in experiments.
Subjects: Systems and Control (eess.SY)
Cite as: arXiv:2012.00319 [eess.SY]
  (or arXiv:2012.00319v2 [eess.SY] for this version)

Submission history

From: Sota Sato [view email]
[v1] Tue, 1 Dec 2020 07:48:54 GMT (17kb)
[v2] Wed, 10 Feb 2021 01:09:44 GMT (50kb)

Link back to: arXiv, form interface, contact.