Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Formal Methods for Discrete-Time Dynamical Systems

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Formal Methods for Discrete-Time Dynamical Systems Calin Belta
Libristo-code: 20093680
Uitgeverij Springer International Publishing AG, juli 2018
This book bridges fundamental gaps between control theory and formal methods. Although it focuses on... Volledige beschrijving
? points 423 b
174.89 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Des Fibromes de la Trompe Uterine PORET-A / Boek Gebonden (paperback)
common.buy 14.56 €
Gülüm Demet Altinyeleklioglu / Boek Gebonden (paperback)
common.buy 26.09 €
Les espaces de travail et les limites du fonctionnel Ahlem Ben Abdessalem / Boek Gebonden (paperback)
common.buy 83.55 €
Automat Automat / Audio Audio cd
common.buy 23.05 €
NETTER. BIOQUÍMICA ESENCIAL PETER RONNER / Boek Gebonden (harde band)
common.buy 72.82 €
Deutsche Bauernmesse für Dreigesang und Stubenmusik, Ausgabe A, Chorpartitur Annette Thoma / Boek Blad
common.buy 8.79 €
Aufbau und Struktur von Daniel Kehlmanns "Die Vermessung der Welt Corinna Gronau / Boek Gebonden (paperback)
common.buy 16.18 €
A befektetés pszichológiájának kiskönyve James Montier / Boek Gebonden (harde band)
common.buy 11.72 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Formal Methods for Discrete-Time Dynamical Systems
Auteur Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2018
Aantal pagina's 284
EAN 9783319844855
Libristo-code 20093680
Uitgeverij Springer International Publishing AG
Gewicht 4628
Afmetingen 155 x 235 x 17

Categorieën

Naslagwerken, informatie en interdisciplinaire onderwerpen > Onderzoek en informatie: algemeen > Informatietheorie > Cybernetica en systeemtheorie
Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie > Automatische controletechnologie
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Handbook of the Extracellular Matrix Fatima Raquel Azevedo Maia / Boek Gebonden (harde band)
common.buy 565.16 €
Raising the Dead D. B. SIEDERS / Boek Gebonden (paperback)
common.buy 14.25 €
TOP
Silence of the Gods Francis Young / Boek Gebonden (harde band)
common.buy 25.28 €
Form and Forces - Designing Efficient, Expressive Structures +WS Edward Allen / Boek Gebonden (harde band)
common.buy 138.88 €
Anecdotes, Poetry and Incidents of the War Frank Moore / Boek Gebonden (harde band)
common.buy 88.81 €
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 / Boek Gebonden (paperback)
common.buy 33.27 €
What's my name? CHANDA Tiina Walsh / Boek Gebonden (paperback)
common.buy 14.86 €
Bringing Back History: An Untold Story of the 'Mexican Repatriation' Elsie Guerrero / Boek Gebonden (harde band)
common.buy 19.41 €
First Course in Fuzzy Logic Nguyen / Boek Gebonden (harde band)
common.buy 198.87 €
Print Sales and Marketing: Traditional and Digital Customer Acquisition Slava Apel / Boek Gebonden (paperback)
common.buy 59.77 €
The Surgeon General's Call to Action to Prevent Skin Cancer U S Department of Healt Human Services / Boek Gebonden (paperback)
common.buy 19.31 €
Weather in Winter Jennifer Fretland VanVoorst / Boek Gebonden (harde band)
common.buy 33.07 €
Sadism And Masochism - The Psychology Of Hatred And Cruelty - Vol. I. Wilhelm Stekel / Boek Gebonden (paperback)
common.buy 35.70 €
The Darling Russell Banks / Boek Gebonden (paperback)
common.buy 18.00 €
Introduction to Scientific and Technical Computing Frank T. Willmore / Boek Gebonden (paperback)
common.buy 115.41 €
Calvino and the Landscape of Childhood Claudia Nocentini / Boek Gebonden (paperback)
common.buy 60.38 €
TOP
When Money Dies Adam Fergusson / Boek Gebonden (paperback)
common.buy 15.06 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?