Review on computational methods for Lyapunov functions
From MaRDI portal
basin of attractioncontraction metricconverse theoremdynamical systemLyapunov functionnumerical methodstability
Asymptotic properties of solutions to ordinary differential equations (34D05) Stability of solutions to ordinary differential equations (34D20) Attractors of solutions to ordinary differential equations (34D45) Research exposition (monographs, survey articles) pertaining to dynamical systems and ergodic theory (37-02) Stability of topological dynamical systems (37B25) Stability theory for smooth dynamical systems (37C75) Approximation methods and numerical treatment of dynamical systems (37M99)
In 1892 Lyapunov published his doctoral dissertation in which he introduced a sufficient condition for the stability of a nonlinear system, namely, the existence of a positive definite function decreasing along the solution trajectories. These functions are now known as Lyapunov functions. This review paper is divided in two parts, the first discussing different Lyapunov and Lyapunov-type functions for various types of systems, and the second discussing numerical methods for computing Lyapunov functions. Besides finite-dimensional systems of ordinary differential equations, Lyapunov functions have been developed for discrete-time systems (maps), PDEs, non-autonomous systems of ODEs, switched systems, delay differential equations, control systems and random dynamical systems, among others. Generalisations of Lyapunov functions include non-smooth Lyapunov functions, and vector, matrix and multiple Lyapunov functions.NEWLINENEWLINENEWLINENumerical methods used to compute Lyapunov functions include collocation, linear programming, linear matrix inequalities, algebraic methods and graph theoretic methods. In this review the authors bring together these different methods and describe the state of the art for the vast variety of methods to compute Lyapunov functions for various kinds of systems.
Recommendations
- Computational methods for Lyapunov functions
- Computational Approach for Complete Lyapunov Functions
- Computation and verification of Lyapunov functions
- On the construction of Lyapunov functions with computer assistance
- A numerical method for constructing Lyapunov functions and computer-aided analysis of stability of nonlinear dynamic systems
- Computer generated Lyapunov functions for a class of nonlinear systems
- scientific article; zbMATH DE number 3925309
- Computing complete Lyapunov functions for discrete-time dynamical systems
- scientific article; zbMATH DE number 67735
- A new approach to the method of Lyapunov functionals and its applications
Cites work
- A compendium of comparison function results
- A computational approach for studying domains of attraction for nonlinear systems
- A computational method for determining quadratic Lyapunov functions for non-linear systems
- A constructive converse Lyapunov theorem on asymptotic stability for nonlinear autonomous ordinary differential equations
- A constructive converse Lyapunov theorem on exponential stability
- A converse Lyapunov theorem for strong global recurrence
- A Converse Sum of Squares Lyapunov Result With a Degree Bound
- A definition of spectrum for differential equations on finite time
- A Differential Lyapunov Framework for Contraction Analysis
- A generalization of Zubov's method to perturbed systems
- A linear programming oriented procedure for quadratic stabilization of uncertain systems
- A Lyapunov approach to incremental stability properties
- A Lyapunov-Like Characterization of Asymptotic Controllability
- A Matrosov theorem for strong global recurrence
- A new Lyapunov design approach for nonlinear systems based on Zubov's method
- A novel formulation for integrating nonlinear kinematic hardening Drucker-Prager's yield condition
- A numerical technique for the stability analysis of linear switched systems
- A parametrization of piecewise linear Lyapunov functions via linear programming
- A regularization of Zubov’s equation for robust domains of attraction
- A Smooth Converse Lyapunov Theorem for Robust Stability
- A smooth Lyapunov function from a class-${\mathcal{KL}}$ estimate involving two positive semidefinite functions
- A stochastic approach for computing the domain of attraction without trajectory simulation
- A Strict Lyapunov Function for Boundary Control of Hyperbolic Systems of Conservation Laws
- A Survey of the S-Lemma
- Advances in computational Lyapunov analysis using sum-of-squares programming
- Algorithm 432 [C2]: Solution of the matrix equation AX + XB = C [F4]
- An algorithm for constructing Lyapunov functions
- An algorithmic approach to chain recurrence
- An alternative converse Lyapunov theorem for discrete-time systems
- An infinite-time relaxation theorem for differential inclusions
- An intrinsic observer for a class of lagrangian systems
- Analysis of stability problems via matrix Lyapunov functions
- Approximating the basin of attraction of time-periodic ODEs by meshless collocation
- Areas of attraction for nonautonomous differential equations on finite time intervals
- Asymptotic behavior of dynamical and control systems under perturbation and discretization
- Asymptotic stability and smooth Lyapunov functions
- Asymptotic stability regions via extensions of Zubov's method—I
- Attractivity and bifurcation for nonautonomous dynamical systems
- Attractors for infinite-dimensional non-autonomous dynamical systems
- Cell-to-cell mapping. A method of global analysis for nonlinear systems
- Classical converse theorems in Lyapunov's second method
- Complete exact solution to the Lyapunov stability problem: time-varying nonlinear systems with differentiable motions
- Composite quadratic Lyapunov functions for constrained control systems
- Computation of local ISS Lyapunov functions for discrete-time systems via linear programming
- Computation of local ISS Lyapunov functions with low gains via linear programming
- Computation of Lyapunov functions for nonlinear discrete time systems by linear programming
- Computation of Lyapunov functions for smooth nonlinear systems using convex optimization
- Computation of Lyapunov functions for systems with multiple local attractors
- Computation of piecewise quadratic Lyapunov functions for hybrid systems
- Computer generated Lyapunov functions for interconnected systems: Improved results with applications to power systems
- Conjugate Convex Lyapunov Functions for Dual Linear Differential Inclusions
- Construction of a CPA contraction metric for periodic orbits using semidefinite optimization
- Construction of a finite-time Lyapunov function by meshless collocation
- Construction of a local and global Lyapunov function using radial basis functions
- Construction of Liapunov functions
- Constructions of strict Lyapunov functions
- Constructive stability and asymptotic stability of dynamical systems
- Contributions to stability theory
- Control Lyapunov Functions and Zubov's Method
- Convergent systems vs. incremental stability
- Converse theorems on contraction metrics for an equilibrium
- Criteria of asymptotic stability of differential and difference inclusions encountered in control theory
- Discontinuous piecewise quadratic Lyapunov functions for planar piecewise affine systems
- Discovering polynomial Lyapunov functions for continuous dynamical systems
- Dynamical systems which undergo switching
- Dynamical Systems with a Certain Local Contraction Property.
- Dynamical systems: Stability theory and applications
- Efficient computation of Lyapunov functions for Morse decompositions
- Estimating the domain of attraction of nonlinear feedback systems
- Exact determination of a Lyapunov function and the asymptotic stability domain
- Existence of complete Lyapunov functions for semiflows on separable metric spaces
- Existence of piecewise affine Lyapunov functions in two dimensions
- Existence of piecewise linear Lyapunov functions in arbitrary dimensions
- Exponential Stability and Transfer Functions of Processes Governed by Symmetric Hyperbolic Systems
- Exponentially Stable Nonlinear Systems Have Polynomial Lyapunov Functions on Bounded Regions
- Finding finite-time invariant manifolds in two-dimensional velocity fields
- Grid refinement in the construction of Lyapunov functions using radial basis functions
- scientific article; zbMATH DE number 2186970 (Why is no real title available?)
- scientific article; zbMATH DE number 412251 (Why is no real title available?)
- scientific article; zbMATH DE number 432503 (Why is no real title available?)
- scientific article; zbMATH DE number 5804221 (Why is no real title available?)
- scientific article; zbMATH DE number 3148621 (Why is no real title available?)
- scientific article; zbMATH DE number 3910780 (Why is no real title available?)
- scientific article; zbMATH DE number 3177889 (Why is no real title available?)
- scientific article; zbMATH DE number 49724 (Why is no real title available?)
- scientific article; zbMATH DE number 3616736 (Why is no real title available?)
- scientific article; zbMATH DE number 610130 (Why is no real title available?)
- scientific article; zbMATH DE number 1182386 (Why is no real title available?)
- scientific article; zbMATH DE number 3438157 (Why is no real title available?)
- scientific article; zbMATH DE number 1552394 (Why is no real title available?)
- scientific article; zbMATH DE number 1779223 (Why is no real title available?)
- scientific article; zbMATH DE number 1787316 (Why is no real title available?)
- scientific article; zbMATH DE number 2107836 (Why is no real title available?)
- scientific article; zbMATH DE number 781861 (Why is no real title available?)
- scientific article; zbMATH DE number 823543 (Why is no real title available?)
- scientific article; zbMATH DE number 851253 (Why is no real title available?)
- scientific article; zbMATH DE number 3204015 (Why is no real title available?)
- scientific article; zbMATH DE number 3232230 (Why is no real title available?)
- scientific article; zbMATH DE number 3272440 (Why is no real title available?)
- scientific article; zbMATH DE number 3302557 (Why is no real title available?)
- scientific article; zbMATH DE number 3187828 (Why is no real title available?)
- Hybrid dynamical systems. Modeling, stability, and robustness
- Infinite-dimensional dynamical systems in mechanics and physics.
- Introduction to the theory of infinite-dimensional dissipative systems. Transl. from the Russian by Constantin I. Chueshov, edited by Maryna B. Khorolska
- ISS-Lyapunov functions for time-varying hyperbolic systems of balance laws
- Large-scale dynamic systems. Stability and structure
- Liapunov functions derived from auxiliary exact differential equations
- Lie-algebraic stability criteria for switched systems
- Linear Matrix Inequalities in System and Control Theory
- Linear programming based Lyapunov function computation for differential inclusions
- LMI Techniques for Optimization Over Polynomials in Control: A Survey
- Lyapunov function construction by linear programming
- Lyapunov function construction for ordinary differential equations with linear programming
- Lyapunov functions and attractors in arbitrary metric spaces
- Lyapunov functions that specify necessary and sufficient conditions of absolute stability of nonlinear nonstationary control systems. I
- Lyapunov's second method for nonautonomous differential equations
- Lyapunov's second method for random dynamical systems.
- Lyapunov-based stability analysis automated by genetic programming
- Markov Chains and Stochastic Stability
- Maximal Lyapunov functions and domains of attraction for autonomous nonlinear systems
- Meshless Collocation: Error Estimates with Application to Dynamical Systems
- Metric Properties of Differential Equations
- Morse decompositions of nonautonomous dynamical systems
- Multiple Lyapunov functions and other analysis tools for switched and hybrid systems
- Necessary conditions for a limit cycle and its basin of attraction.
- New characterizations of input-to-state stability
- Non-autonomous Morse decomposition and Lyapunov functions for gradient-like processes
- Nonautonomous dynamical systems
- Nonlinear systems
- Nonquadratic Lyapunov functions for robust control
- Numerical determination of domains of attraction for electrical power systems using the method of Zubov
- Numerical determination of the basin of attraction for asymptotically autonomous dynamical systems
- On absolute stability analysis by polyhedral Lyapunov functions
- On characterizations of the input-to-state stability property
- On contraction analysis for non-linear systems
- On finite-time hyperbolicity
- On Global Asymptotic Stability of Solutions of Differential Equations
- On infinity norms as Lyapunov functions for piecewise affine systems
- On Liapounoff's conditions of stability
- On the determination of the basin of attraction of discrete dynamical systems
- On the determination of the basin of attraction of periodic orbits in three- and higher-dimensional systems
- On the estimation of asymptotic stability regions: State of the art and new proposals
- On the stability of motion
- Optimization of Lyapunov Invariants in Verification of Software Systems
- Ordinary Differential Equations with Applications
- Piecewise linear control systems. A computational approach
- Polynomial optimization with applications to stability analysis and control -- alternatives to sum of squares
- Providing a Basin of Attraction to a Target Region of Polynomial Systems by Computation of Lyapunov-Like Functions
- Radial Basis Functions
- Random dynamical systems
- Reducing the conservatism of LMI-based stabilisation conditions for TS fuzzy systems using fuzzy Lyapunov functions
- Revised CPA method to compute Lyapunov functions for nonlinear systems
- Scattered Data Approximation
- Set-theoretic methods in control
- Simulation-guided Lyapunov analysis for hybrid dynamical systems
- Smooth stabilization implies coprime factorization
- Stability analysis of complex dynamical systems. Some computational methods
- 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
- Stability analysis of interconnected systems using computer generated Lyapunov functions
- Stability analysis of nonlinear systems with linear programming: a Lyapunov functions based approach
- Stability and robustness analysis of nonlinear systems via contraction metrics and SOS programming
- Stability Criteria for Switched and Hybrid Systems
- Stability of dynamical systems. Continuous, discontinuous, and discrete systems
- Stability of dynamical systems: A constructive approach
- Stability of gradient semigroups under perturbations
- Stability theory of switched dynamical systems
- Stochastic stability of differential equations. With contributions by G. N. Milstein and M. B. Nevelson
- Switching in systems and control
- The basin of attraction of periodic orbits in nonsmooth differential equations
- The Minkowski-Lyapunov equation for linear dynamics: theoretical foundations
- The random case of Conley's theorem
- The random case of Conley's theorem: II. The complete Lyapunov function
- The random case of Conley's theorem: III. Random semiflow case and Morse decomposition
- Time-delay systems. Lyapunov functionals and matrices
- Transverse contraction criteria for existence, stability, and robustness of a limit cycle
- Ultimate boundedness control for uncertain discrete-time systems via set-induced Lyapunov functions
- Vector Lyapunov Functions
Cited in
(73)- Lyapunov function computation for autonomous linear stochastic differential equations using sum-of-squares programming
- Construction of Lyapunov functions using Helmholtz-Hodge decomposition
- Probabilistic basin of attraction and its estimation using two Lyapunov functions
- Control Minkowski-Lyapunov functions
- 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
- Minkowski-Lyapunov functions: alternative characterization and implicit representation
- What is the most suitable Lyapunov function?
- Polarity of stability and robust positive invariance
- Approximation of Lyapunov functions from noisy data
- A new class of strict Lyapunov functions for nonlinear time-varying systems
- Expansivity implies existence of Hölder continuous Lyapunov function
- The Minkowski-Lyapunov equation
- Computation of Lyapunov functions for systems with multiple local attractors
- Classical converse theorems in Lyapunov's second method
- Grid refinement in the construction of Lyapunov functions using radial basis functions
- Computational methods for Lyapunov functions
- 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
- Optimal dichotomy of temporal scales and boundedness/stability of time-varying multidimensional nonlinear systems
- 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
- Computing continuous and piecewise affine Lyapunov functions for nonlinear systems
- Computational Approach for Complete Lyapunov Functions
- Computation of Lyapunov functions for nonautonomous systems on finite time-intervals by linear programming
- Computation and verification of Lyapunov functions
- 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
- A kernel-based discretisation method for first order partial differential equations
- Homogeneous Lyapunov Functions: From Converse Design to Numerical Implementation
- Boundedness of a class of spatially discrete reaction-diffusion systems
- Automated and sound synthesis of Lyapunov functions with SMT solvers
- Automated Nonlinear Control Structure Design by Domain of Attraction Maximization with Eigenvalue and Frequency Domain Specifications
- Automatic determination of connected sublevel sets of CPA Lyapunov functions
- On the construction of Lyapunov functions with computer assistance
- A Lie transform approach to the construction of Lyapunov functions in autonomous and non-autonomous systems
- Determination of the basin of attraction of a periodic orbit in two dimensions using meshless collocation
- An alternative approach for stability analysis of discrete time nonlinear dynamical systems
- Uniform stability of homogeneous time-varying systems
- Synthesizing robust domains of attraction for state-constrained perturbed polynomial systems
- 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
- Effective estimation of trapping/stability regions and bilateral solutions' bounds for some multidimensional nonlinear systems with time-varying coefficients
- 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
- Contraction metric computation using numerical integration and quadrature
- Learning Lyapunov terminal costs from data for complexity reduction in nonlinear model predictive control
- Design and stability analysis of impulsive control fractional neural network models in industrial products emotion recognition
- Data-driven stability and optimality certificates for hybrid dynamical systems
- Robust neural Lyapunov control for nonlinear systems with quadratically bounded disturbances
- Thresholding in set-membership approaches to fault isolation using the Minkowski functional
- Reducing real-time complexity via sub-control Lyapunov functions: from theory to experiments
- Certifying Lyapunov stability of black-box nonlinear systems via counterexample guided synthesis
- CPA Lyapunov functions for time-periodic systems in one spatial dimension
- The stability of the multivariate geometric Brownian motion as a bilinear matrix inequality problem
- LyZNet: a lightweight Python tool for learning and verifying neural Lyapunov functions and regions of attraction
- A data-driven approach for certifying asymptotic stability and cost evaluation for hybrid systems
- Computer-assisted proofs for Lyapunov stability via sums of squares certificates and constructive analysis
- Physics-informed neural network Lyapunov functions: PDE characterization, learning, and verification
- Control Lyapunov function design via configuration-constrained polyhedral computing
- Generalization of a stability domain estimation method for nonlinear discrete systems
- Extensions of \(\mathcal{KL}\) and Lyapunov functions for discrete-time dynamical system peak analysis
- Sparse decompositions of nonlinear dynamical systems and applications to moment-sum-of-squares relaxations
This page was built for publication: Review on computational methods for Lyapunov functions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q258388)
