£104.00

Springer Formal Methods for Discrete-Time Dynamical Systems: 89 (Studies in Systems, Decision and Control, 89)

Price data last checked 50 day(s) ago - refreshing...

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

It has never been this cheap. We have no record of a lower price.

£104 today · cheaper than every other day in the last 3 months

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 History & Forecast

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

Last 41 days • 41 data points (No recent data available)

Historical
Generating forecast...
£121.46 £102.25 £106.44 £110.63 £114.83 £119.02 £123.21 22 February 2026 04 March 2026 14 March 2026 24 March 2026 03 April 2026

Price Distribution

Price distribution over 41 days • 2 price levels

Days at Price
Current Price
8 days · current 33 days 0 8 17 25 33 £104 £121 Days at Price

Price Analysis

Most common price: £121 (33 days, 80.5%)

Price range: £104 - £121

Price levels: 2 different prices over 41 days

Description

This book bridges fundamental gaps between control theory and formal methods. Although it focuses on discrete-time linear and piecewise affine systems, it also provides general frameworks for abstraction, analysis, and control of more general models. The book is self-contained, and while some mathematical knowledge is necessary, readers are not expected to have a background in formal methods or control theory. It rigorously defines concepts from formal methods, such as transition systems, temporal logics, model checking and synthesis. It then links these to the infinite state dynamical systems through abstractions that are intuitive and only require basic convex-analysis and control-theory terminology, which is provided in the appendix. Several examples and illustrations help readers understand and visualize the concepts introduced throughout the book.

Product Specifications

Format
hardcover
Domain
Amazon UK
Release Date
17 March 2017
Listed Since
09 November 2016

Barcode

No barcode data available

Similar Products You Might Like

Formal Methods for Discrete-Time Dynamical Systems: 89 (Studies in Systems, Decision and Control, 89)
98% match

Formal Methods for Discrete-Time Dynamical Systems: 89 (Studies in Systems, Decision and Control, 89)

Springer

£129.06 15 Apr 2026
Control Problems of Discrete-Time Dynamical Systems: 19 (Studies in Systems, Decision and Control, 19)
97% match

Control Problems of Discrete-Time Dynamical Systems: 19 (Studies in Systems, Decision and Control, 19)

Springer

£75.80 08 Mar 2026
Control Problems of Discrete-Time Dynamical Systems: 19 (Studies in Systems, Decision and Control, 19)
97% match

Control Problems of Discrete-Time Dynamical Systems: 19 (Studies in Systems, Decision and Control, 19)

Springer

£71.18 22 Feb 2026
System Theory of Continuous Time Finite Dimensional Dynamical Systems: The Memories of Tsuyoshi Matsuo and R. E. Kalman: 250 (Studies in Systems, Decision and Control, 250)
97% match

System Theory of Continuous Time Finite Dimensional Dynamical Systems: The Memories of Tsuyoshi Matsuo and R. E. Kalman: 250 (Studies in Systems, Decision and Control, 250)

Springer

£75.84 07 Mar 2026
An Introduction to Hybrid Dynamical Systems: 251 (Lecture Notes in Control and Information Sciences, 251)
97% match

An Introduction to Hybrid Dynamical Systems: 251 (Lecture Notes in Control and Information Sciences, 251)

Springer

£94.94 25 Feb 2026
Qualitative Theory of Dynamical Systems, Tools and Applications for Economic Modelling: Lectures Given at the COST Training School on New Economic ... 2015 (Springer Proceedings in Complexity)
96% match

Qualitative Theory of Dynamical Systems, Tools and Applications for Economic Modelling: Lectures Given at the COST Training School on New Economic ... 2015 (Springer Proceedings in Complexity)

Springer

£107.31 01 Mar 2026
Hybrid Dynamical Systems: An Introduction to Control and Verification (Foundations and Trends® in Systems and Control)
96% match

Hybrid Dynamical Systems: An Introduction to Control and Verification (Foundations and Trends® in Systems and Control)

now publishers Inc

Out of Stock 19 Feb 2026
Stability and Control of Time-delay Systems: 228 (Lecture Notes in Control and Information Sciences, 228)
96% match

Stability and Control of Time-delay Systems: 228 (Lecture Notes in Control and Information Sciences, 228)

Springer

£83.95 08 Jan 2026
ADVANCES IN ANALYSIS AND CONTROL OF TIME-DELAYED DYNAMICAL SYSTEMS
96% match

