Autorenfreundlich Bücher kaufen?!
Beschreibung
Hybrid systems --- heterogeneous systems characterised by the interaction of discrete and continuous dynamics --- are used to model safety critical systems. They have found widespread applications ranging from control systems to biological processes.
This book aims at a compact treatment of verification tasks. It presents fundamental algebraic methods for the analysis of hybrid systems. Advantages that accrue by an algebraic approach are conciseness, clarity and simplicity; in particular with respect to (computer-aided) calculation rules.
The suitability and the relevance of the theory
is proved by first case studies.
Details
| Verlag | BoD – Books on Demand |
| Ersterscheinung | 07. Dezember 2009 |
| Maße | 22.6 cm x 17.5 cm x 1.9 cm |
| Gewicht | 534 Gramm |
| Format | Hardcover |
| ISBN-13 | 9783839125106 |
| Auflage | 1. Auflage |
| Seiten | 216 |
Schlagwörter
Herstellerinformationen
Bekannt durch
