Automatic generation of Lyapunov function using Genetic programming approach | IEEE Conference Publication | IEEE Xplore