Unified Overview of Safety Certificate Functions: Techniques from Hamilton--Jacb
Overview
This tutorial provides a comprehensive overview of safety certificate synthesis methods, focusing on Hamilton-Jacobi reachability analysis and control barrier functions. It introduces general formulations, classical and learning-based tools for each approach, and evaluates their performance using benchmark vehicle systems of varying complexity to offer practical guidance for selecting appropriate techniques in safety-critical control.
Generated from attributed reports · Updated 2 days ago
Event evidence and corrections
0 attributed source owners. Ownership does not establish independent confirmation. Quantities are reported separately and are never added together.
No current evidence-backed claims. Missing information remains not reported.
Report timeline
Follow attributed reports and material updates.
- arXiv Robotics — research abstractsSignalUnified Overview of Safety Certificate Functions: Techniques from Hamilton--Jacobi Reachability and Control Barrier Functions
This tutorial provides a comprehensive overview of safety certificate synthesis methods, focusing on Hamilton-Jacobi reachability analysis and control barrier functions. It introduces general formulations, classical and learning-based tools for each approach, and evaluates their performance using benchmark vehicle systems of varying complexity to offer practical guidance for selecting appropriate techniques in safety-critical control.
Timezone · UTC
Article dates follow your selected timezone. Briefing editions use Hong Kong time (UTC+8).