Gaussian and Poisson distribution

Skip to first unread message

Ramesh Kumar

Feb 2, 2022, 7:04:50 AMFeb 2
to PRISM model checker
Hi Dave,

Need your help on how to express arrival rate of a variable with Gaussian and Poisson distribution in prism modeling language.

Thanks,     ...Ramesh

Gethin Norman

Feb 2, 2022, 8:44:33 AMFeb 2
to, Gethin Norman

you can model a Poisson distributions directly as this is just the exponential distribution, i.e. using a CTMC.

For other continuous distributions you can approximate using phase type distributions (which are convolutions of exponential distributions), i.e. as a sub-CTMC. The case for determinitsic distributions is explained here:

Note that this can cause a blow up in the size of the state space.


> --
> You received this message because you are subscribed to the Google Groups "PRISM model checker" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to
> To view this discussion on the web, visit

Ramesh Kumar

Feb 3, 2022, 12:56:09 AMFeb 3
to PRISM model checker
Thanks a lot, Gethin. I could understand implementing Poisson. Would go through the link for other distribution and would seek your support if I am stuck. 


Reply all
Reply to author
0 new messages