Kniha momentálne nie je na sklade
Parametre
Kategórie
Viac o knihe
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.
Nákup knihy
Algebraic calculi for hybrid systems, Peter Höfner
- Jazyk
- Rok vydania
- 2009
Akonáhle sa objaví, pošleme vám e-mail.
Doručenie
Platobné metódy
Navrhnúť zmenu
- Titul
- Algebraic calculi for hybrid systems
- Jazyk
- anglicky
- Autori
- Peter Höfner
- Vydavateľ
- Books on Demand GmbH
- Rok vydania
- 2009
- ISBN10
- 3839125103
- ISBN13
- 9783839125106
- Kategórie
- Počítače, IT, programovanie
- Anotácia
- 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.