Local stability analysis using simulations and sum-of-squares programming
From MaRDI portal
Publication:1004144
DOI10.1016/j.automatica.2008.03.010zbMath1155.93417OpenAlexW2116586985MaRDI QIDQ1004144
Ufuk Topcu, Peter Seiler, Andrew K. Packard
Publication date: 2 March 2009
Published in: Automatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.automatica.2008.03.010
Related Items (33)
Arc length based maximal Lyapunov functions and domains of attraction estimation for polynomial nonlinear systems ⋮ Discovering Forward Invariant Sets for Nonlinear Dynamical Systems ⋮ LMI stability conditions for uncertain rational nonlinear systems ⋮ Exact asymptotic stability analysis and region-of-attraction estimation for nonlinear systems ⋮ Local stability analysis for large polynomial spline systems ⋮ Viability, viscosity, and storage functions in model-predictive control with terminal constraints ⋮ Lyapunov function computation for autonomous systems with complex dynamic behavior ⋮ Global stabilization of switched nonlinear systems with vanishing control vector fields and its application ⋮ Automatic Determination of Connected Sublevel Sets of CPA Lyapunov Functions ⋮ Counterexample-guided computation of polyhedral Lyapunov functions for piecewise linear systems ⋮ Successive estimations of bilateral bounds and trapping/stability regions of solution to some nonlinear nonautonomous systems ⋮ Estimating and enlarging the region of attraction of multi-equilibrium points system by state-dependent edge impulses ⋮ A novel moving orthonormal coordinate-based approach for region of attraction analysis of limit cycles ⋮ Learning dynamical systems using local stability priors ⋮ Data-driven asymptotic stabilization for discrete-time nonlinear systems ⋮ A computational approach to synthesizing guards for hybrid systems ⋮ Sum of squares approach for nonlinear \(\operatorname{H}_\infty\) control ⋮ Analysis of autocatalytic networks in biology ⋮ Deductive stability proofs for ordinary differential equations ⋮ Local stability analysis of continuous-time Takagi-Sugeno fuzzy systems: a fuzzy Lyapunov function approach ⋮ Estimating the region of attraction based on a polynomial Lyapunov function ⋮ Improved algorithm for computing the domain of attraction of rational nonlinear systems ⋮ Lyapunov based estimation of flight stability boundary under icing conditions ⋮ Safe nonlinear control design for input constrained polynomial systems using sum-of-squares programming ⋮ A robust fault detection filter for polynomial nonlinear systems via sum-of-squares decompositions ⋮ Application of sum of squares method in nonlinear \(H_ \infty\) control for satellite attitude maneuvers ⋮ Data driven stability analysis of black-box switched linear systems ⋮ Lyapunov based estimation of the basin of attraction of Poincaré maps with applications to limit cycle walking ⋮ Stability analysis of uncertain genetic sum regulatory networks ⋮ Numerically-aided deductive safety proof for a powertrain control system ⋮ Computational method for estimating the domain of attraction of discrete-time uncertain rational systems ⋮ Equivalence of sum of squares convex relaxations for quadratic distance problems ⋮ Notes on Recent Achievements in Proving Stability using KeYmaeraX
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Semidefinite programming relaxations for semialgebraic problems
- Randomized algorithms for analysis and control of uncertain systems. With a foreword by M. Vidyasagar
- Maximal Lyapunov functions and domains of attraction for autonomous nonlinear systems
- A computational method for determining quadratic Lyapunov functions for non-linear systems
- Stability regions of nonlinear dynamical systems: a constructive methodology
- On the estimation of asymptotic stability regions: State of the art and new proposals
- Using SeDuMi 1.02, A Matlab toolbox for optimization over symmetric cones
- LMI-based computation of optimal quadratic Lyapunov functions for odd polynomial systems
This page was built for publication: Local stability analysis using simulations and sum-of-squares programming
