You do not have permission to delete messages in this group
Copy link
Report message
Sign in to report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
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 AM2/2/22
Reply to author
Sign in to reply to author
Forward
Sign in to forward
Delete
You do not have permission to delete messages in this group
Copy link
Report message
Sign in to report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
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:
You do not have permission to delete messages in this group
Copy link
Report message
Sign in to report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
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.