书籍详情
MODELLING AND ANALYSIS OF HYBRID SYSTEMS
作者：本社编
出版社：科学出版社
出版时间：2004-12-01
ISBN：9787030139672
定价：¥22.00
购买这本书可以去
内容简介
暂缺《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
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
猜您喜欢
