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