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
69 041 Ft
In stock at our supplier Shipping in 10-13 days

Up to 30 days for returns

Customers also purchased

Giappone. Taccuini dal mondo fluttuante Stefano Faravelli / Book Hardback
common.buy 16 681 Ft
Le Sar Rabin Dranath Duval Dac / Audiobook MP3
common.buy 1 439 Ft
Die Todesmarsche 1944/45 Daniel Blatman / E-book Adobe ePub DRM
common.buy 3 996 Ft
Fundamentos da Biblia Sagrada - VOLUME NOVE Leandro Bertoldo / E-book Adobe ePub DRM
common.buy 843 Ft
BLUEY. BUENAS NOCHES, MURCIELAGO DE LA FRUTA BBC STUDIOS / Book Book
common.buy 3 693 Ft
Pädagogische Kompetenz eines Lehrers der beruflichen Bildung Ozoda Safibullaevna Abdullaeva / Book Paperback
common.buy 13 466 Ft
Comune di Parigi Lenin / Book Paperback
common.buy 7 358 Ft
Авонлейские хроники. Подарочное издание Люси Мод Монтгомери / Book Hardback
common.buy 6 350 Ft
Antes de Watchmen: Moloch O.C. STRACZYNSKI / Book Paperback
common.buy 1 818 Ft
Des Menschen bester Freund Fabian Elfeld / Book Paperback
common.buy 5 043 Ft
Was wissen sie vom Freisein Esther Hansen / Book Hardback
common.buy 8 286 Ft
Andělé všedního dne Michal Viewegh / Book Hardback
common.buy 4 053 Ft
1895, N 16/JUIN 1994 Book Paperback
common.buy 7 297 Ft
Mavi Günes Sari Gökyüzü Cep Boy Jamie Jo H. / Book Paperback
common.buy 3 632 Ft
Kayip Papirüs Christa Holtei / Book Paperback
common.buy 4 025 Ft
Top
Cuentos Completos / Complete Short Stories: Jorge Luis Borges Jorge Luis Borges / Book Paperback
common.buy 6 307 Ft
Leibniz und Kant Jürgen Mittelstraß / Book Hardback
common.buy 78 151 Ft
Manzul de Vant: Roman Pentru Copii Petre Ghelmez / Book Paperback
common.buy 4 053 Ft
101 preguntas a Ramiro Calle Ramiro Calle / Book Paperback
common.buy 5 781 Ft
La cuina dels bolets SERGI DE MEIA / Book Paperback
common.buy 9 953 Ft
Cero limites / Zero Limits Joe Vitale / Book Paperback
common.buy 5 450 Ft
Reescalonamento dinamico de processos Gomes Roberto De Quadros / Book Paperback
common.buy 91 608 Ft
Fosses Septiques Et Puits d'Eau Potable Amine Belbahi / Book Paperback
common.buy 14 172 Ft
UNESCO-Weltnaturerbestatten in Deutschland - Typisierung und Vermarktung Yvonne Kirchhöfer / Book Paperback
common.buy 9 550 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 20 389 Ft
Path of Christianity - The First Thousand Years John Anthony McGuckin / Book Hardback
common.buy 25 512 Ft
Italian Cook Book Olga Ragusa / Book Paperback
common.buy 6 094 Ft
Prayer of the Black Bear Eddie Salas / E-book Adobe ePub DRM
common.buy 1 681 Ft
A Cruise Across Europe: Notes On A Freshwater Voyage From Holland To The Black Sea (1907) Donald Maxwell / Book Paperback
common.buy 8 528 Ft
The Camera Fiend E W Hornung / Book Paperback
common.buy 3 632 Ft
The Waverley Novels; Volume 8 Sir Walter Scott / Book Hardback
common.buy 14 233 Ft
House with a Clock in Its Walls John Bellairs / Book Paperback
common.buy 3 812 Ft
Premonition Code Theresa Cheung / Book Paperback
common.buy 5 843 Ft
Der Super Mario Bros. Film Aaron Horvath / Video DVD
common.buy 4 370 Ft
Strength Training NOT Bodybuilding Marc McLean / Book Paperback
common.buy 5 478 Ft
Small Magics Ilona Andrews / Book Hardback
common.buy 9 820 Ft
Busty Barbarian Bimbos: A lighthearted fantasy roleplaying game for snickering adolescents John Fitzgerald / Book Paperback
common.buy 7 600 Ft
Oboe Solos: Four Pieces for Oboe with Piano Accompaniment Javier Marco / Book Paperback
common.buy 3 708 Ft
Live Healthy: improve your lifestyle Dr Erick Collado Luna / Book Paperback
common.buy 3 362 Ft
Becoming a Kink Aware Therapist Caroline Shahbaz / Book Hardback
common.buy 36 938 Ft
Walden / Civil Disobedience / and Other Writings Henry David Thoreau / Book Paperback
common.buy 7 538 Ft
Active Citizenship and Multiple Identities in Europe Danny Wildemeersch / Book Paperback
common.buy 40 782 Ft
Bureaucrats and Politicians in Western Democracies Joel D. Aberbach / Book Paperback
common.buy 18 575 Ft
Self-Organization and Green Applications in Cognitive Radio Networks Anwer Al-Dulaimi / Book Hardback
common.buy 75 480 Ft
Handbook for Administrators and Executors of Estates B Gene Bowyer / Book Paperback
common.buy 3 665 Ft
"From Sun-Up to Sun-Down" M M Whelan / Book Paperback
common.buy 6 231 Ft
Blackwell International Encyclopedia of Communication 12 Vol Set Wolfgang Donsbach / Book Hardback
common.buy 1 133 035 Ft
Colonised Coasts Daniel A. Bergquist / Book Paperback
common.buy 24 953 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?