2012/01/16 by Rungger, M., Kloos, J., Majumdar, R.
#93D05 #FOS: Mathematics #Optimization and Control (math.OC)
paper · doi:10.48550/arxiv.1201.3311
We show that every globally asymptotically stable system with a twice continuously differentiable vector field admits a local polynomial Lyapunov function on an arbitrary bounded neighborhood of the origin.