4 papers
Hyperlyve: 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…
Port-Transversal Barriers: Graph-Theoretic Safety for Port-Hamiltonian Systems
Chi Ho Leung, Philip E. Paré
Synthesizing control barrier functions (CBFs) for complex nonlinear systems remains difficult, particularly when safety constraints have high relative degree with respect to the in…
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…
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…