arXiv (All)
open access
Timely Activation of Safety Filters via One-Step Reachability Expansion
Least-restrictive safety filters based on Hamilton-Jacobi reachability provide strong safety guarantees by overriding a nominal controller only when the system reaches the boundary of the set of unsafe states defined as a Backward Reachable Tube (BRT). These guarantees, however, rely on the continuo
Conceptio Open Archive
Analyze & explore related research in Conceptio
Connect this record directly into your research workflow or AI agent. Explore citations across open repositories, query full text, and export structured proof bundles.
This document is indexed with metadata only: full text is not available in the archive for this record. Open the official source ↗
Related documents
- Enhanced Control Barrier Functions for Safety-Critical Control of Nonlinear Affine Systems / Yu Zhang ; Gutachter: Chunlin Chen, Alois C. Knoll ; Betreuer: Alois C. Knoll#1145486
- Runtime Safety Filtering for Two-Terminal Hazards in Robotic Battery Recycling#1014253
- SB-TRPO: Towards Safe Reinforcement Learning with Hard Constraints#1117292
- Protecting the Router Control Plane#501368
- B205 Technical Section on Optimization of Nuclear Safety Regulation : (5) Corrective Action Program (CAP) in United States#69860
Record · ID 1011619
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Bring this data into your agent: Connect via MCP or API · 20 free credits to start · no card required
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive