On converse zeroing barrier functions
From MaRDI portal
Publication:6664828
DOI10.1016/j.automatica.2024.112011MaRDI QIDQ6664828
Ziliang Lyu, Xie, Lihua, Xiangru Xu, Yiguang Hong
Publication date: 16 January 2025
Published in: Automatica (Search for Journal in Brave)
Cites Work
- Unnamed Item
- Unnamed Item
- Constrained control of input-output linearizable systems using control sharing barrier functions
- Barrier Lyapunov functions for the control of output-constrained nonlinear systems
- Robust control barrier functions for constrained stabilization of nonlinear systems
- Stabilization in spite of matched unmodeled dynamics and equivalent definition of input-to-state stability
- Small-gain theorem for safety verification of interconnected systems
- Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems
- Deductive Verification of Continuous Dynamical Systems
- Converse Barrier Certificate Theorems
- Conflict resolution for air traffic management: a study in multiagent hybrid systems
- Control Barrier Function Based Quadratic Programs for Safety Critical Systems
- Converse Theorems for Safety and Barrier Certificates
- A Smooth Converse Lyapunov Theorem for Robust Stability
- A Nonsmooth Approach to Controller Synthesis for Boolean Specifications
- Converse Barrier Functions via Lyapunov Functions
- High-Order Barrier Functions: Robustness, Safety, and Performance-Critical Control
- Nonovershooting Control of Strict-Feedback Nonlinear Systems
- A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
- Forward completeness, unboundedness observability, and their Lyapunov characterizations
- On the Converse Safety Problem for Differential Inclusions: Solutions, Regularity, and Time-Varying Barrier Functions
- Inverse optimal safety filters
- Small-gain theorem for safety verification under high-relative-degree constraints
This page was built for publication: On converse zeroing barrier functions
