Bayesian Safety Guarantees for Port-Hamiltonian Systems with Learned Energy Functions

Chi Ho Leung, Philip E. Paré

Control barrier functions for port-Hamiltonian systems inherit model uncertainty when the Hamiltonian is learned from data. We show how to propagate this uncertainty into a safety…