A Formal Solution of the Quadratic Optimal Control for Nonlinear Systems | IEEE Conference Publication | IEEE Xplore