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
BuchGebunden
202 Seiten
Englisch
Springererschienen am15.06.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.
Zusammenfassung
Unified presentation of different abstraction techniques for hybrid systems

Unified treatment of the notions of simulation and bisimulation across discrete, continuous and hybrid systems

Thorough discussion of the recently introduced notions of approximate simulation and bisimulation for continuous and hybrid systems

Illustration of the concepts through examples

Includes supplementary material: sn.pub/extras
Details
ISBN/GTIN978-1-4419-0223-8
ProduktartBuch
EinbandartGebunden
Verlag
Erscheinungsjahr2009
Erscheinungsdatum15.06.2009
Seiten202 Seiten
SpracheEnglisch
Gewicht478 g
IllustrationenXV, 202 p. 200 illus.
Artikel-Nr.11025351

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