ADVANCES IN ANALYSIS AND CONTROL OF TIME-DELAYED DYNAMICAL SYSTEMS

World Scientific Publishing Company

£69.70 09 Mar 2026
Recent Advances in Control and Filtering of Dynamic Systems with Constrained Signals: 170 (Studies in Systems, Decision and Control, 170)
96% match

Recent Advances in Control and Filtering of Dynamic Systems with Constrained Signals: 170 (Studies in Systems, Decision and Control, 170)

Springer

£97.26 23 Feb 2026
An Introduction to Hybrid Dynamical Systems: 251 (Lecture Notes in Control and Information Sciences, 251)
96% match

An Introduction to Hybrid Dynamical Systems: 251 (Lecture Notes in Control and Information Sciences, 251)

Springer

£41.15 13 Apr 2026
Stability and Control of Large-Scale Dynamical Systems: A Vector Dissipative Systems Approach (Princeton Series in Applied Mathematics): 41
96% match

Stability and Control of Large-Scale Dynamical Systems: A Vector Dissipative Systems Approach (Princeton Series in Applied Mathematics): 41

Princeton University Press

£56.04 03 Feb 2026
Dynamic Systems with Time Delays: Stability and Control
96% match

Dynamic Systems with Time Delays: Stability and Control

Springer

£89.05 11 Jan 2026
An Introduction to Optimal Control Theory: The Dynamic Programming Approach: 76 (Texts in Applied Mathematics, 76)
96% match

An Introduction to Optimal Control Theory: The Dynamic Programming Approach: 76 (Texts in Applied Mathematics, 76)

£49.92 12 Dec 2025
Dissipative Systems Analysis and Control: Theory and Applications (Communications and Control Engineering)
96% match

Dissipative Systems Analysis and Control: Theory and Applications (Communications and Control Engineering)

Springer

£120.92 07 Jan 2026
Linear Continuous-Time Systems
96% match

Linear Continuous-Time Systems

CRC Press

£93.00 07 Mar 2026
Linear Time Varying Systems and Sampled-data Systems: 265 (Lecture Notes in Control and Information Sciences, 265)
96% match

Linear Time Varying Systems and Sampled-data Systems: 265 (Lecture Notes in Control and Information Sciences, 265)

Springer

£115.07 15 Apr 2026
Stability, Control and Differential Games: Proceedings of the International Conference “Stability, Control, Differential Games” (SCDG2019) (Lecture ... and Information Sciences - Proceedings)
96% match

Stability, Control and Differential Games: Proceedings of the International Conference “Stability, Control, Differential Games” (SCDG2019) (Lecture ... and Information Sciences - Proceedings)

Springer

£219.99 19 Apr 2026
Advanced Discrete-Time Control: Designs and Applications: 23 (Studies in Systems, Decision and Control, 23)
96% match

Advanced Discrete-Time Control: Designs and Applications: 23 (Studies in Systems, Decision and Control, 23)

Springer

£60.80 08 Mar 2026
Controllability of Singularly Perturbed Linear Time Delay Systems (Systems & Control: Foundations & Applications)
96% match

Controllability of Singularly Perturbed Linear Time Delay Systems (Systems & Control: Foundations & Applications)

Birkhauser

£91.56 09 Mar 2026
Control Theory of Infinite-Dimensional Systems: 277 (Operator Theory: Advances and Applications, 277)
96% match

Control Theory of Infinite-Dimensional Systems: 277 (Operator Theory: Advances and Applications, 277)

£107.85 07 Jan 2026
Event-Triggered Sliding Mode Control: A New Approach to Control System Design: 139 (Studies in Systems, Decision and Control, 139)
96% match

Event-Triggered Sliding Mode Control: A New Approach to Control System Design: 139 (Studies in Systems, Decision and Control, 139)

Springer

£70.09 23 Feb 2026
Event-Triggered Sliding Mode Control: A New Approach to Control System Design: 139 (Studies in Systems, Decision and Control, 139)
96% match

Event-Triggered Sliding Mode Control: A New Approach to Control System Design: 139 (Studies in Systems, Decision and Control, 139)

Springer

£74.25 21 Feb 2026
Hybrid Dynamical Systems: Modeling, Stability, and Robustness
96% match

Hybrid Dynamical Systems: Modeling, Stability, and Robustness

Princeton University Press

£62.32 24 Feb 2026