Hybrid approximate gradient and stochastic descent for falsification of nonlinear systems

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...

Full description

Saved in:
Bibliographic Details
Main Authors: Yaghoubi, Shakiba, Fainekos, Georgios
Format: Conference Proceeding
Language:English
Subjects:
Computational modeling
Mathematical model
Nonlinear systems
Optimization
Robustness
Software packages
Trajectory
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:2378-5861
DOI:10.23919/ACC.2017.7963007