Formal methods is a field of computer science that emphasizes the use of
rigorous mathematical techniques for verification and design of hardware
and software systems. Analysis and design of nonlinear control design
plays an important role across many disciplines of engineering and
applied sciences, ranging from the control of an aircraft engine to the
design of genetic circuits in synthetic biology.
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. Formal Methods
for Control of Nonlinear Systems provides a unified computational
approach to analysis and design of nonlinear systems.
Features
- Constructive approach to nonlinear control.
- Rigorous specifications and validated computation.
- Suitable for graduate students and researchers who are interested in
learning how formal methods and validated computation can be combined
together to tackle nonlinear control problems with complex
specifications from an algorithmic perspective.
- Combines mathematical rigor with practical applications.
