Review on computational methods for Lyapunov functions
From MaRDI portal
Publication:258388
DOI10.3934/DCDSB.2015.20.2291zbMATH Open1337.37001OpenAlexW2115520718MaRDI QIDQ258388FDOQ258388
Authors: Peter Giesl, Sigurdur 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
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
- A new approach to the method of Lyapunov functionals and its applications
stabilitydynamical systemLyapunov functionnumerical methodbasin of attractioncontraction metricconverse theorem
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)
Cites Work
- Stability of dynamical systems: A constructive approach
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- Asymptotic stability regions via extensions of Zubov's method—I
- Computer generated Lyapunov functions for interconnected systems: Improved results with applications to power systems
- 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
- A Lyapunov-Like Characterization of Asymptotic Controllability
- On the estimation of asymptotic stability regions: State of the art and new proposals
- Title not available (Why is that?)
- Title not available (Why is that?)
- On Global Asymptotic Stability of Solutions of Differential Equations
- A novel formulation for integrating nonlinear kinematic hardening Drucker-Prager's yield condition
- Numerical determination of domains of attraction for electrical power systems using the method of Zubov
- Construction of a CPA contraction metric for periodic orbits using semidefinite optimization
- Stability analysis of interconnected systems using computer generated Lyapunov functions
- Title not available (Why is that?)
- Exact determination of a Lyapunov function and the asymptotic stability domain
- Areas of attraction for nonautonomous differential equations on finite time intervals
- Numerical determination of the basin of attraction for asymptotically autonomous dynamical systems
- Estimating the domain of attraction of nonlinear feedback systems
- Ultimate boundedness control for uncertain discrete-time systems via set-induced Lyapunov functions
- Title not available (Why is that?)
- Complete exact solution to the Lyapunov stability problem: time-varying nonlinear systems with differentiable motions
- Lyapunov function construction by linear programming
- 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
- Existence of piecewise linear Lyapunov functions in arbitrary dimensions
- A parametrization of piecewise linear Lyapunov functions via linear programming
- Dynamical systems which undergo switching
- Finding finite-time invariant manifolds in two-dimensional velocity fields
- Title not available (Why is that?)
- A numerical technique for the stability analysis of linear switched systems
- The Minkowski-Lyapunov equation for linear dynamics: theoretical foundations
- The basin of attraction of periodic orbits in nonsmooth differential equations
- Ordinary Differential Equations with Applications
- An infinite-time relaxation theorem for differential inclusions
- Converse theorems on contraction metrics for an equilibrium
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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
- 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
- The random case of Conley's theorem: III. Random semiflow case and Morse decomposition
- The random case of Conley's theorem
- Title not available (Why is that?)
- Vector Lyapunov Functions
- Title not available (Why is that?)
- Dynamical Systems with a Certain Local Contraction Property.
- Title not available (Why is that?)
- Title not available (Why is that?)
- On the stability of motion
- Set-theoretic methods in control
- Computation of Lyapunov functions for smooth nonlinear systems using convex optimization
- Lyapunov's second method for random dynamical systems.
- Stability theory of switched dynamical systems
- On finite-time hyperbolicity
- 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
- Contributions to stability theory
- Attractivity and bifurcation for nonautonomous dynamical systems
- Existence of piecewise affine Lyapunov functions in two dimensions
- Title not available (Why is that?)
- Title not available (Why is that?)
- Algorithm 432 [C2]: Solution of the matrix equation AX + XB = C [F4]
- Title not available (Why is that?)
- Markov Chains and Stochastic Stability
- Linear Matrix Inequalities in System and Control Theory
- A Survey of the S-Lemma
- Scattered Data Approximation
- Title not available (Why is that?)
- Constructions of strict Lyapunov functions
- Lyapunov functions that specify necessary and sufficient conditions of absolute stability of nonlinear nonstationary control systems. I
- Infinite-dimensional dynamical systems in mechanics and physics.
- Switching in systems and control
- A constructive converse Lyapunov theorem on exponential stability
- Piecewise linear control systems. A computational approach
- Convergent systems vs. incremental stability
- Revised CPA method to compute Lyapunov functions for nonlinear systems
- An algorithmic approach to chain recurrence
- Computation of local ISS Lyapunov functions for discrete-time systems via linear programming
- Computation of Lyapunov functions for systems with multiple local attractors
- Computation of local ISS Lyapunov functions with low gains via linear programming
- On Liapounoff's conditions of stability
- 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 Differential Lyapunov Framework for Contraction Analysis
- Stability of gradient semigroups under perturbations
- Providing a Basin of Attraction to a Target Region of Polynomial Systems by Computation of Lyapunov-Like Functions
- Nonautonomous dynamical systems
- Title not available (Why is that?)
- Lyapunov function construction for ordinary differential equations with linear programming
- Title not available (Why is that?)
- Hybrid dynamical systems. Modeling, stability, and robustness
- On the determination of the basin of attraction of discrete dynamical systems
- Constructive stability and asymptotic stability of dynamical systems
- A compendium of comparison function results
- Title not available (Why is that?)
- ISS-Lyapunov functions for time-varying hyperbolic systems of balance laws
- Attractors for infinite-dimensional non-autonomous dynamical systems
- Lyapunov functions and attractors in arbitrary metric spaces
- Title not available (Why is that?)
- A smooth Lyapunov function from a class-${\mathcal{KL}}$ estimate involving two positive semidefinite functions
- New characterizations of input-to-state stability
- Smooth stabilization implies coprime factorization
- Title not available (Why is that?)
- A Lyapunov approach to incremental stability properties
- Title not available (Why is that?)
- An algorithm for constructing Lyapunov functions
- Stability Criteria for Switched and Hybrid Systems
- A constructive converse Lyapunov theorem on asymptotic stability for nonlinear autonomous ordinary differential equations
- Metric Properties of Differential Equations
- Stochastic stability of differential equations. With contributions by G. N. Milstein and M. B. Nevelson
- On characterizations of the input-to-state stability property
- Linear programming based Lyapunov function computation for differential inclusions
- Lyapunov-based stability analysis automated by genetic programming
- 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
- 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
- Necessary conditions for a limit cycle and its basin of attraction.
- Asymptotic behavior of dynamical and control systems under perturbation and discretization
- 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
- 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
- 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
- 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
- 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
- Nonlinear systems
- Lie-algebraic stability criteria for switched systems
- Introduction to the theory of infinite-dimensional dissipative systems. Transl. from the Russian by Constantin I. Chueshov, edited by Maryna B. Khorolska
- A regularization of Zubov’s equation for robust domains of attraction
- Large-scale dynamic systems. Stability and structure
- Computation of Lyapunov functions for nonlinear discrete time systems by linear programming
- On infinity norms as Lyapunov functions for piecewise affine systems
- Simulation-guided lyapunov analysis for hybrid dynamical systems
- Title not available (Why is that?)
Cited In (57)
- Learning Lyapunov terminal costs from data for complexity reduction in nonlinear model predictive control
- Construction of contraction metrics for discrete-time dynamical systems using meshfree collocation
- Linear programming based lower bounds on average dwell-time via multiple Lyapunov functions
- Contraction metric computation using numerical integration and quadrature
- Effective estimation of trapping/stability regions and bilateral solutions' bounds for some multidimensional nonlinear systems with time-varying coefficients
- Approximation of Lyapunov functions from noisy data
- 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
- Learning dynamical systems using local stability priors
- Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers
- On the construction of Lyapunov functions with computer assistance
- Construction of Lyapunov functions using Helmholtz-Hodge decomposition
- Minkowski-Lyapunov functions: alternative characterization and implicit representation
- Automatic Determination of Connected Sublevel Sets of CPA Lyapunov Functions
- Uniform stability of homogeneous time-varying systems
- Expansivity implies existence of Hölder continuous Lyapunov function
- Kernel-Based Discretization for Solving Matrix-Valued PDEs
- Low-rank kernel approximation of Lyapunov functions using neural networks
- A kernel-based discretisation method for first order partial differential equations
- Generalization of a stability domain estimation method for nonlinear discrete systems
- A Lie transform approach to the construction of Lyapunov functions in autonomous and non-autonomous systems
- Control Minkowski-Lyapunov functions
- Successive estimations of bilateral bounds and trapping/stability regions of solution to some nonlinear nonautonomous systems
- Probabilistic basin of attraction and its estimation using two Lyapunov functions
- Timing of transients: quantifying reaching times and transient behavior in complex systems
- Polarity of stability and robust positive invariance
- Synthesizing Robust Domains of Attraction for State-Constrained Perturbed Polynomial Systems
- Computing Lyapunov functions using deep neural networks
- Introducing some classes of stable systems without any smooth Lyapunov functions
- The Minkowski-Lyapunov equation
- Bounding the first exit from the basin: Independence times and finite-time basin stability
- Computing continuous and piecewise affine Lyapunov functions for nonlinear systems
- Boundedness of a Class of Spatially Discrete Reaction-Diffusion Systems
- Homogeneous Lyapunov Functions: From Converse Design to Numerical Implementation
- Sufficient conditions for forward invariance and contractivity in hybrid inclusions using barrier functions
- Lyapunov function computation for autonomous linear stochastic differential equations using sum-of-squares programming
- Converging outer approximations to global attractors using semidefinite programming
- Modified refinement algorithm to construct Lyapunov functions using meshless collocation
- System specific triangulations for the construction of CPA Lyapunov functions
- What is the most suitable Lyapunov function?
- Computation of Lyapunov functions for nonautonomous systems on finite time-intervals by linear programming
- An alternative approach for stability analysis of discrete time nonlinear dynamical systems
- A new class of strict Lyapunov functions for nonlinear time-varying systems
- Energy function for some maps and nonlinear oscillators
- Uniform exponential stability criteria with verification for nonautonomous switched nonlinear systems with uncertainty
- Computational Approach for Complete Lyapunov Functions
- Computation and Verification of Lyapunov Functions
- Automated Nonlinear Control Structure Design by Domain of Attraction Maximization with Eigenvalue and Frequency Domain Specifications
- Optimal dichotomy of temporal scales and boundedness/stability of time-varying multidimensional nonlinear systems
- Robust control Minkowski-Lyapunov functions
- Review on contraction analysis and computation of contraction metrics
- Fast basin stability estimation for dynamic systems under large perturbations with sequential support vector machine
- Subgradient algorithm for computing contraction metrics for equilibria
- Mathematical modeling and optimal control of corruption dynamics
- Optimisation and asymptotic stability
- Determination of the basin of attraction of a periodic orbit in two dimensions using meshless collocation
Uses Software
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)
