:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Meng, Yiming, Liu, Jun
Format:	Preprint
Published:	2026
Subjects:	Dynamical Systems
Online Access:	https://arxiv.org/abs/2604.00941
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Towards Learning and Verifying Maximal Lyapunov-Barrier Functions with a Zubov PDE Formulation
by: Meng, Yiming, et al.
Published: (2025)

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

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

Formal Verification of Control Lyapunov-Barrier Functions for Safe Stabilization with Bounded Controls
by: Liu, Jun
Published: (2025)

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)

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

Activated Backstepping with Control Barrier Functions for the Safe Navigation of Automated Vehicles
by: Gacsi, Laszlo, et al.
Published: (2025)

Safe Sliding Mode Control for Marine Vessels Using High-Order Control Barrier Functions and Fast Projection
by: Syntakas, Spyridon, et al.
Published: (2025)

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

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)

Safe Stabilization using Nonsmooth Control Lyapunov Barrier Function
by: Lan, Jianglin, et al.
Published: (2024)

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

Lyapunov Characterization for ISS of Impulsive Switched Systems
by: Ahmed, Saeed, et al.
Published: (2024)

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

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

Lyapunov Exponent and Stochastic Stability for Infinitely Renormalizable Lorenz Maps
by: Ji, Haoyang, et al.
Published: (2024)

Set-Based Value Function Characterization and Neural Approximation of Stabilization Domains for Input-Constrained Discrete-Time Systems
by: Serry, Mohamed, et al.
Published: (2026)

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)

Control Barrier Functions for Stochastic Systems and Safety-critical Control Designs
by: Nishimura, Yuki, et al.
Published: (2022)

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

Auxiliary-Variable Adaptive Control Barrier Functions for Safety Critical Systems
by: Liu, Shuo, et al.
Published: (2023)

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)

Converse Barrier Functions via Lyapunov Functions
by: Liu, Jun
Published: (2020)

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

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

Collision Avoidance and Geofencing for Fixed-wing Aircraft with Control Barrier Functions
by: Molnar, Tamas G., et al.
Published: (2024)

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)

Stability Analysis of Thermohaline Convection With a Time-Varying Shear Flow Using the Lyapunov Method
by: Kochnev, Kalin, et al.
Published: (2025)

Hierarchical Stability and Lyapunov Conditions for Linear PDEs
by: Peet, Matthew M.
Published: (2026)

Disturbance-Robust Backup Control Barrier Functions: Safety Under Uncertain Dynamics
by: van Wijk, David E. J., et al.
Published: (2024)

Safe and Robust Domains of Attraction for Discrete-Time Systems: A Set-Based Characterization and Certifiable Neural Network Estimation
by: Serry, Mohamed, et al.
Published: (2026)

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

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

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

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

Lyapunov spectrum via boundary theory I
by: Bader, Uri, et al.
Published: (2025)

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