£94.94

New to our records — first sighting 23 days ago. We'll learn its rhythm.

23 days of data · current price £95

CRC Press Formal Methods for Control of Nonlinear Systems

View at Amazon

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 1 days · 1 data points (no recent data)

Historical
Generating forecast…
Not enough data points to display chart (need at least 2 points)
View at Amazon ↗

Price data last checked 23 day(s) ago - will refresh soon

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↑ Price chart
when this has been cheap or pricey
↑ Forecast
where the price is heading next
↓ Statistics
all-time high & low, recent range
↑ Price alert
name your number, we'll email you

Price Distribution

Price distribution over 1 days • 1 price levels

Days at Price
1 day 0 0 1 1 1 £95 Days at Price

Price Analysis

Most common price: £95 (1 days, 100.0%)

Price range: £95 - £95

Price levels: 1 different prices over 1 days

Description

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.

Product Specifications

Format
hardcover
Domain
Amazon UK
Release Date
15 December 2022
Listed Since
09 August 2022

Barcode

No barcode data available

Similar Products You Might Like

Nonrecursive Control Design for Nonlinear Systems - Theory & Applications
99% match

Nonrecursive Control Design for Nonlinear Systems - Theory & Applications

CRC Press

£126.56 02 Oct 2026
Control Basics for Mechatronics
99% match

Control Basics for Mechatronics

CRC Press

£83.77 23 Sep 2026
Computational and Statistical Methods for Chemical Engineering
98% match

Computational and Statistical Methods for Chemical Engineering

CRC Press

£75.40 23 Sep 2026
Mathematical Modelling
98% match

Mathematical Modelling

CRC Press

£104.73 24 Sep 2026
Emerging Technologies and the Indian IT Sector
98% match

Emerging Technologies and the Indian IT Sector

CRC Press

£82.99 19 Sep 2026
Operations Management and Data Analytics Modelling: Economic Crises Perspective
98% match

Operations Management and Data Analytics Modelling: Economic Crises Perspective

CRC Press

£121.87 11 Sep 2026
Non Gaussian State Estimation and the Maximum Correntropy Approach (Control Theory and Applications)
98% match

Non Gaussian State Estimation and the Maximum Correntropy Approach (Control Theory and Applications)

CRC Press

£164.84 23 Sep 2026
Industrial Control Systems
98% match

Industrial Control Systems

Wiley

£117.00 24 Sep 2026
Applied Informatics for Industry 4.0
98% match

Applied Informatics for Industry 4.0

CRC Press

£94.86 17 Sep 2026
Computer Applications In Agriculture
98% match

Computer Applications In Agriculture

CRC Press

£145.00 30 Sep 2026
Robotics for Pandemics
98% match

Robotics for Pandemics

CRC Press

£77.65 02 Oct 2026
Emerging Technologies in Computing: Theory, Practice, and Advances
98% match

Emerging Technologies in Computing: Theory, Practice, and Advances

CRC Press

£104.23 24 Sep 2026
Variational Methods in Optimum Control Theory
98% match

Variational Methods in Optimum Control Theory

Academic Press

£58.57 11 Sep 2026
Mathematical Methods for Physics and Engineering: Practical Applications
98% match

Mathematical Methods for Physics and Engineering: Practical Applications

CRC Press

£151.26 02 Oct 2026
Flexible Multibody Dynamics: Efficient Formulations with Applications
98% match

Flexible Multibody Dynamics: Efficient Formulations with Applications

CRC Press

£118.74 11 Sep 2026
Convolutional Neural Networks for Medical Image Processing Applications
98% match

Convolutional Neural Networks for Medical Image Processing Applications

CRC Press

£151.26 30 Sep 2026
Handbuch Controlling
98% match

Handbuch Controlling

Springer

£109.90 19 Sep 2026
Classical And Quantum Field Theory Of Exactly Soluble Nonlinear Systems
98% match

Classical And Quantum Field Theory Of Exactly Soluble Nonlinear Systems

Scientific Publishing

£80.99 17 Sep 2026
Critical Policy Studies
98% match

Critical Policy Studies

University of British Columbia Press

£64.62 22 Sep 2026
Optimization Methods for Engineering Problems
98% match

Optimization Methods for Engineering Problems

CRC Press

£109.88 27 Sep 2026
A Guide to Business Mathematics
98% match

A Guide to Business Mathematics

CRC Press

£76.74 12 Sep 2026
98% match

Physiology for Engineers: A Systems Approach (Biomedical Engineering)

CRC Press

£82.00 12 Sep 2026
Cognitive Computing for Internet of Medical Things
98% match

Cognitive Computing for Internet of Medical Things

CRC Press

£105.00 24 Sep 2026
Numerical Methods in Chemical Engineering Using Python® and Simulink®
98% match

Numerical Methods in Chemical Engineering Using Python® and Simulink®

CRC Press

£70.59 18 Sep 2026