Bug 588 - Uppaal SMC features: operations and limitations of double/clock type
Summary: Uppaal SMC features: operations and limitations of double/clock type
Status: ASSIGNED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: Documentation (show other bugs)
Version: 4.1.19
Hardware: All All
: P5 enhancement
Assignee: Marius Mikučionis
URL:
Depends on:
Blocks:
 
Reported: 2014-10-30 08:10 CET by Marius Mikučionis
Modified: 2015-05-15 13:20 CEST (History)
1 user (show)

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 2014-10-30 08:10:45 CET
The following needs to be documented in Help:

1) Precision of integers and double floating point variables.

2) Built-in functions for floating point variables:
exp, ln, log, sin, cos, sqrt, random (uniform), fabs, pow, ceil, floor

(some more candidates: tan, asin, acos, atan, sinh, cosh, tanh, asinh, acosh, atanh, log2, exp2, min, max)

3) expression types in weights of edges and exponential rates on locations.

4) conversion rules between double and integer.