Verifying Closed-Loop Contractivity of Learning-Based Controllers via Partitioning

Alexander Davydov

We address the problem of verifying closed-loop contraction in nonlinear control systems whose controller and contraction metric are both parameterized by neural networks. By lever…