Gaussian and Poisson distribution

8 views
Skip to first unread message

Ramesh Kumar

unread,
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

unread,
Feb 2, 2022, 8:44:33 AMFeb 2
to prismmod...@googlegroups.com, Gethin Norman
Rameh,

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:

https://www.prismmodelchecker.org/manual/FrequentlyAskedQuestions/PRISMModelling#det_delay

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

thanks

Gethin
> --
> 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 prismmodelchec...@googlegroups.com.
> To view this discussion on the web, visit https://groups.google.com/d/msgid/prismmodelchecker/1faca705-eb4a-4042-adf0-721b0c7b5caen%40googlegroups.com.

Ramesh Kumar

unread,
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. 

Ramesh

Reply all
Reply to author
Forward
0 new messages