Buchumschlag

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

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Meng, Yiming, Liu, Jun
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Dynamical Systems
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

Koopman Operator in the Weighted Function Spaces and its Learning for the Estimation of Lyapunov and Zubov Functions
von: Tang, Wentao
Veröffentlicht: (2024)

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

Towards Learning and Verifying Maximal Neural Lyapunov Functions
von: Liu, Jun, et al.
Veröffentlicht: (2023)

Distributed Lyapunov Functions for Nonlinear Networks
von: Wang, Yiming, et al.
Veröffentlicht: (2025)

Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions
von: Liu, Jun, et al.
Veröffentlicht: (2025)

Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification
von: Liu, Jun, et al.
Veröffentlicht: (2023)

Koopman-Based Learning of Infinitesimal Generators without Operator Logarithm
von: Meng, Yiming, et al.
Veröffentlicht: (2024)

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

Formally Verified Physics-Informed Neural Control Lyapunov Functions
von: Liu, Jun, et al.
Veröffentlicht: (2024)

Learning Koopman-based Stability Certificates for Unknown Nonlinear Systems
von: Zhou, Ruikun, et al.
Veröffentlicht: (2024)

Stochastic Periodic Solutions for Newtonian Systems via Lyapunov Function
von: Duan, Junxia, et al.
Veröffentlicht: (2025)

Compositionally Verifiable Vector Neural Lyapunov Functions for Stability Analysis of Interconnected Nonlinear Systems
von: Liu, Jun, et al.
Veröffentlicht: (2024)

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

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

Continuous dependence for McKean-Vlasov SDEs under distribution-dependent Lyapunov conditions
von: Ma, Jun, et al.
Veröffentlicht: (2024)

Regularity of Lyapunov exponents at one-point Lyapunov spectra: the semisimple case
von: Liu, Yingjian, et al.
Veröffentlicht: (2026)

Zero Lyapunov Exponents in Transitive Skew-products of Iterated Function Systems
von: Barrientos, Pablo G., et al.
Veröffentlicht: (2024)

Contraction theory: Hausdorff--Riemann Measures as Set-Based Lyapunov Functions
von: Matveev, A., et al.
Veröffentlicht: (2026)

Periodic solutions for McKean-Vlasov SDEs under periodic distribution-dependent Lyapunov conditions
von: Ma, Jun
Veröffentlicht: (2025)

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

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

Characterizing symmetric spaces by their Lyapunov spectra
von: Butler, Clark
Veröffentlicht: (2017)

Lyapunov Stability for nonautonomous systems on Manifolds
von: Deng, Li, et al.
Veröffentlicht: (2026)

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

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

Characterization of Maximizers for Sums of the First Two Eigenvalues of Sturm-Liouville Operators
von: Meng, Gang, et al.
Veröffentlicht: (2026)

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

Informativity of Data-Knowledge Pairs for Lyapunov Equations
von: Banno, Ikumi
Veröffentlicht: (2026)

A Lyapunov function for a Synchronisation diffeomorphism of three clocks
von: Buescu, Jorge, et al.
Veröffentlicht: (2025)

On fast Lyapunov spectra for Markov-Rényi maps
von: Fang, Lulu, et al.
Veröffentlicht: (2025)

Analyticity of the Lyapunov exponents of random products of matrices
von: Amorim, Artur, et al.
Veröffentlicht: (2025)

Lyapunov maximizing measures for balanced pairs of matrices
von: Gao, Rui
Veröffentlicht: (2025)

Analiticity of the Lyapunov exponents of perturbed toral automorphisms
von: Marin, Gian Marco, et al.
Veröffentlicht: (2023)

Non-existence of Lyapunov exponents in the Newhouse domain
von: Kiriki, Shin, et al.
Veröffentlicht: (2026)

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

Lyapunov stability and uniqueness problems for Hamilton-Jacobi equations without monotonicity
von: Ruan, Yuqi, et al.
Veröffentlicht: (2025)

Integral representation of Lyapunov exponents
von: Barrientos, Pablo G., et al.
Veröffentlicht: (2026)

Regular Pairings for Non-quadratic Lyapunov Functions and Contraction Analysis
von: Proskurnikov, Anton V., et al.
Veröffentlicht: (2024)

Kernel Methods for the Construction of Certified Lyapunov Functions via Approximate Koopman Eigenfunctions
von: Giesl, P., et al.
Veröffentlicht: (2026)