Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Formal Methods for Discrete-Time Dynamical Systems

Calin Belta

Boyan Yordanov

Ebru Aydin Gol

Language

English

Book Paperback

Libristo code: 20093680

Publishers Springer International Publishing AG, July 2018

This book bridges fundamental gaps between control theory and formal methods. Although it focuses on... Full description

Libristo code: 20093680

460 b

67 106 Ft

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Des Fibromes de la Trompe Uterine PORET-A

Paperback

5 560 Ft

Gülüm Demet Altinyeleklioglu

Paperback

9 982 Ft

Les espaces de travail et les limites du fonctionnel Ahlem Ben Abdessalem

Paperback

32 267 Ft

Automat Automat

Audio CD

8 786 Ft

NETTER. BIOQUÍMICA ESENCIAL PETER RONNER

Hardback

25 685 Ft

Deutsche Bauernmesse für Dreigesang und Stubenmusik, Ausgabe A, Chorpartitur Annette Thoma

Sheet

3 153 Ft

Aufbau und Struktur von Daniel Kehlmanns "Die Vermessung der Welt Corinna Gronau

Paperback

6 245 Ft

A befektetés pszichológiájának kiskönyve James Montier

Hardback

4 548 Ft

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.

Actress & Polyglot

EWA KASP for

Play video

Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Formal Methods for Discrete-Time Dynamical Systems

Author Calin Belta, Boyan Yordanov, Ebru Aydin Gol

Language

English

Binding Book - Paperback

Date of issue 2018

Number of pages 284

EAN 9783319844855

Libristo code 20093680

Publishers Springer International Publishing AG

Weight 4628

Dimensions 155 x 235 x 17

You might also be interested in

Handbook of the Extracellular Matrix Fatima Raquel Azevedo Maia

Hardback

216 856 Ft

Raising the Dead D. B. SIEDERS

Paperback

5 560 Ft

Silence of the Gods Francis Young

Hardback

9 821 Ft

Form and Forces - Designing Efficient, Expressive Structures +WS Edward Allen

Hardback

48 306 Ft

Anecdotes, Poetry and Incidents of the War Frank Moore

Hardback

34 324 Ft

The History of Newmarket: And the Annals of the Turf: With Memoirs and Biographical Notices of the Habitues of Newmarket, and the Notable Turfit John Philip Hore

Paperback

12 684 Ft