KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb
Produktbild: Verification and Control of Hybrid Systems

Verification and Control of Hybrid Systems A Symbolic Approach

131,99 €

inkl. gesetzl. MwSt.

Beschreibung

Produktdetails

Format

PDF

Kopierschutz

Nein

Family Sharing

Nein

Text-to-Speech

Nein

Erscheinungsdatum

12.06.2009

Verlag

Springer New York

Seitenzahl

202 (Printausgabe)

Dateigröße

4281 KB

Sprache

Englisch

EAN

9781441902245

Beschreibung

Rezension

From the reviews:

“The book covers a wide range of foundational topics in verification and control of hybrid systems. … The exposition is … smooth and readable. The author is undoubtedly an excellent writer. The book may be strongly recommended to researchers who want to understand the mathematical foundations of this field.” (I. Meznik, Mathematical Reviews, Issue 2010 h)

“The rapidly growing and interdisciplinary research demands that researchers must understand concepts and tools from both computer science and control theory. This is undoubtedly a daunting task, and this is where this book can come to the rescue. It covers a wide range of foundational topics in verification and control of hybrid systems. … This book will be useful for researchers, engineers, computer scientists, and graduate students in the areas of formal methods, verification, model checking, and control.” (Alexander O. Ignatyev, Zentralblatt MATH, Vol. 1195, 2010)

Produktdetails

Format

PDF

eBooks im PDF-Format haben eine festgelegte Seitengröße und eignen sich daher nur bedingt zum Lesen auf einem tolino eReader oder Smartphone. Für den vollen Lesegenuss empfehlen wir Ihnen bei PDF-eBooks die Verwendung eines Tablets oder Computers.

Kopierschutz

Nein

Dieses eBook können Sie uneingeschränkt auf allen Geräten der tolino Familie, allen sonstigen eReadern und am PC lesen. Das eBook ist nicht kopiergeschützt und kann ein personalisiertes Wasserzeichen enthalten. Weitere Hinweise zum Lesen von eBooks mit einem personalisierten Wasserzeichen finden Sie unter Hilfe/Downloads.

Family Sharing

Nein

Mit Family Sharing können Sie eBooks innerhalb Ihrer Familie (max. sechs Mitglieder im gleichen Haushalt) teilen. Sie entscheiden selbst, welches Buch Sie mit welchem Familienmitglied teilen möchten. Auch das parallele Lesen durch verschiedene Familienmitglieder ist durch Family Sharing möglich. Um eBooks zu teilen oder geteilt zu bekommen, muss jedes Familienmitglied ein Konto bei Thalia oder einem anderen tolino-Buchhändler haben. Weitere Informationen finden Sie unter Hilfe/Family-Sharing.

Text-to-Speech

Nein

Bedeutet Ihnen Stimme mehr als Text? Mit der Funktion Text-to-Speech können Sie sich im tolino webReader und in der aktuellen Thalia – Lesen & Hören App das eBook vorlesen lassen. Weitere Informationen finden Sie unter Hilfe/Text-to-Speech.

Barrierefreiheit
  • keine Information zur Barrierefreiheit bekannt

Erscheinungsdatum

12.06.2009

Verlag

Springer New York

Seitenzahl

202 (Printausgabe)

Dateigröße

4281 KB

Sprache

Englisch

EAN

9781441902245

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

Weitere Artikel finden Sie in
  • Produktbild: Verification and Control of Hybrid Systems
  • Part I Basic concepts: Systems. Verification problems. Control problems.- Part II Finite systems: Exact system relationships. Verification. Control.- Part III Infinite Systems: Exact symbolic models: Exact symbolic models for verification. Exact symbolic models for control.- Part IV Infinite Systems: Approximate symbolic models: Approximate system relationships. Approximate symbolic models for verification. Approximate symbolic models for control.- Appendix. References.- Index.