Produkt
KlappentextHybrid systems are models for complex physical systems and have become a widely used concept for understanding their behavior. Hybrid systems analysis studies how we can build computerized controllers for physical systems which are guaranteed to meet their design goals.
ZusammenfassungIn this book, the author gives a unique logic-based perspective on hybrid systems analysis. It is the first book that leverages the power of logic for hybrid systems. The author's coherent logical approach covers theory, practice, and applications.
Details
ISBN/GTIN978-3-642-14508-7
ProduktartBuch
EinbandartGebunden
Verlag
Erscheinungsjahr2010
Erscheinungsdatum05.09.2010
Seiten426 Seiten
SpracheEnglisch
Gewicht902 g
IllustrationenXXX, 426 p.
Artikel-Nr.10003558
Rubriken