@inproceedings{097404e2882b4da3b329d0b07bbf7e4f,
title = "Simulation-aided reachability and local gain analysis for nonlinear dynamical systems",
abstract = "We analyze reachability properties and local input/output gains of systems with polynomial vector fields. Upper bounds for the reachable set and nonlinear system gains are characterized by polynomial Lyapunov (storage) functions satisfying certain bilinear constraints. A methodology utilizing information from simulations to generate Lyapunov function candidates satisfying necessary conditions for bilinear constraints is proposed. The suitability of Lyapunov function candidates are assessed solving linear sum-of-squares optimization problems. Qualified candidates are used to compute upper bounds for the reachable set and nonlinear system gains and to initialize further coordinate-wise affine optimization. We illustrate the method on several examples from the literature.",
author = "Weehong Tan and Ufuk Topcu and Peter Seiler and Gary Balas and Andrew Packard",
year = "2008",
doi = "10.1109/CDC.2008.4739425",
language = "English (US)",
isbn = "9781424431243",
series = "Proceedings of the IEEE Conference on Decision and Control",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "4097--4102",
booktitle = "Proceedings of the 47th IEEE Conference on Decision and Control, CDC 2008",
note = "47th IEEE Conference on Decision and Control, CDC 2008 ; Conference date: 09-12-2008 Through 11-12-2008",
}