scholarly journals First Passage Time Analysis of Stochastic Process Algebra Using Partial Orders

Author(s):  
Theo C. Ruys ◽  
Rom Langerak ◽  
Joost-Pieter Katoen ◽  
Diego Latella ◽  
Mieke Massink
2018 ◽  
Vol 13 (1) ◽  
pp. 10 ◽  
Author(s):  
Pengbo Xu ◽  
Weihua Deng

For the particles undergoing the anomalous diffusion with different waiting time distributions for different internal states, we derive the Fokker-Planck and Feymann-Kac equations, respectively, describing positions of the particles and functional distributions of the trajectories of particles; in particular, the equations governing the functional distribution of internal states are also obtained. The dynamics of the stochastic processes are analyzed and the applications, calculating the distribution of the first passage time and the distribution of the fraction of the occupation time, of the equations are given. For the further application of the newly built models, we make very detailed discussions on the none-immediately-repeated stochastic process, e.g., the random walk of smart animals.


2014 ◽  
Vol 38 (2) ◽  
pp. 407-413 ◽  
Author(s):  
Michael E. Byrne ◽  
Joshua D. Guthrie ◽  
Jason Hardin ◽  
Bret A. Collier ◽  
Michael J. Chamberlain

Sign in / Sign up

Export Citation Format

Share Document