Gaussian and Poisson distribution

[Ramesh Kumar]

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]

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]

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