Formal Methods for Control of Nonlinear Systems
Formal Methods for Control of Nonlinear Systems examines the relationship between formal methods and nonlinear system control. Authored by Jun Liu and Yinan Li, this academic title is suited to readers studying engineering, mathematics, computer science, and the theory of complex dynamical systems.
About This Book
Formal Methods for Control of Nonlinear Systems addresses the study of formal methods in relation to nonlinear system control.
The book is relevant to readers interested in control theory, mathematical modeling, and the analysis of nonlinear systems.
It may serve as a reference for academic study in engineering, mathematics, and computer science.
The work is authored by Jun Liu and Yinan Li.
Reviews
No reviews yet. Be the first to review this book!