Simulation-aided reachability and local gain analysis for nonlinear dynamical systems

Weehong Tan, Ufuk Topcu, Peter Seiler, Gary Balas, Andrew Packard

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

15 Scopus citations

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.

Original languageEnglish (US)
Title of host publicationProceedings of the 47th IEEE Conference on Decision and Control, CDC 2008
Pages4097-4102
Number of pages6
DOIs
StatePublished - Dec 1 2008
Event47th IEEE Conference on Decision and Control, CDC 2008 - Cancun, Mexico
Duration: Dec 9 2008Dec 11 2008

Publication series

NameProceedings of the IEEE Conference on Decision and Control
ISSN (Print)0191-2216

Other

Other47th IEEE Conference on Decision and Control, CDC 2008
CountryMexico
CityCancun
Period12/9/0812/11/08

Fingerprint Dive into the research topics of 'Simulation-aided reachability and local gain analysis for nonlinear dynamical systems'. Together they form a unique fingerprint.

Cite this