دانلود کتاب Languages and Tools for Hybrid Systems Design (Foundations and Trends in Electronic Design Automation)

فهرست مطالب :

193301928X......Page 1
Introduction......Page 12
Formal definition of hybrid systems......Page 18
Examples......Page 22
Tools for Simulation......Page 30
Simulink and Stateflow......Page 31
Modelica......Page 45
HyVisual......Page 58
Scicos......Page 67
Shift......Page 79
Charon......Page 91
Tools for Formal Verification......Page 104
Introduction to verification methods......Page 108
Hytech......Page 111
Masaccio......Page 120
CheckMate......Page 126
PHAVer......Page 136
HSolver......Page 144
Ellipsoidal calculus for reachability......Page 150
d/dt......Page 153
Hysdel......Page 158
Comparative Summary......Page 172
The Future: Towards the Development of a Standard Interchange Format......Page 182
Semantic-free and semantically-inclusive interchange formats in EDA......Page 183
The hybrid system interchange format......Page 185
Requirements for a standard interchange format......Page 186
Metropolis-based abstract semantics for hybrid systems......Page 188
Conclusions......Page 190
Acknowledgements......Page 192
References......Page 194