Add solve_boundary_gap_mip().

StanfordASL / neural-network-lyapunov

Synthesizing neural-network Lyapunov functions (and controllers) as stability certificate.

MIT License

139 stars 30 forks source link

Closed hongkai-dai closed 3 years ago

hongkai-dai commented 3 years ago

Compute the gap between max V(x) and min V(x) on the boundary of the verified region.