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

Bug 589

Summary: SMC trajectories contain duplicate points
Product: UPPAAL Reporter: Marius Mikučionis <marius>
Component: EngineAssignee: Marius Mikučionis <marius>
Status: ASSIGNED ---    
Severity: minor CC: adavid
Priority: P5    
Version: 4.1.19   
Hardware: All   
OS: All   
Architecture:
Bug Depends on: 595    
Bug Blocks:    

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.