Articles liés à Algebraic Calculi for Hybrid Systems
Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
À propos de l'auteur
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.
À propos de la quatrième de couverture
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.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Algebraic Calculi for Hybrid Systems
Image fournie par le vendeur
Algebraic Calculi for Hybrid Systems
Edité par
Books On Demand Dez 2009, 2009
ISBN 10 : 3839125103
ISBN 13 : 9783839125106
Neuf
Couverture rigide
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 216 pp. Englisch. N° de réf. du vendeur 9783839125106
Acheter neuf
EUR 34,95
Expédition à EUR 23
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Algebraic Calculi for Hybrid Systems
Edité par
Bod - Books On Demand, 2009
ISBN 10 : 3839125103
ISBN 13 : 9783839125106
Neuf
Couverture rigide
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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° de réf. du vendeur 9783839125106
Acheter neuf
EUR 34,95
Expédition à EUR 35
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Algebraic Calculi for Hybrid Systems
impression à la demandeVendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Gebunden. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 b. N° de réf. du vendeur 5430109
Acheter neuf
EUR 34,95
Expédition à EUR 48,99
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Algebraic Calculi for Hybrid Systems
Edité par
Books on Demand GmbH, 2009
ISBN 10 : 3839125103
ISBN 13 : 9783839125106
Neuf
Couverture rigide
Vendeur : preigu, Osnabrück, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : Neu. Algebraic Calculi for Hybrid Systems | Peter Höfner | Buch | 216 S. | Englisch | 2009 | Books on Demand GmbH | EAN 9783839125106 | Verantwortliche Person für die EU: BoD - Books on Demand, In de Tarpen 42, 22848 Norderstedt, info[at]bod[dot]de | Anbieter: preigu Print on Demand. N° de réf. du vendeur 101415961
Acheter neuf
EUR 34,95
Expédition à EUR 70
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 5 disponible(s)