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.
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
impression à la demandeVendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
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
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : Neu. Druck auf Anfrage 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 62,67
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
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)