| |
|
|
| Chapter 1 Prologue 1.1 The Finite State Machine Based Notations 1.2 The Logic Based Notations 1.3 Discussion 1.4 The Book Chapter 2 Modelling of Discrete Dynamic Event Systems 2.1 Introduction 2.2 Prelimlinaries 2.3 Timed Interval Temporal Logic 2.4 Modelling of Discrete Event Systems 2.5 Modelling of Continuous Components 2.6 Related Works 2.7 Conclusions Chapter 3 A Computational Model for Hybrid Systems 3.1 Introduction 3.2 Hybrid Ststems 3.3 Modeling of Hybrid Systems 3.4 Examples of Hybrid Systems 3.5 Conclusions Chapter 4 A Hybrid Projection Temporal Logic 4.1 Introduction 4.2 Synatx and Semantics 4.3 Derived Formulas 4.4 Precedence Rules 4.5 Examples of Hybrid Systems 4.6 Conclusions Chapter 5 Habrid Machines 5.1 Introduction 5.2 Hybrid Machines 5.3 Examples of Hybrid Systems 5.4 Modelling Soaking Pit Furnace 5.5 Conclusions …… Chapter 6 Parallel Hybrid Machines Chapter 7 Hierarchic Hybrid Machines Chqpter 8 From Repquirements to Specfications Chapter 9 Epilogue Chapter 10 Appndix Bibiography Indx |
内容加载中，请稍后...
商品评论（0条）