Exponentially Stable Nonlinear Systems Have Polynomial Lyapunov Functions on Bounded Regions
From MaRDI portal
Publication:4974554
DOI10.1109/TAC.2009.2017116zbMath1367.93442arXiv0707.0218MaRDI QIDQ4974554
Publication date: 8 August 2017
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/0707.0218
Lyapunov and storage functions (93D30) Lyapunov and other classical stabilities (Lagrange, Poisson, (L^p, l^p), etc.) in control theory (93D05) Robust stability (93D09) Approximation by polynomials (41A10)
Related Items (21)
Computation and Verification of Lyapunov Functions ⋮ LMI stability conditions for uncertain rational nonlinear systems ⋮ A partial integral equation (PIE) representation of coupled linear PDEs and scalable stability analysis using LMIs ⋮ Monte Carlo with determinantal point processes ⋮ Construction of a CPA contraction metric for periodic orbits using semidefinite optimization ⋮ Stability analysis of discrete-time switched systems via multi-step multiple Lyapunov-like functions ⋮ Automatic Determination of Connected Sublevel Sets of CPA Lyapunov Functions ⋮ Subgradient algorithm for computing contraction metrics for equilibria ⋮ Density theorems with applications in quantum signal processing ⋮ A converse sum of squares Lyapunov function for outer approximation of minimal attractor sets of nonlinear systems ⋮ On the conservatism of the sum-of-squares method for analysis of time-delayed systems ⋮ A globally asymptotically stable polynomial vector field with rational coefficients and no local polynomial Lyapunov function ⋮ Construction of Lyapunov functions for nonlinear planar systems by linear programming ⋮ Robust nonlinear stability and performance analysis of an F/A‐18 aircraft model using sum of squares programming ⋮ Quantitative local L2‐gain and Reachability analysis for nonlinear systems ⋮ Guaranteed cost \(H_\infty \) controller synthesis for switched systems defined on semi-algebraic sets ⋮ Revised CPA method to compute Lyapunov functions for nonlinear systems ⋮ Sufficient and necessary conditions for discrete-time nonlinear switched systems with uniform local exponential stability ⋮ Converse theorems in Lyapunov’s second method and applications for fractional order systems ⋮ Review on computational methods for Lyapunov functions ⋮ Advances in computational Lyapunov analysis using sum-of-squares programming
This page was built for publication: Exponentially Stable Nonlinear Systems Have Polynomial Lyapunov Functions on Bounded Regions
