Verification of Digital and Hybrid Systems - Couverture rigide

Couverture rigide

ISBN 10 : 3540655956 ISBN 13 : 9783540655954

Editeur : Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1999

Synopsis

This state-of-the-art tutorial overview of computer-aided verification, hybrid systems, and publicly available tools for design and verification is based on a NATO workshop. It has two parts. Part 1 addresses the basics of computer-aided verification of discrete event systems from two perspectives: automated theorem proving and model checking. In model checking, the essential problem of computational complexity is addressed, and the basic heuristics for dealing with this problem are presented. Part 2 formulates and classifies hybrid systems that capture continuous dynamics interacting with activated discrete event interruptions modeled by automata, and presents and discusses properties relevant to design and verification such as decidability, complexity, and expressibility for computer tools. The theory is illustrated with real-life examples. One novel and industrially relevant example is that of an intelligent highway transport system.

Détails de l'édition

• Éditeur: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
• Date d'édition: 1999
• Langue: anglais
• ISBN 10: 3540655956
• ISBN 13: 9783540655954
• Reliure: Relié
• Nombre de pages: 423
• Éditeur: Inan K., Kurshan R. P.
• Coordonnées du fabricant: non disponible
• Personne responsable: CMN Printpool Inh. Mathis Neumann; https://www.also.com/ec/cms5/en_6000/6000/index.jsp; ; Friedrich-Karl-Str. 9; Hamburg; Allemagne