《Modelling and Analysis of Hybrid Systems》是2004年科學出版社出版的圖書，作者是Duan Zhenhua。
基本介紹
- 書名：Modelling and Analysis of Hybrid Systems
- 作者：Duan Zhenhua
- 出版社：科學出版社
- 出版時間：2004年1月
- ISBN：7030139674
內容簡介,圖書目錄,
內容簡介
This book presents a Hybrid Projection Temporal Logic (HPTL) and Hybrid Machine notations to model, analyze and control hybrid real-time systems. The two specification languages are based on the same computational model for hybrid systems. This allows us to model, analyze and control a hybrid system in a uniform way.
圖書目錄
Contents
Chapter 1 Prologue
Chapter 2 Modelling of Discrete Dynamic Event Systems
Chapter 3 A Computational Model for Hybrid Systems
Chapter 4 A Hybrid Projection Temporal Logic
Chapter 5 Hybrid Machines
Chapter 6 Parallel Hybrid Machines
Chapter 7 Hierarchic Hybrid Machines
Chapter 8 From Requirements to Specifications
Chapter 9 Epilogue
Chapter 10 Appendix
Bibliography
Index
