4 papers
HyParLyVe: Hyperplane Partitioning for Neural Lyapunov Verification
Jesse Wayment, Brian Yarbrough, Jingbo Wang +2
This work introduces HyParLyVe (Hyperplane Partitioned Lyapunov Verifier), a novel algorithm for sound and complete verification of neural Lyapunov candidates by interpreting shall…
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…
Port-Transversal Barriers: Graph-Theoretic Safety for Port-Hamiltonian Systems
Chi Ho Leung, Philip E. Paré
We study port-Hamiltonian systems with energy functions that split into local storage terms. From the interconnection and dissipation structure, we construct a graph on the energy…
Robust Safety-Critical Control of Networked SIR Dynamics
Saba Samadi, Brooks A. Butler, Philip E. Paré
We present a robust safety-critical control framework tailored for networked susceptible-infected-recovered (SIR) epidemic dynamics, leveraging control barrier functions (CBFs) and…