DocumentCode
2294802
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
fYear
2006
fDate
14-16 June 2006
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;
fLanguage
English
Publisher
ieee
Conference_Titel
American Control Conference, 2006
Conference_Location
Minneapolis, MN
Print_ISBN
1-4244-0209-3
Electronic_ISBN
1-4244-0209-3
Type
conf
DOI
10.1109/ACC.2006.1657469
Filename
1657469
Link To Document