Formal Methods for Control of Nonlinear Systems

While linear control is a well-established subject, analysis and design of nonlinear control systems remains a challenging topic due to some of the fundamental difficulties caused by nonlinearity. This book provides a unified computational approach to analysis and design of nonlinear systems.