Languages and Tools for Hybrid Systems Design
Seiten
2006
now publishers Inc (Verlag)
978-1-933019-28-4 (ISBN)
now publishers Inc (Verlag)
978-1-933019-28-4 (ISBN)
Offers a survey of languages and tools for the design and verification of hybrid systems. The book reviews and compares hybrid system tools by highlighting their differences in terms of their underlying semantics, expressive power and mathematical mechanisms. The review concludes with a comparative summary.
Languages and Tools for Hybrid Systems Design is a survey of languages and tools for the design and verification of hybrid systems. It reviews and compares hybrid system tools by highlighting their differences in terms of their underlying semantics, expressive power and mathematical mechanisms. The review concludes with a comparative summary, which suggests the need for a unifying approach to hybrid systems design.
As a step in this direction, the case is made for a semantic-aware interchange format, which would enable the use of joint techniques, make a formal comparison between different approaches possible, and facilitate exporting and importing design representations. The book is also intended to equip researchers, application developers and managers with key references and resource material for the successful development of hybrid systems.
Languages and Tools for Hybrid Systems Design is a survey of languages and tools for the design and verification of hybrid systems. It reviews and compares hybrid system tools by highlighting their differences in terms of their underlying semantics, expressive power and mathematical mechanisms. The review concludes with a comparative summary, which suggests the need for a unifying approach to hybrid systems design.
As a step in this direction, the case is made for a semantic-aware interchange format, which would enable the use of joint techniques, make a formal comparison between different approaches possible, and facilitate exporting and importing design representations. The book is also intended to equip researchers, application developers and managers with key references and resource material for the successful development of hybrid systems.
1 Introduction 2 Foundations 3 Tools for Simulation 4 Tools for Formal Verification 5 Comparative Summary 6 The Future: Towards the Development of a Standard Interchange Format
Reihe/Serie | Foundations and Trends® in Electronic Design Automation |
---|---|
Verlagsort | Hanover |
Sprache | englisch |
Maße | 156 x 234 mm |
Themenwelt | Mathematik / Informatik ► Informatik ► Theorie / Studium |
Technik ► Elektrotechnik / Energietechnik | |
ISBN-10 | 1-933019-28-X / 193301928X |
ISBN-13 | 978-1-933019-28-4 / 9781933019284 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Grundlagen – Anwendungen – Perspektiven
Buch | Softcover (2022)
Springer Vieweg (Verlag)
34,99 €
was jeder über Informatik wissen sollte
Buch | Softcover (2024)
Springer Vieweg (Verlag)
37,99 €
Eine Einführung in die Systemtheorie
Buch | Softcover (2022)
UTB (Verlag)
25,00 €