Dominance functions from a small number of trajectories serve as dissipative and expressive building blocks for formal safety certificates in monotone discrete-time systems.
Control barrier functions: Theory and ap- plications
5 Pith papers cite this work. Polarity classification is still indexing.
5
Pith papers citing it
citation-role summary
background 1
citation-polarity summary
roles
background 1polarities
background 1representative citing papers
A scalable verification framework for neural control barrier functions uses linear bound propagation on network gradients combined with McCormick relaxations to certify safety conditions for control-affine systems.
A filter line search SQP algorithm reduces iterations and computation time for nonconvex SOS programs compared to prior methods.
Replicates SPARK humanoid safety filters and stress-tests them under crowding, noise, and delays, showing trade-offs in goal tracking versus collision reduction.