Existence of Partially Quadratic Lyapunov Functions That Can Certify The Local Asymptotic Stability of Nonlinear Systems | IEEE Conference Publication | IEEE Xplore