Copertina

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

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Meng, Yiming, Liu, Jun
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Dynamical Systems
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Lyapunov maximizing measures for balanced pairs of matrices
di: Gao, Rui
Pubblicazione: (2025)

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

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

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

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

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

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

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