|
Books > Computing & IT > General theory of computing
|
Buy Now
Formal Methods for Control of Nonlinear Systems (Hardcover)
Loot Price: R2,810
Discovery Miles 28 100
|
|
|
Formal Methods for Control of Nonlinear Systems (Hardcover)
Expected to ship within 9 - 15 working days
|
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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
