Hugendubel.info - Die B2B Online-Buchhandlung 

Merkliste
Die Merkliste ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Verification and Control of Hybrid Systems

A Symbolic Approach
BuchKartoniert, Paperback
202 Seiten
Englisch
Springererschienen am05.11.2010Softcover reprint of hardcover 1st ed. 2009
Hybrid systems describe the interaction of software, described by finite models such as finite-state machines, with the physical world, described by infinite models such as differential equations.mehr
Verfügbare Formate
BuchGebunden
EUR144,50
BuchKartoniert, Paperback
EUR139,09
E-BookPDF1 - PDF WatermarkE-Book
EUR128,39

Produkt

KlappentextHybrid systems describe the interaction of software, described by finite models such as finite-state machines, with the physical world, described by infinite models such as differential equations.
ZusammenfassungThis book examines several classes of hybrid systems, admitting symbolic models along with the relationships between them. It outlines several key verification and control synthesis results for hybrid systems.
Details
ISBN/GTIN978-1-4419-5498-5
ProduktartBuch
EinbandartKartoniert, Paperback
Verlag
Erscheinungsjahr2010
Erscheinungsdatum05.11.2010
AuflageSoftcover reprint of hardcover 1st ed. 2009
Seiten202 Seiten
SpracheEnglisch
Gewicht334 g
IllustrationenXV, 202 p. 200 illus.
Artikel-Nr.10285174

Inhalt/Kritik

Inhaltsverzeichnis
Basic concepts.- Systems.- Verifcation problems.- Control problems.- Finite systems.- Exact system relationships.- Verification.- Control.- Infinite Systems Exact symbolic models.- Exact symbolic models for verification.- Exact symbolic models for control.- Infinite Systems Approximate symbolic models.- Approximate system relationships.- Approximate symbolic models for verification.- Approximate symbolic models for control.mehr
Kritik
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)mehr