Cover Image

Converse Theorems for Certificates of Safety and Stability

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Mestres, Pol, Cortés, Jorge
Format:	Preprint
Published:	2024
Subjects:	Optimization and Control Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Feasibility Analysis and Regularity Characterization of Distributionally Robust Safe Stabilizing Controllers
by: Mestres, Pol, et al.
Published: (2023)

Characterization of the Dynamical Properties of Safety Filters for Linear Planar Systems
by: Chen, Yiting, et al.
Published: (2024)

Control Barrier Function-Based Safety Filters: Characterization of Undesired Equilibria, Unbounded Trajectories, and Limit Cycles
by: Mestres, Pol, et al.
Published: (2025)

Stability Margins of CBF-QP Safety Filters: Analysis and Synthesis
by: Mousavi, Shima Sadat, et al.
Published: (2026)

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

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

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

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

Probabilistic Control Barrier Functions: Safety in Probability for Discrete-Time Stochastic Systems
by: Mestres, Pol, et al.
Published: (2025)

Structure, Feasibility, and Explicit Safety Filters for Linear Systems
by: Mousavi, Shima Sadat, et al.
Published: (2026)

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

Explicit Control Barrier Function-based Safety Filters and their Resource-Aware Computation
by: Mestres, Pol, et al.
Published: (2025)

Regularity Properties of Optimization-Based Controllers
by: Mestres, Pol, et al.
Published: (2023)

Reinforcement Learning for Distributed Transient Frequency Control with Stability and Safety Guarantees
by: Yuan, Zhenyi, et al.
Published: (2022)

Universal Formulas for Safe Control and Their Neural Network Approximations
by: Mestres, Pol, et al.
Published: (2025)

Off-Policy Reinforcement Learning with Anytime Safety Guarantees via Robust Safe Gradient Flow
by: Mestres, Pol, et al.
Published: (2025)

Distributed Stability Certification and Control from Local Data
by: Malladi, Surya, et al.
Published: (2026)

Distributionally Robust Policy and Lyapunov-Certificate Learning
by: Long, Kehan, et al.
Published: (2024)

Certificates of Nonexistence for Lyapunov-Based Stability, Stabilizability and Detectability of LPV Systems
by: Meijer, T. J., et al.
Published: (2023)

Dynamical Properties of Safety Filters for Linear Systems and Affine Control Barrier Functions
by: Mestres, Pol, et al.
Published: (2026)

Safe Policy Optimization via Control Barrier Function-based Safety Filters
by: Chen, Yiting, et al.
Published: (2026)

Anytime Safe Reinforcement Learning
by: Mestres, Pol, et al.
Published: (2025)

Equilibria and Their Stability Do Not Depend on the Control Barrier Function in Safe Optimization-Based Control
by: Chen, Yiting, et al.
Published: (2024)

Vector Certificates for $ω$-regular Specifications
by: Oumer, Mohammed Adib, et al.
Published: (2026)

Distributed Predictive Control Barrier Functions: Towards Scalable Safety Certification in Modular Multi-Agent Systems
by: Ohnemus, Jonas, et al.
Published: (2026)

Latent Representations for Control Design with Provable Stability and Safety Guarantees
by: Lutkus, Paul, et al.
Published: (2025)

Control Barrier Function Based Design of Gradient Flows for Constrained Nonlinear Programming
by: Allibhoy, Ahmed, et al.
Published: (2022)

Modeling Nonlinear Control Systems via Koopman Control Family: Universal Forms and Subspace Invariance Proximity
by: Haseli, Masih, et al.
Published: (2023)

Robust Adaptive Discrete-Time Control Barrier Certificate
by: Liu, Changrui, et al.
Published: (2025)

Distributed Safe Navigation of Multi-Agent Systems using Control Barrier Function-Based Optimal Controllers
by: Mestres, Pol, et al.
Published: (2024)

Diagnostic Certificates of Data Quality and Regression Identifiability for Koopman Identification
by: Wu, Yue
Published: (2026)

Invariance Proximity: Closed-Form Error Bounds for Finite-Dimensional Koopman-Based Models
by: Haseli, Masih, et al.
Published: (2023)

$k$-Inductive and Interpolation-Inspired Barrier Certificates for Stochastic Dynamical Systems
by: Oumer, Mohammed Adib, et al.
Published: (2025)

Sum-of-Squares Certificates for Almost-Sure Reachability of Stochastic Polynomial Systems
by: Kordabad, Arash Bahari, et al.
Published: (2025)

Willems' Fundamental Lemma for Nonlinear Systems with Koopman Linear Embedding
by: Shang, Xu, et al.
Published: (2024)

Constrained Variational Inference via Safe Particle Flow
by: Yi, Yinzhuang, et al.
Published: (2025)

Reachability Analysis for Design Optimization
by: Nguyen, Steven, et al.
Published: (2026)

Enhancing network resilience through topological switching
by: Chen, Fei, et al.
Published: (2026)

Certifying Stability of Reinforcement Learning Policies using Generalized Lyapunov Functions
by: Long, Kehan, et al.
Published: (2025)

Towards Optimal Passive Feedback Control of LTI Systems under LQR Performance
by: Gießler, Armin, et al.
Published: (2026)