MODELLING AND ANALYSIS OF HYBRID SYSTEMS 下载 pdf 百度网盘 epub 免费 2025 电子版 mobi 在线

暂无相关简介，正在全力查找中！

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

暂无相关内容，正在全力查找中

暂无出版社相关信息，正在全力查找中！

暂无相关书籍摘录，正在全力查找中！

在线阅读地址：MODELLING AND ANALYSIS OF HYBRID SYSTEMS在线阅读

在线听书地址：MODELLING AND ANALYSIS OF HYBRID SYSTEMS在线收听

在线购买地址：MODELLING AND ANALYSIS OF HYBRID SYSTEMS在线购买

暂无原文赏析，正在全力查找中！

暂无其它内容！