Das Buch ist derzeit nicht auf Lager
Parameter
Kategorien
Mehr zum Buch
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 theoryis proved by first case studies.
Buchkauf
Algebraic calculi for hybrid systems, Peter Höfner
- Sprache
- Erscheinungsdatum
- 2009
Wir benachrichtigen dich per E-Mail.
Lieferung
Zahlungsmethoden
Feedback senden
- Titel
- Algebraic calculi for hybrid systems
- Sprache
- Englisch
- Autor*innen
- Peter Höfner
- Verlag
- Books on Demand GmbH
- Erscheinungsdatum
- 2009
- ISBN10
- 3839125103
- ISBN13
- 9783839125106
- Kategorie
- Informatik & Programmierung
- 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 theoryis proved by first case studies.