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

£129.06

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

Name: Formal Methods for Discrete-Time Dynamical Systems: 89 (Studies in Systems, Decision and Control, 89)
Brand: Springer
Price: 129.06 GBP
Availability: InStock

Reference

This is the most expensive it has ever been. Walk away.

£129 today · previous high £129 · all-time low £123

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 36 days • 36 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 36 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £123 (19 days, 52.8%)

Price range: £123 - £129

Price levels: 2 different prices over 36 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. Review “This work is suitable both for researchers from these fields, and also young graduates, provided they are familiar with fundamental concepts of systems theory and theoretical computer science. A strong feature of this work is its plethora of examples, which greatly help in understanding the presented theory, and also help the reader get an idea for the applications that can be considered.” (Lazaros Moysis, zbMATH 1409.93003, 2019) “The book under review gives an introduction to and overview of particular verification methods for models of systems that evolve in discrete time and usually have unbounded state spaces. … The book can serve as a textbook for an advanced and specialised graduate course in formal methods or control theory.” (Martin Lange, Mathematical Reviews, February, 2018) From the Back Cover 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

Brand: Springer
Format: paperback
ASIN: 3319844857
Category: Books > Subjects > Reference
Domain: Amazon UK
Release Date: 21 July 2018
Listed Since: 21 July 2018

Barcode

No barcode data available

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

This is the most expensive it has ever been. Walk away.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

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

Semi-Markov Models: Control of Restorable Systems with Latent Failures

Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior: 29 (Progress in Computer Science and Applied Logic, 29)

Max-Plus Linear Stochastic Systems and Perturbation Analysis: 15 (The International Series on Discrete Event Dynamic Systems, 15)

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)

ADVANCES IN ANALYSIS AND CONTROL OF TIME-DELAYED DYNAMICAL SYSTEMS

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

Invariant Probabilities of Transition Functions: 44 (Probability and Its Applications)

Invariant Probabilities of Transition Functions: 44 (Probability and Its Applications)

Linear State/Signal Systems: 183 (Encyclopedia of Mathematics and its Applications, Series Number 183)

Introduction to Diagnosis of Active Systems

Introduction to Discrete Event Systems

Discrete-Time Markov Control Processes: Basic Optimality Criteria: 30 (Stochastic Modelling and Applied Probability, 30)

Continuous-Time Markov Chains and Applications: A Two-Time-Scale Approach: 37 (Stochastic Modelling and Applied Probability, 37)

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)

Controlled Markov Processes: 235 (Grundlehren der mathematischen Wissenschaften, 235)

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

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

Analysis, Modeling and Stability of Fractional Order Differential Systems 2: The Infinite State Approach (Systems and Industrial Engineering)

Mathematical Methods in Robust Control of Linear Stochastic Systems: 50 (Mathematical Concepts and Methods in Science and Engineering, 50)

Diagnosis and Fault-Tolerant Control

Dynamic Systems on Measure Chains: 370 (Mathematics and Its Applications, 370)

Optimal Control Theory for Infinite Dimensional Systems (Systems & Control: Foundations & Applications)

Cyclostationarity: Theory and Methods – IV: Contributions to the 10th Workshop on Cyclostationary Systems and Their Applications, February 2017, Grodek, Poland: 16 (Applied Condition Monitoring, 16)