Verifying nonlinear controllers for stability utilizing closed-loop noisy data | IEEE Conference Publication | IEEE Xplore