range of variable

9 views

Skip to first unread message

Bluess

unread,

May 4, 2018, 10:15:39 PM5/4/18

to PRISM model checker

Hi, I am a student doing PRISM model checking now, I have a question about how to set the range of a variable.

u(t) is a control input with the range [-1,1], and it is the expression includes u(t): delta = a*u(t)*R where a and R are constant. So that how can I express u in PRISM. Thanks in advance!