Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
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
0
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
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Formal Methods for Discrete-Time Dynamical Systems

Language EnglishEnglish
Book Hardback
Book Formal Methods for Discrete-Time Dynamical Systems Calin Belta
Libristo code: 15460068
Publishers Springer International Publishing AG, March 2017
This book bridges fundamental gaps between control theory and formal methods. Although it focuses on... Full description
? points 460 b
67 175 Ft
In stock at our supplier Shipping in 10-13 days

Up to 30 days for returns

Customers also purchased

Comune di Parigi Lenin / Book Paperback
common.buy 4 616 Ft
Was wissen sie vom Freisein Esther Hansen / Book Hardback
common.buy 8 081 Ft
Die Todesmarsche 1944/45 Daniel Blatman / E-book Adobe ePub DRM
common.buy 3 902 Ft
Fundamentos da Biblia Sagrada - VOLUME NOVE Leandro Bertoldo / E-book Adobe ePub DRM
common.buy 820 Ft
Авонлейские хроники. Подарочное издание Люси Мод Монтгомери / Book Hardback
common.buy 6 178 Ft
BLUEY. BUENAS NOCHES, MURCIELAGO DE LA FRUTA BBC STUDIOS / Book Book
common.buy 3 593 Ft
Pädagogische Kompetenz eines Lehrers der beruflichen Bildung Ozoda Safibullaevna Abdullaeva / Book Paperback
common.buy 13 102 Ft
Antes de Watchmen: Moloch O.C. STRACZYNSKI / Book Paperback
common.buy 1 783 Ft
Des Menschen bester Freund Fabian Elfeld / Book Paperback
common.buy 4 907 Ft
Le Sar Rabin Dranath Duval Dac / Audiobook MP3
common.buy 1 401 Ft
Andělé všedního dne Michal Viewegh / Book Hardback
common.buy 3 944 Ft
1895, N 16/JUIN 1994 Book Paperback
common.buy 7 247 Ft
Kayip Papirüs Christa Holtei / Book Paperback
common.buy 3 916 Ft
Top
Cuentos Completos / Complete Short Stories: Jorge Luis Borges Jorge Luis Borges / Book Paperback
common.buy 6 137 Ft
Leibniz und Kant Jürgen Mittelstraß / Book Hardback
common.buy 76 039 Ft
Manzul de Vant: Roman Pentru Copii Petre Ghelmez / Book Paperback
common.buy 3 944 Ft
101 preguntas a Ramiro Calle Ramiro Calle / Book Paperback
common.buy 5 625 Ft
La cuina dels bolets SERGI DE MEIA / Book Paperback
common.buy 9 702 Ft
Cero limites / Zero Limits Joe Vitale / Book Paperback
common.buy 5 303 Ft
Reescalonamento dinamico de processos Gomes Roberto De Quadros / Book Paperback
common.buy 22 367 Ft
Fosses Septiques Et Puits d'Eau Potable Amine Belbahi / Book Paperback
common.buy 13 789 Ft
UNESCO-Weltnaturerbestatten in Deutschland - Typisierung und Vermarktung Yvonne Kirchhöfer / Book Paperback
common.buy 6 252 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
Ewa Kasp
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 - Hardback
Date of issue 2017
Number of pages 284
EAN 9783319507620
ISBN 9783319507620
Libristo code 15460068
Publishers Springer International Publishing AG
Weight 5797
Dimensions 155 x 235 x 23

Categories

Reference, Information & Interdisciplinary subjects > Research & information: general > Information theory > Cybernetics & systems theory
Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering
Technology, Engineering, Agriculture > Technology: general issues > Engineering: general
Computing & Information Technology > Computer science > Systems analysis & design
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Information Security and Cryptology - ICISC 2015 Soonhak Kwon / Book Paperback
common.buy 19 838 Ft
Der Super Mario Bros. Film Aaron Horvath / Video DVD
common.buy 4 252 Ft
Italian Cook Book Olga Ragusa / Book Paperback
common.buy 5 929 Ft
Prayer of the Black Bear Eddie Salas / E-book Adobe ePub DRM
common.buy 1 622 Ft
A Cruise Across Europe: Notes On A Freshwater Voyage From Holland To The Black Sea (1907) Donald Maxwell / Book Paperback
common.buy 8 297 Ft
The Camera Fiend E W Hornung / Book Paperback
common.buy 3 534 Ft
The Waverley Novels; Volume 8 Sir Walter Scott / Book Hardback
common.buy 13 849 Ft
House with a Clock in Its Walls John Bellairs / Book Paperback
common.buy 3 727 Ft
Premonition Code Theresa Cheung / Book Paperback
common.buy 5 243 Ft
Strength Training NOT Bodybuilding Marc McLean / Book Paperback
common.buy 5 330 Ft
Oboe Solos: Four Pieces for Oboe with Piano Accompaniment Javier Marco / Book Paperback
common.buy 3 607 Ft
Path of Christianity - The First Thousand Years John Anthony McGuckin / Book Hardback
common.buy 21 842 Ft
Becoming a Kink Aware Therapist Caroline Shahbaz / Book Hardback
common.buy 33 180 Ft
Walden / Civil Disobedience / and Other Writings Henry David Thoreau / Book Paperback
common.buy 8 560 Ft
Active Citizenship and Multiple Identities in Europe Danny Wildemeersch / Book Paperback
common.buy 39 694 Ft
Bureaucrats and Politicians in Western Democracies Joel D. Aberbach / Book Paperback
common.buy 18 073 Ft
Self-Organization and Green Applications in Cognitive Radio Networks Anwer Al-Dulaimi / Book Hardback
common.buy 73 440 Ft
Introduction to Satellite Communication Bruce R. Elbert / Book Hardback
common.buy 52 142 Ft
Handbook for Administrators and Executors of Estates B Gene Bowyer / Book Paperback
common.buy 3 566 Ft
"From Sun-Up to Sun-Down" M M Whelan / Book Paperback
common.buy 6 063 Ft
Colonised Coasts Daniel A. Bergquist / Book Paperback
common.buy 24 367 Ft

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?