A two-stage Bayesian procedure propagates credible sets from a learned Hamiltonian into control barrier functions, delivering an end-to-end safety guarantee of at least 1 minus the sum of two independent credibility budgets.
Exact infer- ence for continuous-time Gaussian process dynamics,
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
eess.SY 1years
2025 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Bayesian Safety Guarantees for Port-Hamiltonian Systems with Learned Energy Functions
A two-stage Bayesian procedure propagates credible sets from a learned Hamiltonian into control barrier functions, delivering an end-to-end safety guarantee of at least 1 minus the sum of two independent credibility budgets.