Certified Training with Branch-and-Bound for Lyapunov-stable Neural Control
arXiv:2411.18235v3 Announce Type: replace-cross
Abstract: We study the problem of learning verifiably Lyapunov-stable neural controllers that provably satisfy the Lyapunov asymptotic stability condition within a region-of-attraction (ROA). Unlike prev…