Source: https://web.stanford.edu/class/ee363/lectures/lyap.pdf