Copertina

Converse Barrier Functions via Lyapunov Functions

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Liu, Jun
Natura:	Preprint
Pubblicazione:	2020
Soggetti:	Optimization and Control Systems and Control
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

Computing Control Lyapunov-Barrier Functions: Softmax Relaxation and Smooth Patching with Formal Guarantees
di: Liu, Jun, et al.
Pubblicazione: (2025)

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

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

Proxy Control Barrier Functions: Integrating Barrier-Based and Lyapunov-Based Safety-Critical Control Design
di: Wang, Yujie, et al.
Pubblicazione: (2025)

Unified Lyapunov Method for ISS of PDEs: A Tutorial on Constructing Generalized Lyapunov Functionals for Parabolic and Hyperbolic Equations
di: Zheng, Jun, et al.
Pubblicazione: (2026)

A Converse Control Lyapunov Theorem for Joint Safety and Stability
di: Quartz, Thanin, et al.
Pubblicazione: (2025)

Safe and Dynamically-Feasible Motion Planning using Control Lyapunov and Barrier Functions
di: Mestres, Pol, et al.
Pubblicazione: (2024)

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

Control Lyapunov Function Design via Configuration-Constrained Polyhedral Computing
di: Houska, Boris, et al.
Pubblicazione: (2025)

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

Concave Comparison Functions for Accelerating Constrained Lyapunov Decay
di: Fan, Shuyuan, et al.
Pubblicazione: (2025)

Robust Control Lyapunov-Value Functions for Nonlinear Disturbed Systems
di: Gong, Zheng, et al.
Pubblicazione: (2024)

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

Matrix Control Barrier Functions
di: Ong, Pio, et al.
Pubblicazione: (2025)

Safety-Critical Control with Guaranteed Lipschitz Continuity via Filtered Control Barrier Functions
di: Liu, Shuo, et al.
Pubblicazione: (2025)

Continuous Approximations of Projected Dynamical Systems via Control Barrier Functions
di: Delimpaltadakis, Giannis, et al.
Pubblicazione: (2024)

Parameter-Dependent Control Lyapunov Functions for Stabilizing Nonlinear Parameter-Varying Systems
di: Zhao, Pan
Pubblicazione: (2025)

Efficient Stabilization of Hybrid Coulomb Spacecraft Formations using Control Lyapunov Functions
di: Tahir, Adam M
Pubblicazione: (2025)

StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis
di: Mazouz, Rayan, et al.
Pubblicazione: (2026)

Topological Obstructions to the Existence of Control Barrier Functions
di: de Sa, Massimiliano, et al.
Pubblicazione: (2026)

On Uniformly Time-Varying Control Barrier Functions
di: Wiltz, Adrian, 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)

(Un)supervised Learning of Maximal Lyapunov Functions
di: Barreau, Matthieu, et al.
Pubblicazione: (2024)

Neural-NPV Control: Learning Parameter-Dependent Controllers and Lyapunov Functions with Neural Networks
di: Niloy, MD Abul Kashem, et al.
Pubblicazione: (2026)

Koopman-based Estimation of Lyapunov Functions: Theory on a Reproducing Kernel Hilbert Space
di: Tang, Wentao, et al.
Pubblicazione: (2026)

Safe Feedback Optimization through Control Barrier Functions
di: Delimpaltadakis, Giannis, et al.
Pubblicazione: (2026)

Uniform Feasibility For Smoothed Backup Control Barrier Functions
di: Alan, Anil, et al.
Pubblicazione: (2025)

Verification and Synthesis of Discrete-Time Control Barrier Functions
di: Shakhesi, Erfan, et al.
Pubblicazione: (2025)

Stabilization of Nonlinear Systems through Control Barrier Functions
di: Mestres, Pol, et al.
Pubblicazione: (2024)

A Spectral Perspective on Stochastic Control Barrier Functions
di: Jang, Inkyu, et al.
Pubblicazione: (2026)

A Control Lyapunov Function Approach to Event-Triggered Parameterized Control for Discrete-Time Linear Systems
di: Rajan, Anusree, et al.
Pubblicazione: (2024)

Characterization of Safety in Stochastic Difference Inclusions using Barrier Functions
di: Ghanbarpour, Masoumeh, et al.
Pubblicazione: (2025)

Feedback Optimization with State Constraints through Control Barrier Functions
di: Delimpaltadakis, Giannis, et al.
Pubblicazione: (2025)

Control Barrier Function based Attack-Recovery with Provable Guarantees
di: Garg, Kunal, et al.
Pubblicazione: (2022)

Invariance Guarantees using Continuously Parametrized Control Barrier Functions
di: Jang, Inkyu, et al.
Pubblicazione: (2025)

On Polynomial Stochastic Barrier Functions: Bernstein Versus Sum-of-Squares
di: Amorese, Peter, et al.
Pubblicazione: (2025)

Modified Control Barrier Function for Quadratic Program Based Control Design via Sum-of-Squares Programming
di: Lin, Yankai, et al.
Pubblicazione: (2025)

High-Order Matrix Control Barrier Functions: Well-Posedness and Feasibility via Matrix Relative Degree
di: Gessow, Samuel G., et al.
Pubblicazione: (2026)

Synthesizing Control Lyapunov-Value Functions for High-Dimensional Systems Using System Decomposition and Admissible Control Sets
di: Gong, Zheng, et al.
Pubblicazione: (2024)