Review on computational methods for Lyapunov functions

DOI10.3934/dcdsb.2015.20.2291zbMath1337.37001OpenAlexW2115520718MaRDI QIDQ258388

Peter Giesl, Sigurður Freyr Hafstein

Publication date: 10 March 2016

Published in: Discrete and Continuous Dynamical Systems. Series B (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3934/dcdsb.2015.20.2291

zbMATH Keywords

stabilitynumerical methodLyapunov functionbasin of attractiondynamical systemconverse theoremcontraction metric

Mathematics Subject Classification ID

Stability of topological dynamical systems (37B25) Stability of solutions to ordinary differential equations (34D20) Asymptotic properties of solutions to ordinary differential equations (34D05) Attractors of solutions to ordinary differential equations (34D45) Stability theory for smooth dynamical systems (37C75) Approximation methods and numerical treatment of dynamical systems (37M99) Research exposition (monographs, survey articles) pertaining to dynamical systems and ergodic theory (37-02)

Related Items

Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers, Expansivity implies existence of Hölder continuous Lyapunov function, Computation and Verification of Lyapunov Functions, The Minkowski-Lyapunov equation, Automated Nonlinear Control Structure Design by Domain of Attraction Maximization with Eigenvalue and Frequency Domain Specifications, What is the most suitable Lyapunov function?, Computing continuous and piecewise affine Lyapunov functions for nonlinear systems, Computation of Lyapunov functions for nonautonomous systems on finite time-intervals by linear programming, Kernel-Based Discretization for Solving Matrix-Valued PDEs, Optimisation and asymptotic stability, Mathematical modeling and optimal control of corruption dynamics, Bounding the first exit from the basin: Independence times and finite-time basin stability, Lyapunov function computation for autonomous linear stochastic differential equations using sum-of-squares programming, Sufficient conditions for forward invariance and contractivity in hybrid inclusions using barrier functions, Robust control Minkowski-Lyapunov functions, Converging outer approximations to global attractors using semidefinite programming, Polarity of stability and robust positive invariance, Introducing some classes of stable systems without any smooth Lyapunov functions, Uniform exponential stability criteria with verification for nonautonomous switched nonlinear systems with uncertainty, Energy function for some maps and nonlinear oscillators, Linear programming based lower bounds on average dwell-time via multiple Lyapunov functions, Approximation of Lyapunov functions from noisy data, Optimal dichotomy of temporal scales and boundedness/stability of time-varying multidimensional nonlinear systems, Effective estimation of trapping/stability regions and bilateral solutions' bounds for some multidimensional nonlinear systems with time-varying coefficients, Automatic Determination of Connected Sublevel Sets of CPA Lyapunov Functions, Successive estimations of bilateral bounds and trapping/stability regions of solution to some nonlinear nonautonomous systems, Subgradient algorithm for computing contraction metrics for equilibria, Timing of transients: quantifying reaching times and transient behavior in complex systems, Construction of contraction metrics for discrete-time dynamical systems using meshfree collocation, Review on contraction analysis and computation of contraction metrics, Modified refinement algorithm to construct Lyapunov functions using meshless collocation, Low-rank kernel approximation of Lyapunov functions using neural networks, Learning dynamical systems using local stability priors, An alternative approach for stability analysis of discrete time nonlinear dynamical systems, Construction of Lyapunov functions using Helmholtz-Hodge decomposition, A kernel-based discretisation method for first order partial differential equations, On the construction of Lyapunov functions with computer assistance, Determination of the basin of attraction of a periodic orbit in two dimensions using meshless collocation, Control Minkowski-Lyapunov functions, A Lie transform approach to the construction of Lyapunov functions in autonomous and non-autonomous systems, Homogeneous Lyapunov Functions: From Converse Design to Numerical Implementation, Generalization of a stability domain estimation method for nonlinear discrete systems, Probabilistic basin of attraction and its estimation using two Lyapunov functions, A new class of strict Lyapunov functions for nonlinear time-varying systems, Boundedness of a Class of Spatially Discrete Reaction-Diffusion Systems, Computing Lyapunov functions using deep neural networks, System specific triangulations for the construction of CPA Lyapunov functions, Fast basin stability estimation for dynamic systems under large perturbations with sequential support vector machine, Uniform stability of homogeneous time-varying systems, Synthesizing Robust Domains of Attraction for State-Constrained Perturbed Polynomial Systems, Minkowski-Lyapunov functions: alternative characterization and implicit representation, Classical converse theorems in Lyapunov's second method, Grid refinement in the construction of Lyapunov functions using radial basis functions

Uses Software

• Matlab
• Sostools
• GAIO

Cites Work

• Meshless Collocation: Error Estimates with Application to Dynamical Systems
• Construction of a local and global Lyapunov function using radial basis functions
• The random case of Conley's theorem: II. The complete Lyapunov function
• Control Lyapunov Functions and Zubov's Method
• Markov Chains and Stochastic Stability
• A Lyapunov-Like Characterization of Asymptotic Controllability
• On the estimation of asymptotic stability regions: State of the art and new proposals
• On Global Asymptotic Stability of Solutions of Differential Equations
• Constructive stability and asymptotic stability of dynamical systems
• Numerical determination of domains of attraction for electrical power systems using the method of Zubov
• Stability analysis of interconnected systems using computer generated Lyapunov functions
• Exact determination of a Lyapunov function and the asymptotic stability domain
• Estimating the domain of attraction of nonlinear feedback systems
• Ultimate boundedness control for uncertain discrete-time systems via set-induced Lyapunov functions
• Complete exact solution to the Lyapunov stability problem: time-varying nonlinear systems with differentiable motions
• Linear Matrix Inequalities in System and Control Theory
• Lyapunov function construction by linear programming
• Lyapunov functions and attractors in arbitrary metric spaces
• Multiple Lyapunov functions and other analysis tools for switched and hybrid systems
• Computation of piecewise quadratic Lyapunov functions for hybrid systems
• Exponential Stability and Transfer Functions of Processes Governed by Symmetric Hyperbolic Systems
• Radial Basis Functions
• A parametrization of piecewise linear Lyapunov functions via linear programming
• A smooth Lyapunov function from a class-${\mathcal{KL}}$ estimate involving two positive semidefinite functions
• Dynamical systems which undergo switching
• Finding finite-time invariant manifolds in two-dimensional velocity fields
• A numerical technique for the stability analysis of linear switched systems
• The basin of attraction of periodic orbits in nonsmooth differential equations
• Ordinary Differential Equations with Applications
• New characterizations of input-to-state stability
• Smooth stabilization implies coprime factorization
• An infinite-time relaxation theorem for differential inclusions
• A Smooth Converse Lyapunov Theorem for Robust Stability
• Exponentially Stable Nonlinear Systems Have Polynomial Lyapunov Functions on Bounded Regions
• LMI Techniques for Optimization Over Polynomials in Control: A Survey
• Reducing the conservatism of LMI-based stabilisation conditions for TS fuzzy systems using fuzzy Lyapunov functions
• An intrinsic observer for a class of lagrangian systems
• Composite quadratic Lyapunov functions for constrained control systems
• A Lyapunov approach to incremental stability properties
• Conjugate Convex Lyapunov Functions for Dual Linear Differential Inclusions
• A Strict Lyapunov Function for Boundary Control of Hyperbolic Systems of Conservation Laws
• Morse decompositions of nonautonomous dynamical systems
• A Converse Sum of Squares Lyapunov Result With a Degree Bound
• Optimization of Lyapunov Invariants in Verification of Software Systems
• Algorithm 432 [C2: Solution of the matrix equation AX + XB = C [F4]]
• Stability Criteria for Switched and Hybrid Systems
• The random case of Conley's theorem: III. Random semiflow case and Morse decomposition
• The random case of Conley's theorem
• Vector Lyapunov Functions
• Dynamical Systems with a Certain Local Contraction Property.
• A constructive converse Lyapunov theorem on asymptotic stability for nonlinear autonomous ordinary differential equations
• On the stability of motion
• A Survey of the S-Lemma
• Metric Properties of Differential Equations
• Scattered Data Approximation
• Set-theoretic methods in control
• Computation of Lyapunov functions for smooth nonlinear systems using convex optimization
• Lyapunov's second method for random dynamical systems.
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Computation of local ISS Lyapunov functions for discrete-time systems via linear programming
• Computation of Lyapunov functions for systems with multiple local attractors
• Classical converse theorems in Lyapunov's second method
• Advances in computational Lyapunov analysis using sum-of-squares programming
• Polynomial optimization with applications to stability analysis and control -- alternatives to sum of squares
• Efficient computation of Lyapunov functions for Morse decompositions
• Grid refinement in the construction of Lyapunov functions using radial basis functions
• Computation of local ISS Lyapunov functions with low gains via linear programming
• A novel formulation for integrating nonlinear kinematic hardening Drucker-Prager's yield condition
• Construction of a CPA contraction metric for periodic orbits using semidefinite optimization
• A compendium of comparison function results
• Areas of attraction for nonautonomous differential equations on finite time intervals
• Numerical determination of the basin of attraction for asymptotically autonomous dynamical systems
• ISS-Lyapunov functions for time-varying hyperbolic systems of balance laws
• Attractors for infinite-dimensional non-autonomous dynamical systems
• Existence of piecewise linear Lyapunov functions in arbitrary dimensions
• The Minkowski-Lyapunov equation for linear dynamics: theoretical foundations
• Converse theorems on contraction metrics for an equilibrium
• Stability theory of switched dynamical systems
• Stochastic stability of differential equations. With contributions by G. N. Milstein and M. B. Nevelson
• On finite-time hyperbolicity
• On characterizations of the input-to-state stability property
• Construction of a finite-time Lyapunov function by meshless collocation
• Time-delay systems. Lyapunov functionals and matrices
• Analysis of stability problems via matrix Lyapunov functions
• Linear programming based Lyapunov function computation for differential inclusions
• Contributions to stability theory
• Attractivity and bifurcation for nonautonomous dynamical systems
• Existence of piecewise affine Lyapunov functions in two dimensions
• Lyapunov-based stability analysis automated by genetic programming
• Constructions of strict Lyapunov functions
• On the determination of the basin of attraction of periodic orbits in three- and higher-dimensional systems
• Approximating the basin of attraction of time-periodic ODEs by meshless collocation
• Lyapunov functions that specify necessary and sufficient conditions of absolute stability of nonlinear nonstationary control systems. I
• Cell-to-cell mapping. A method of global analysis for nonlinear systems
• A computational approach for studying domains of attraction for nonlinear systems
• A linear programming oriented procedure for quadratic stabilization of uncertain systems
• Stability analysis of complex dynamical systems. Some computational methods
• Construction of Liapunov functions
• Asymptotic stability and smooth Lyapunov functions
• On contraction analysis for non-linear systems
• Random dynamical systems
• Infinite-dimensional dynamical systems in mechanics and physics.
• Switching in systems and control
• Necessary conditions for a limit cycle and its basin of attraction.
• A constructive converse Lyapunov theorem on exponential stability
• Asymptotic behavior of dynamical and control systems under perturbation and discretization
• Piecewise linear control systems. A computational approach
• Criteria of asymptotic stability of differential and difference inclusions encountered in control theory
• A new Lyapunov design approach for nonlinear systems based on Zubov's method
• Nonquadratic Lyapunov functions for robust control
• Discontinuous piecewise quadratic Lyapunov functions for planar piecewise affine systems
• Convergent systems vs. incremental stability
• On absolute stability analysis by polyhedral Lyapunov functions
• An alternative converse Lyapunov theorem for discrete-time systems
• A stochastic approach for computing the domain of attraction without trajectory simulation
• Revised CPA method to compute Lyapunov functions for nonlinear systems
• Maximal Lyapunov functions and domains of attraction for autonomous nonlinear systems
• A converse Lyapunov theorem for strong global recurrence
• A Matrosov theorem for strong global recurrence
• Stability of dynamical systems. Continuous, discontinuous, and discrete systems
• A definition of spectrum for differential equations on finite time
• Discovering polynomial Lyapunov functions for continuous dynamical systems
• Transverse contraction criteria for existence, stability, and robustness of a limit cycle
• Stability and robustness analysis of nonlinear systems via contraction metrics and SOS programming
• Lyapunov's second method for nonautonomous differential equations
• An algorithmic approach to chain recurrence
• Dynamical systems: Stability theory and applications
• Liapunov functions derived from auxiliary exact differential equations
• A computational method for determining quadratic Lyapunov functions for non-linear systems
• On Liapounoff's conditions of stability
• Lie-Algebraic Stability Criteria for Switched Systems
• A Generalization of Zubov's Method to Perturbed Systems
• Non-autonomous Morse-decomposition and Lyapunov functions for gradient-like processes
• Existence of complete Lyapunov functions for semiflows on separable metric spaces
• A regularization of Zubov’s equation for robust domains of attraction
• Computation of Lyapunov functions for nonlinear discrete time systems by linear programming
• A Differential Lyapunov Framework for Contraction Analysis
• On infinity norms as Lyapunov functions for piecewise affine systems
• Simulation-guided lyapunov analysis for hybrid dynamical systems
• Stability of gradient semigroups under perturbations
• Stability of dynamical systems: A constructive approach
• Providing a Basin of Attraction to a Target Region of Polynomial Systems by Computation of Lyapunov-Like Functions
• Lyapunov function construction for ordinary differential equations with linear programming
• Stability analysis of fixed- point digital filters using computer generated Lyapunov functions- Part I: Direct form and coupled form filters
• Stability analysis of fixed- point digital filters using computer generated Lyapunov functions- Part II: Wave digital filters and lattice digital filters
• Asymptotic stability regions via extensions of Zubov's method—I
• Computer generated Lyapunov functions for interconnected systems: Improved results with applications to power systems
• On the determination of the basin of attraction of discrete dynamical systems