Review on computational methods for Lyapunov functions
From MaRDI portal
(Redirected from Publication:258388)
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)
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
- 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?)
- A Converse Sum of Squares Lyapunov Result With a Degree Bound
- A Differential Lyapunov Framework for Contraction Analysis
- A Lyapunov approach to incremental stability properties
- A Lyapunov-Like Characterization of Asymptotic Controllability
- A Matrosov theorem for strong global recurrence
- A Smooth Converse Lyapunov Theorem for Robust Stability
- A Strict Lyapunov Function for Boundary Control of Hyperbolic Systems of Conservation Laws
- A Survey of the S-Lemma
- 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 definition of spectrum for differential equations on finite time
- A generalization of Zubov's method to perturbed systems
- A linear programming oriented procedure for quadratic stabilization of uncertain systems
- 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 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
- 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 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 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 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 Liapunov functions
- 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
- 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 with a Certain Local Contraction Property.
- Dynamical systems which undergo switching
- 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
- Hybrid dynamical systems. Modeling, stability, and robustness
- ISS-Lyapunov functions for time-varying hyperbolic systems of balance laws
- 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
- LMI Techniques for Optimization Over Polynomials in Control: A Survey
- 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
- 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 Global Asymptotic Stability of Solutions of Differential Equations
- On Liapounoff's conditions of stability
- 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 infinity norms as Lyapunov functions for piecewise affine systems
- 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 Criteria for Switched and Hybrid Systems
- 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 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 Minkowski-Lyapunov equation for linear dynamics: theoretical foundations
- The basin of attraction of periodic orbits in nonsmooth differential equations
- 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
(72)- Computation of Lyapunov functions for systems with multiple local attractors
- Approximation of Lyapunov functions from noisy data
- Computational methods for Lyapunov functions
- The stability of the multivariate geometric Brownian motion as a bilinear matrix inequality problem
- 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
- 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
- Expansivity implies existence of Hölder continuous Lyapunov function
- Uniform stability of homogeneous time-varying systems
- 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
- Low-rank kernel approximation of Lyapunov functions using neural networks
- A kernel-based discretisation method for first order partial differential equations
- Learning Lyapunov terminal costs from data for complexity reduction in nonlinear model predictive control
- Generalization of a stability domain estimation method for nonlinear discrete 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 Minkowski-Lyapunov functions
- Probabilistic basin of attraction and its estimation using two Lyapunov functions
- A Lie transform approach to the construction of Lyapunov functions in autonomous and non-autonomous systems
- Successive estimations of bilateral bounds and trapping/stability regions of solution to some nonlinear nonautonomous systems
- Computation and verification of Lyapunov functions
- Timing of transients: quantifying reaching times and transient behavior in complex systems
- Polarity of stability and robust positive invariance
- Computing Lyapunov functions using deep neural networks
- Introducing some classes of stable systems without any smooth Lyapunov functions
- Computing continuous and piecewise affine Lyapunov functions for nonlinear systems
- The Minkowski-Lyapunov equation
- 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
- Automated and sound synthesis of Lyapunov functions with SMT solvers
- Homogeneous Lyapunov Functions: From Converse Design to Numerical Implementation
- Robust neural Lyapunov control for nonlinear systems with quadratically bounded disturbances
- Sufficient conditions for forward invariance and contractivity in hybrid inclusions using barrier functions
- Automatic determination of connected sublevel sets of CPA Lyapunov functions
- Lyapunov function computation for autonomous linear stochastic differential equations using sum-of-squares programming
- Control Lyapunov function design via configuration-constrained polyhedral computing
- 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
- Computation of Lyapunov functions for nonautonomous systems on finite time-intervals by linear programming
- What is the most suitable Lyapunov function?
- Construction of contraction metrics for discrete-time dynamical systems using meshfree collocation
- Thresholding in set-membership approaches to fault isolation using the Minkowski functional
- Synthesizing robust domains of attraction for state-constrained perturbed polynomial systems
- A new class of strict Lyapunov functions for nonlinear time-varying systems
- An alternative approach for stability analysis of discrete time nonlinear dynamical systems
- Computational Approach for Complete Lyapunov Functions
- Energy function for some maps and nonlinear oscillators
- Uniform exponential stability criteria with verification for nonautonomous switched nonlinear systems with uncertainty
- Linear programming based lower bounds on average dwell-time via multiple Lyapunov functions
- Contraction metric computation using numerical integration and quadrature
- Kernel-based discretization for solving matrix-valued PDEs
- Reducing real-time complexity via sub-control Lyapunov functions: from theory to experiments
- 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
- Extensions of \(\mathcal{KL}\) and Lyapunov functions for discrete-time dynamical system peak analysis
- Certifying Lyapunov stability of black-box nonlinear systems via counterexample guided synthesis
- 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
- CPA Lyapunov functions for time-periodic systems in one spatial dimension
- Subgradient algorithm for computing contraction metrics for equilibria
- Bounding the first exit from the basin: independence times and finite-time basin stability
- Mathematical modeling and optimal control of corruption dynamics
- Optimisation and asymptotic stability
- Effective estimation of trapping/stability regions and bilateral solutions' bounds for some multidimensional nonlinear systems with time-varying coefficients
- Boundedness of a class of spatially discrete reaction-diffusion systems
- Determination of the basin of attraction of a periodic orbit in two dimensions using meshless collocation
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)
