Title | ||
---|---|---|
Hybrid approximate gradient and stochastic descent for falsification of nonlinear systems |
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. |
Year | DOI | Venue |
---|---|---|
2017 | 10.23919/ACC.2017.7963007 | 2017 American Control Conference (ACC) |
Keywords | Field | DocType |
hybrid approximate gradient,hybrid stochastic descent,nonlinear systems,transient properties,safety applications,safety specification,specification falsification,global optimization strategies,smooth nonlinear system,arbitrary complexity | Mathematical optimization,Nonlinear system,Global optimization,Computer science,Control theory,Robustness (computer science),Trajectory | Conference |
ISSN | ISBN | Citations |
0743-1619 | 978-1-5090-4583-9 | 4 |
PageRank | References | Authors |
0.39 | 16 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Shakiba Yaghoubi | 1 | 13 | 2.96 |
Georgios E. Fainekos | 2 | 804 | 52.65 |