Formal Methods for Control of Nonlinear Systemsby Yinan Li, Jun LiuWriting a summary for young readers…For young readersBook data: Open Library