Cover Image

Towards Learning and Verifying Maximal Lyapunov-Barrier Functions with a Zubov PDE Formulation

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Meng, Yiming, Liu, Jun
Format:	Preprint
Published:	2025
Subjects:	Dynamical Systems
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Characterization of Safe Stabilization and Control Lyapunov-Barrier Functions via Zubov Equation Formulation
by: Meng, Yiming, et al.
Published: (2026)

Koopman Operator in the Weighted Function Spaces and its Learning for the Estimation of Lyapunov and Zubov Functions
by: Tang, Wentao
Published: (2024)

Learning Regions of Attraction in Unknown Dynamical Systems via Zubov-Koopman Lifting: Regularities and Convergence
by: Meng, Yiming, et al.
Published: (2023)

Towards Learning and Verifying Maximal Neural Lyapunov Functions
by: Liu, Jun, et al.
Published: (2023)

Distributed Lyapunov Functions for Nonlinear Networks
by: Wang, Yiming, et al.
Published: (2025)

Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions
by: Liu, Jun, et al.
Published: (2025)

Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification
by: Liu, Jun, et al.
Published: (2023)

Koopman-Based Learning of Infinitesimal Generators without Operator Logarithm
by: Meng, Yiming, et al.
Published: (2024)

Resolvent-Type Data-Driven Learning of Generators for Unknown Continuous-Time Dynamical Systems
by: Meng, Yiming, et al.
Published: (2024)

Formally Verified Physics-Informed Neural Control Lyapunov Functions
by: Liu, Jun, et al.
Published: (2024)

Learning Koopman-based Stability Certificates for Unknown Nonlinear Systems
by: Zhou, Ruikun, et al.
Published: (2024)

Stochastic Periodic Solutions for Newtonian Systems via Lyapunov Function
by: Duan, Junxia, et al.
Published: (2025)

Compositionally Verifiable Vector Neural Lyapunov Functions for Stability Analysis of Interconnected Nonlinear Systems
by: Liu, Jun, et al.
Published: (2024)

Region of Attraction Estimate Learning and Verification for Nonlinear Systems using Neural-Network-based Lyapunov Functions
by: Bechihi, Adel, et al.
Published: (2025)

LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction
by: Liu, Jun, et al.
Published: (2024)

Continuous dependence for McKean-Vlasov SDEs under distribution-dependent Lyapunov conditions
by: Ma, Jun, et al.
Published: (2024)

Regularity of Lyapunov exponents at one-point Lyapunov spectra: the semisimple case
by: Liu, Yingjian, et al.
Published: (2026)

Zero Lyapunov Exponents in Transitive Skew-products of Iterated Function Systems
by: Barrientos, Pablo G., et al.
Published: (2024)

Contraction theory: Hausdorff--Riemann Measures as Set-Based Lyapunov Functions
by: Matveev, A., et al.
Published: (2026)

Periodic solutions for McKean-Vlasov SDEs under periodic distribution-dependent Lyapunov conditions
by: Ma, Jun
Published: (2025)

Meta-Reinforcement Learning for Robust and Non-greedy Control Barrier Functions in Spacecraft Proximity Operations
by: Wijayatunga, Minduli C., et al.
Published: (2026)

Estimation of Regions of Attraction for Nonlinear Systems via Coordinate-Transformed TS Models and Piecewise Quadratic Lyapunov Functions
by: Sel, Artun, et al.
Published: (2025)

Characterizing symmetric spaces by their Lyapunov spectra
by: Butler, Clark
Published: (2017)

Lyapunov Stability for nonautonomous systems on Manifolds
by: Deng, Li, et al.
Published: (2026)

Local Lyapunov analysis via micro-ensembles: finite-time Lyapunov exponent estimation and KNN-based predictive comparison in complex-valued BAM neural networks
by: Muruganantham, Yazhini, et al.
Published: (2025)

Analytic Dependence of the Lyapunov Moment Function and the Projective Stationary Measure for Random Matrix Products
by: Chalhoub, Christopher, et al.
Published: (2025)

Characterization of Maximizers for Sums of the First Two Eigenvalues of Sturm-Liouville Operators
by: Meng, Gang, et al.
Published: (2026)

Full Lyapunov Exponents spectrum with Deep Learning from single-variable time series
by: Mayora-Cebollero, Carmen, et al.
Published: (2024)

Informativity of Data-Knowledge Pairs for Lyapunov Equations
by: Banno, Ikumi
Published: (2026)

A Lyapunov function for a Synchronisation diffeomorphism of three clocks
by: Buescu, Jorge, et al.
Published: (2025)

On fast Lyapunov spectra for Markov-Rényi maps
by: Fang, Lulu, et al.
Published: (2025)

Analyticity of the Lyapunov exponents of random products of matrices
by: Amorim, Artur, et al.
Published: (2025)

Lyapunov maximizing measures for balanced pairs of matrices
by: Gao, Rui
Published: (2025)

Analiticity of the Lyapunov exponents of perturbed toral automorphisms
by: Marin, Gian Marco, et al.
Published: (2023)

Non-existence of Lyapunov exponents in the Newhouse domain
by: Kiriki, Shin, et al.
Published: (2026)

On the attractor in a high-dimensional neural network dynamics of reservoir computing: Lyapunov analysis viewpoint
by: Kobayashi, Miki U., et al.
Published: (2025)

Lyapunov stability and uniqueness problems for Hamilton-Jacobi equations without monotonicity
by: Ruan, Yuqi, et al.
Published: (2025)

Integral representation of Lyapunov exponents
by: Barrientos, Pablo G., et al.
Published: (2026)

Regular Pairings for Non-quadratic Lyapunov Functions and Contraction Analysis
by: Proskurnikov, Anton V., et al.
Published: (2024)

Kernel Methods for the Construction of Certified Lyapunov Functions via Approximate Koopman Eigenfunctions
by: Giesl, P., et al.
Published: (2026)