Hybrid approximate gradient and stochastic descent for falsification of nonlinear systems

Shakiba Yaghoubi, Georgios Fainekos

Research output: Chapter in Book/Report/Conference proceedingConference contribution

7 Scopus citations

Abstract

Studying transient properties of nonlinear systems is an important problem for safety applications. Computationally, it is a very challenging problem to verify that a nonlinear system satisfies a safety specification. Therefore, in many cases, engineers try to solve a related problem, i.e., they try to find a system behavior that does not satisfy a given specification. This problem is called specification falsification. Optimization has been shown to be very effective in providing a practical solution to the falsification problem. In this paper, we provide effective and practical local and global optimization strategies to falsify a smooth nonlinear system of arbitrary complexity.

Original languageEnglish (US)
Title of host publication2017 American Control Conference, ACC 2017
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages529-534
Number of pages6
ISBN (Electronic)9781509059928
DOIs
StatePublished - Jun 29 2017
Event2017 American Control Conference, ACC 2017 - Seattle, United States
Duration: May 24 2017May 26 2017

Other

Other2017 American Control Conference, ACC 2017
CountryUnited States
CitySeattle
Period5/24/175/26/17

ASJC Scopus subject areas

  • Electrical and Electronic Engineering

Fingerprint Dive into the research topics of 'Hybrid approximate gradient and stochastic descent for falsification of nonlinear systems'. Together they form a unique fingerprint.

  • Cite this

    Yaghoubi, S., & Fainekos, G. (2017). Hybrid approximate gradient and stochastic descent for falsification of nonlinear systems. In 2017 American Control Conference, ACC 2017 (pp. 529-534). [7963007] Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.23919/ACC.2017.7963007