Copertina

Characterization of Safe Stabilization and Control Lyapunov-Barrier Functions via Zubov Equation Formulation

Fuente: arXiv

Salvato in:

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

Documenti analoghi

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

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

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

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

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)

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

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

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

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

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

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

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

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

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

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

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

Koopman-Based Learning of Infinitesimal Generators without Operator Logarithm
di: Meng, Yiming, 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)

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)

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

Converse Barrier Functions via Lyapunov Functions
di: Liu, Jun
Pubblicazione: (2020)

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

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

Contraction theory: Hausdorff--Riemann Measures as Set-Based Lyapunov Functions
di: Matveev, A., 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)

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

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

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

Stability Analysis of Thermohaline Convection With a Time-Varying Shear Flow Using the Lyapunov Method
di: Kochnev, Kalin, et al.
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)

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

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

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

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

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

Adjoint-based Hopf-bifurcation Instability Suppression via First Lyapunov Coefficient
di: He, Sicheng, et al.
Pubblicazione: (2025)

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

Stabilization of Integral Delay Equations by solving Fredholm equations
di: Auriol, Jean
Pubblicazione: (2024)