Title :
Value passing for communicating piecewise deterministic Markov processes
Author :
Strubbe, Stefan ; Van der Schaft, Arjan ; Julius, Agung
Author_Institution :
Fac. of Electr. Eng., Math. & Comput. Sci., Twente Univ., Enschede
Abstract :
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
Keywords :
Markov processes; piecewise linear techniques; stochastic systems; PDP-type stochastic hybrid system; air traffic management system; communicating piecewise deterministic Markov process; compositional specification; value passing CPDP model; Automata; Computer science; Equations; Markov processes; Mathematics; Power system modeling; Stochastic systems; Telecommunication traffic; Traffic control; Virtual manufacturing;
Conference_Titel :
American Control Conference, 2006
Conference_Location :
Minneapolis, MN
Print_ISBN :
1-4244-0209-3
Electronic_ISBN :
1-4244-0209-3
DOI :
10.1109/ACC.2006.1657469
