MODELLING AND ANALYSIS OF HYBRID SYSTEMS

定　價：￥22.00

作　者：	本社編
出版社：	科學出版社
叢編項：
標　簽：	暫缺

購買這本書可以去

ISBN：	9787030139672	出版時間：	2004-12-01	包裝：	簡裝本
開本：	大16開	頁數(shù)：	124	字數(shù)：

內容簡介

暫缺《MODELLING AND ANALYSIS OF HYBRID SYSTEMS》簡介

作者簡介

暫缺《MODELLING AND ANALYSIS OF HYBRID SYSTEMS》作者簡介

圖書目錄

Chapter1Prologue
1.1TheFiniteStateMachineBasedNotations
1.1.1ThePhaseTransitionSystem
1.1.2TheHybridAutomata
1.1.3TheHybridGraphs
1.1.4HybridStatecharts
1.1.5IntegrationGraphs
1.2TheLogicBasedNotations
1.2.1DurationCalculus
1.2.2TLA+
1.2.3ERTL
1.3Discussion
1.4TheBook
Chapter2ModellingofDiscreteDynamicEventSystems
2.1Introduction
2.2Preliminaries
2.2.1TimeDomain
2.2.2TimedSystems
2.2.3TimedTraces
2.3TimedIntervalTemporalLogic
2.3.1Syntax
2.3.2Semantics
2.3.3Time-BoundedOperators
2.3.4SatisfactionandValidity
2.4ModellingofDiscreteEventSystems
2.5ModellingofContinuousComponents
2.6RelatedWorks
2.6.1TRIOLanguage
2.6.2TemporalLogicwithAge
2.6.3RealTimeLogic
2.7Conclusions
Chapter3AComputationalModelforHybridSystems
3.1Introduction
3.2HybridSystems
3.2.1TimeandTimeIntervals
3.2.2ObservingofHybridSystems
3.3ModellingofHybridSystems
3.4ExamplesofHybridSystems
3.5Conclusions
Chapter4AHybridProjectionTemporalLogic
4.1Introduction
4.2SyntaxandSemantics
4.2.1Syntax
4.2.2Semantics
4.2.3SatisfactionandValidity
4.3DerivedFormulas
4.4PrecedenceRules
4.5ExamplesofHybridSystems
4.5.1TheTemperatureController
4.5.2TheCatandTheMouse
4.5.3TheLeakingGasBurner
4.6Conclusions
Chapter5HybridMachines
5.1Introduction
5.2HybridMachines
5.2.1Definition
5.2.2BehavioursandComputations
5.3ExamplesofHybridSystems
5.3.1TheTemperatureController
5.3.2TheCatandTheMouse
5.3.3TheLeakingGasBurner
5.4ModellingaSoakingPitFurnace
5.5Conclusions
Chapter6ParallelHybridMachines
6.1Introduction
6.2ParallelHybridMachines
6.3BehavioursandComputations
6.4ModelingofaSoakingPitFurnaceSystem
6.4.1InformalDescriptions
6.4.2SpecifyingtheSoakingPitFurnaceSysteminPHM
6.5Conclusions
Chapter7HierarchicHybridMachines
7.1Introduction
7.2AHierarchicRepresentationofHMs
7.3RefinementsofHybridSystems
7.4ModelingaSoakingPitFurnaceSystem
7.4.1InformalDescriptions
7.4.2Refinements
7.5Conclusions
Chapter8FromRequirementstoSpecifications
8.1Introduction
8.2Methodology
8.3TheExample
8.4Conclusions
Chapter9Epilogue
9.1TITL
9.2TheComputationalModel
9.3HPTL
9.4HM
9.5PHM
9.6HHM
9.7TheEvolutionaryMethodology
9.8SimulationandControlofHybridSystems
Chapter10Appendix
10.1Verifications
10.2TheTheorem
Bibliography
index