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