£74.86

Springer Verification and Control of Hybrid Systems: A Symbolic Approach

Price data updated today

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.

£75 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 91 days • 91 data points

Historical
Generating forecast...
£91.94 £73.15 £77.25 £81.35 £85.45 £89.55 £93.65 08 March 2026 30 March 2026 22 April 2026 14 May 2026 06 June 2026

Price Distribution

Price distribution over 91 days • 2 price levels

Days at Price
Current Price
26 days · current 65 days 0 16 33 49 65 £75 £92 Days at Price

Price Analysis

Most common price: £92 (65 days, 71.4%)

Price range: £75 - £92

Price levels: 2 different prices over 91 days

Description

Hybrid systems describe the interaction of software, described by finite models such as finite-state machines, with the physical world, described by infinite models such as differential equations. This book addresses problems of verification and controller synthesis for hybrid systems. Although these problems are very difficult to solve for general hybrid systems, several authors have identified classes of hybrid systems that admit symbolic or finite models. The novelty of the book lies on the systematic presentation of these classes of hybrid systems along with the relationships between the hybrid systems and the corresponding symbolic models. To show how the existence of symbolic models can be used for verification and controller synthesis, the book also outlines several key results for the verification and controller design of finite systems. Several examples illustrate the different methods and techniques discussed in the book.

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
05 November 2010
Listed Since
23 December 2010

Barcode

No barcode data available

Similar Products You Might Like

Verification and Control of Hybrid Systems: A Symbolic Approach
100% match

Verification and Control of Hybrid Systems: A Symbolic Approach

Springer

£92.17 05 Jun 2026
Hybrid Systems, Optimal Control and Hybrid Vehicles: Theory, Methods and Applications (Advances in Industrial Control)
86% match

Hybrid Systems, Optimal Control and Hybrid Vehicles: Theory, Methods and Applications (Advances in Industrial Control)

Springer

£107.00 31 May 2026
Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics
85% match

Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics

Springer

£76.38 03 Jun 2026
Qualitative Theory of Hybrid Dynamical Systems (Control Engineering)
85% match

Qualitative Theory of Hybrid Dynamical Systems (Control Engineering)

Birkhauser

£107.98 26 May 2026
Viability of Hybrid Systems: A Controllability Operator Approach: 55 (Intelligent Systems, Control and Automation: Science and Engineering, 55)
84% match

Viability of Hybrid Systems: A Controllability Operator Approach: 55 (Intelligent Systems, Control and Automation: Science and Engineering, 55)

Springer

£73.82 20 May 2026
Modelling and Analysis of Hybrid Supervisory Systems: A Petri Net Approach (Advances in Industrial Control)
84% match

Modelling and Analysis of Hybrid Supervisory Systems: A Petri Net Approach (Advances in Industrial Control)

Springer

£76.38 25 May 2026
Symbolic Simulation Methods for Industrial Formal Verification
84% match

Symbolic Simulation Methods for Industrial Formal Verification

Springer

£73.60 27 May 2026
Modeling and Control of Hybrid Propulsion System for Ground Vehicles
84% match

Modeling and Control of Hybrid Propulsion System for Ground Vehicles

Springer

£106.63 04 Jun 2026
Hybrid Dynamical Systems: Fundamentals and Methods (Advanced Textbooks in Control and Signal Processing)
84% match

Hybrid Dynamical Systems: Fundamentals and Methods (Advanced Textbooks in Control and Signal Processing)

Springer

£73.59 31 May 2026
Fault Diagnosis of Hybrid Dynamic and Complex Systems
83% match

Fault Diagnosis of Hybrid Dynamic and Complex Systems

Springer

£76.38 05 Jun 2026
Model-based Health Monitoring of Hybrid Systems
83% match

Model-based Health Monitoring of Hybrid Systems

Springer

£76.06 26 May 2026
Theory of Hybrid Systems: Deterministic and Stochastic (Nonlinear Physical Science)
83% match

Theory of Hybrid Systems: Deterministic and Stochastic (Nonlinear Physical Science)

Springer

£107.29 03 Jun 2026
Switching in Systems and Control (Systems & Control: Foundations & Applications)
83% match

Switching in Systems and Control (Systems & Control: Foundations & Applications)

Birkhauser

£64.79 04 May 2026
H-Systems: Observability, Diagnosability, and Predictability of Hybrid Dynamical Systems (Communications and Control Engineering)
83% match

H-Systems: Observability, Diagnosability, and Predictability of Hybrid Dynamical Systems (Communications and Control Engineering)

Springer

£94.33 18 May 2026
Systems and Software Verification: Model-Checking Techniques and Tools
83% match

Systems and Software Verification: Model-Checking Techniques and Tools

Springer

£100.08 05 Jun 2026
Synchronous Equivalence: Formal Methods for Embedded Systems
82% match

Synchronous Equivalence: Formal Methods for Embedded Systems

Springer

£78.80 31 May 2026
Synchronous Equivalence: Formal Methods for Embedded Systems
82% match

Synchronous Equivalence: Formal Methods for Embedded Systems

Springer

£73.38 25 May 2026
Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction
82% match

Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction

Springer

£73.10 17 May 2026
System Synthesis with VHDL
82% match

System Synthesis with VHDL

Springer

£107.98 29 May 2026
Design of Embedded Control Systems
82% match

Design of Embedded Control Systems

Springer

£86.66 06 Jun 2026
Algebraic and Symbolic Computation Methods in Dynamical Systems: 9 (Advances in Delays and Dynamics, 9)
82% match

Algebraic and Symbolic Computation Methods in Dynamical Systems: 9 (Advances in Delays and Dynamics, 9)

Springer

£73.03 05 Jun 2026
Impulsive and Hybrid Dynamical Systems – Stability, Dissipativity, and Control: 15 (Princeton Series in Applied Mathematics)
82% match

Impulsive and Hybrid Dynamical Systems – Stability, Dissipativity, and Control: 15 (Princeton Series in Applied Mathematics)

Princeton University Press

£67.92 20 May 2026
Embedded Control System Design: A Model Based Approach
82% match

Embedded Control System Design: A Model Based Approach

Springer

£100.08 04 Jun 2026
Embedded Control System Design: A Model Based Approach
82% match

Embedded Control System Design: A Model Based Approach

Springer

£100.08 26 May 2026