This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Bug 589 - SMC trajectories contain duplicate points
Summary: SMC trajectories contain duplicate points
Status: ASSIGNED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: Engine (show other bugs)
Version: 4.1.19
Hardware: All All
: P5 minor
Assignee: Marius Mikučionis
URL:
Depends on: 595
Blocks:
  Show dependency tree
 
Reported: 2014-11-03 11:21 CET by Marius Mikučionis
Modified: 2015-05-15 13:21 CEST (History)
1 user (show)

See Also:
Architecture:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Marius Mikučionis 2014-11-03 11:21:46 CET 
Here is an example of simulation trajectories:

x:
[0]: (0,0) (0.0197047,0.0394093) (0.0197047,0.0394093) (0.0286561,0.0394093) (0.0286561,0.0394093) (4.1,-12.1746)
y:
[0]: (0,1) (0.0197047,1.05911) (0.0197047,1.05911) (0.0286561,1.05911) (0.0286561,1.05911) (4.1,-7.08357)


Observe: 2nd and 3rd, 4th and 5th points are consistently equal, while it is sufficient to have only one of them.

It is even worse with hybrid models using ODEs as every second point is the same.