Bug 543 - Estimation (E) query accepts only variable exressions
Summary: Estimation (E) query accepts only variable exressions
Status: ASSIGNED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: Engine (show other bugs)
Version: 4.1.13
Hardware: All All
: P5 normal
Assignee: Marius Mikučionis
URL:
Depends on:
Blocks:
 
Reported: 2013-01-17 11:14 CET by Marius Mikučionis
Modified: 2017-04-06 13:42 CEST (History)
0 users

See Also:
Architecture:


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description Marius Mikučionis 2013-01-17 11:14:31 CET
Consider declarations in a model:
typedef int[1, 10] id_t;
clock x[id_t];

Then the following works:
E[<=1; 1000] (max: x[1])

But the next one does not:
E[<=1; 1000] (max: (x[1]+x[2]))

Also it would be nice to handle other expressions like:
E[<=1; 1000] (max: sum(i:id_t) x[i])


And:
E[<=1; 1000] (max: random(3.14))

Lifting this restriction would allow designing custom distributions via experimentation.