Code: 15460068

Formal Methods for Discrete-Time Dynamical Systems

Name: Formal Methods for Discrete-Time Dynamical Systems
Brand: Springer International Publishing AG
SKU: 15460068
Price: 174.82 EUR
Availability: InStock
Author: Calin Belta
ISBN: 9783319507620

by Calin Belta, Boyan Yordanov, Ebru Aydin Gol

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

Language: English
Binding: Hardback
Number of pages: 284
Publisher: Springer International Publishing AG, 2017
More about this

174.82 €

RRP: 189.38 €

You save 14.56 €

In stock at our supplier
Shipping in 10 - 13 days

Add to wishlist

Der Super Mario Bros. Film
11.21 €
Buy
Walden / Civil Disobedience / and Other Writings
22.64 €
Buy
Italian Cook Book
14.85 € -1 %
Buy
Path of Christianity - The First Thousand Years
52.67 € -24 %
Buy
Oboe Solos: Four Pieces for Oboe with Piano Accompaniment
8.99 € -6 %
Buy
Cero limites / Zero Limits
14.96 € -10 %
Buy
Авонлейские хроники. Подарочное издание
17.48 € -12 %
Buy
Was wissen sie vom Freisein
20.82 € -14 %
Buy
A Cruise Across Europe: Notes On A Freshwater Voyage From Holland To The Black Sea (1907)
20.72 € -2 %
Buy
House with a Clock in Its Walls
10.51 €
Buy
Fosses Septiques Et Puits d'Eau Potable
35.68 € -29 %
Buy
Introduction to Satellite Communication
130.93 €
Buy
Comune di Parigi
13.03 €
Buy
Self-Organization and Green Applications in Cognitive Radio Networks
201.01 €
Buy
Becoming a Kink Aware Therapist
83.71 €
Buy
Strength Training NOT Bodybuilding
13.24 € -6 %
Buy
The Waverley Novels; Volume 8
34.57 € -2 %
Buy
Reescalonamento dinamico de processos
57.83 € -14 %
Buy
1895, N 16/JUIN 1994
20.52 €
Buy
Information Security and Cryptology - ICISC 2015
51.66 € -7 %
Buy
Pädagogische Kompetenz eines Lehrers der beruflichen Bildung
33.86 € -11 %
Buy
Colonised Coasts
68.95 € -3 %
Buy
Active Citizenship and Multiple Identities in Europe
103.53 € -4 %
Buy
"From Sun-Up to Sun-Down"
14.65 € -24 %
Buy
Kayip Papirüs
10.20 € -4 %
Buy
Des Menschen bester Freund
12.63 € -10 %
Buy
Bureaucrats and Politicians in Western Democracies
46 €
Buy
Handbook for Administrators and Executors of Estates
8.58 € -24 %
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

More about Formal Methods for Discrete-Time Dynamical Systems

Book details
Synopsis
Trending among others

You get 423 loyalty points

Book synopsis

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.