Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Formal Methods for Discrete-Time Dynamical Systems

Calin Belta

Boyan Yordanov

Ebru Aydin Gol

Sprache

Englisch

Buch Broschur

Libristo-Code: 20093680

Verlag Springer International Publishing AG, Juli 2018

This book bridges fundamental gaps between control theory and formal methods. Although it focuses on... Vollständige Beschreibung

Libristo-Code: 20093680

494 b

201.79 € inkl. MwSt.

Externes Lager Wir versenden in 10-18 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Des Fibromes de la Trompe Uterine PORET-A

Broschur

15.09 €

Gülüm Demet Altinyeleklioglu

Broschur

27.09 €

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

Broschur

98.59 €

Automat Automat

Audio CD

23.89 €

NETTER. BIOQUÍMICA ESENCIAL PETER RONNER

Hardcover

74.99 €

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

Blatt

9.09 €

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

Broschur

17.95 €

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

Hardcover

12.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

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 - Broschur

Datum der Veröffentlichung 2018

Anzahl der Seiten 284

EAN 9783319844855

Libristo-Code 20093680

Verlag Springer International Publishing AG

Gewicht 4628

Abmessungen 155 x 235 x 17

Kategorie

Nachschlagewerke, Informationswissenschaften und Interdisziplinäre Themen > Forschung und Information, allgemein > Informationstheorie > Kybernetik und Systemtheorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik

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

Handbook of the Extracellular Matrix Fatima Raquel Azevedo Maia

Hardcover

642.39 €

Raising the Dead D. B. SIEDERS

Broschur

14.99 €

Silence of the Gods Francis Young

Hardcover

26.59 €

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

Hardcover

137.29 €

Anecdotes, Poetry and Incidents of the War Frank Moore

Hardcover

104.09 €

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

Broschur

34.59 €