Value passing for communicating piecewise deterministic Markov processes

In this paper, we extend the CPDP model, which is used for compositional specification of PDP-type stochastic hybrid systems, to the value passing CPDP model. With value passing we can express communication of values of continuous variables between CPDP components. We show that the class of value passing CPDPs is closed under composition. We illustrate the use of value passing CPDPs by modelling an air traffic management system as a network of interacting value passing CPDPs