ABSTRACT
In this chapter we present the framework of CPDPs (Communicating Piecewise Deterministic Markov Processes), which is a compositional modelling framework for stochastic hybrid systems of the PDP type. (For the PDP model we refer to [4] or [3].) In this framework each component of a complex stochastic hybrid system can be modelled as a single CPDP and all these component CPDPs can be connected through a composition operator. As we will see, connecting two or more CPDP components results in another CPDP. In other words, the class of CPDP is closed under the composition operation. CPDP is an automaton framework (like the models from [1] and [11]). Another framework for compositional modelling of PDP-type systems is [5, 6], which is a Petri-net framework.
