On the estimation of a maximal Lyapunov function and domain of attraction determination via a genetic algorithm | IEEE Conference Publication | IEEE Xplore