Algebraic Calculi for Hybrid Systems

1. Auflage 2009
ISBN: 978-3-8391-2510-6
Verlag: BoD - Books on Demand

Buch, Englisch, 216 Seiten, HC runder Rücken mit Schutzumschlag, Format (B × H): 175 mm x 226 mm, Gewicht: 534 g

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.

Autoren/Hrsg.

Höfner, Peter

Über Autor(innen)

Höfner, Peter
Peter H\"ofner was born 1978. From 1998 to 2003 he\lb studied Mathematics at the University of Augsburg. Since 2003 he has worked as researcher at
the University of Augsburg and the University of Sheffield. In 2009 he received his doctor's degree for the thesis presented in this book.

Peter Höfner:
Peter H\"ofner was born 1978. From 1998 to 2003 he\lb studied Mathematics at the University of Augsburg. Since 2003 he has worked as researcher at
the University of Augsburg and the University of Sheffield. In 2009 he received his doctor's degree for the thesis presented in this book.