GP based design method for control systems via Hamilton-Jacobi-Bellman equations | IEEE Conference Publication | IEEE Xplore