Quantization of Lyapunov functions - Yulia Sharko (2010)