Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €
phone Kontakt phoneWie einkaufen

Formal Methods for Discrete-Time Dynamical Systems

Sprache EnglischEnglisch
Buch Hardcover
Buch Formal Methods for Discrete-Time Dynamical Systems Calin Belta
Libristo-Code: 15460068
Verlag Springer International Publishing AG, März 2017
This book bridges fundamental gaps between control theory and formal methods. Although it focuses on... Vollständige Beschreibung
? points 446 b
182.19 € inkl. MwSt.
Externes Lager Wir versenden in 10-13 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Fosses Septiques Et Puits d'Eau Potable Amine Belbahi / Buch Broschur
common.buy 37.29 €
Comune di Parigi Lenin / Buch Broschur
common.buy 13.59 €
Авонлейские хроники. Подарочное издание Люси Мод Монтгомери / Buch Hardcover
common.buy 19.19 €
Was wissen sie vom Freisein Esther Hansen / Buch Hardcover
common.buy 24.00 €
Pädagogische Kompetenz eines Lehrers der beruflichen Bildung Ozoda Safibullaevna Abdullaeva / Buch Broschur
common.buy 37.90 €
Fundamentos da Biblia Sagrada - VOLUME NOVE Leandro Bertoldo / E-Book Adobe ePub DRM
common.buy 2.39 €
Die Todesmarsche 1944/45 Daniel Blatman / E-Book Adobe ePub DRM
common.buy 11.39 €
1895, N 16/JUIN 1994 Buch Broschur
common.buy 21.09 €
Cero limites / Zero Limits Joe Vitale / Buch Broschur
common.buy 15.59 €
Kayip Papirüs Christa Holtei / Buch Broschur
common.buy 10.59 €
Des Menschen bester Freund Fabian Elfeld / Buch Broschur
common.buy 14.00 €
UNESCO-Weltnaturerbestatten in Deutschland - Typisierung und Vermarktung Yvonne Kirchhöfer / Buch Broschur
common.buy 17.95 €
Reescalonamento dinamico de processos Gomes Roberto De Quadros / Buch Broschur
common.buy 60.59 €
101 preguntas a Ramiro Calle Ramiro Calle / Buch Broschur
common.buy 16.59 €
La cuina dels bolets SERGI DE MEIA / Buch Broschur
common.buy 26.29 €

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.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Formal Methods for Discrete-Time Dynamical Systems
Autor Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Sprache Englisch
Einband Buch - Hardcover
Datum der Veröffentlichung 2017
Anzahl der Seiten 284
EAN 9783319507620
ISBN 9783319507620
Libristo-Code 15460068
Verlag Springer International Publishing AG
Gewicht 5797
Abmessungen 155 x 235 x 23

Kategorie

Nachschlagewerke, Informationswissenschaften und Interdisziplinäre Themen > Forschung und Information, allgemein > Informationstheorie > Kybernetik und Systemtheorie
Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik
Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Technologie, allgemein > Ingenieurswesen, Maschinenbau allgemein
EDV und Informationstechnologie > Informatik > Systemanalyse und -design
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Information Security and Cryptology - ICISC 2015 Soonhak Kwon / Buch Broschur
common.buy 53.79 €
Oboe Solos: Four Pieces for Oboe with Piano Accompaniment Javier Marco / Buch Broschur
common.buy 9.79 €
Der Super Mario Bros. Film Aaron Horvath / Video DVD
common.buy 11.59 €
Prayer of the Black Bear Eddie Salas / E-Book Adobe ePub DRM
common.buy 4.79 €
Italian Cook Book Olga Ragusa / Buch Broschur
common.buy 16.09 €
A Cruise Across Europe: Notes On A Freshwater Voyage From Holland To The Black Sea (1907) Donald Maxwell / Buch Broschur
common.buy 22.59 €
The Camera Fiend E W Hornung / Buch Broschur
common.buy 9.59 €
The Waverley Novels; Volume 8 Sir Walter Scott / Buch Hardcover
common.buy 37.69 €
House with a Clock in Its Walls John Bellairs / Buch Broschur
common.buy 10.89 €
Strength Training NOT Bodybuilding Marc McLean / Buch Broschur
common.buy 14.49 €
Path of Christianity - The First Thousand Years John Anthony McGuckin / Buch Hardcover
common.buy 58.99 €
Becoming a Kink Aware Therapist Caroline Shahbaz / Buch Hardcover
common.buy 90.49 €
Active Citizenship and Multiple Identities in Europe Danny Wildemeersch / Buch Broschur
common.buy 107.79 €
Walden / Civil Disobedience / and Other Writings Henry David Thoreau / Buch Broschur
common.buy 23.29 €
Self-Organization and Green Applications in Cognitive Radio Networks Anwer Al-Dulaimi / Buch Hardcover
common.buy 218.69 €
Handbook for Administrators and Executors of Estates B Gene Bowyer / Buch Broschur
common.buy 9.59 €
"From Sun-Up to Sun-Down" M M Whelan / Buch Broschur
common.buy 16.39 €
Colonised Coasts Daniel A. Bergquist / Buch Broschur
common.buy 71.69 €
Bureaucrats and Politicians in Western Democracies Joel D. Aberbach / Buch Broschur
common.buy 49.39 €
Introduction to Satellite Communication Bruce R. Elbert / Buch Hardcover
common.buy 142.09 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?