MODELLING AND ANALYSIS OF HYBRID SYSTEMS

定　價(jià)：￥22.00

作　者：	本社編
出版社：	科學(xué)出版社
叢編項(xiàng)：
標(biāo)　簽：	暫缺

購(gòu)買(mǎi)這本書(shū)可以去

ISBN：	9787030139672	出版時(shí)間：	2004-12-01	包裝：	簡(jiǎn)裝本
開(kāi)本：	大16開(kāi)	頁(yè)數(shù)：	124	字?jǐn)?shù)：

內(nèi)容簡(jiǎn)介

暫缺《MODELLING AND ANALYSIS OF HYBRID SYSTEMS》簡(jiǎn)介

作者簡(jiǎn)介

暫缺《MODELLING AND ANALYSIS OF HYBRID SYSTEMS》作者簡(jiǎn)介

圖書(shū)目錄

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