Max G. Spetzler, Anshu Narang-Siddarth. Numerical verification of equilibrium location bounds and local stability for nonlinear systems with parameter uncertainty. In 55th IEEE Conference on Decision and Control, CDC 2016, Las Vegas, NV, USA, December 12-14, 2016. pages 4072-4077, IEEE, 2016. [doi]
Abstract is missing.