ariadne-cps / release-1.0

Frozen 1.0 release of the Ariadne C++ framework for cyber-physical systems
http://www.ariadne-cps.org
GNU General Public License v3.0
0 stars 0 forks source link

Missed events when the step size is large #52

Open lgeretti opened 7 years ago

lgeretti commented 7 years ago

Originally reported by Luca Geretti (Bitbucket: lgeretti, GitHub: lgeretti)


Using a very large step (i.e., 70), the painting example shows a problem: the guard for comes/leaves events is hit along with the switch_left or switch_right. Ultimately, two trajectories for the comes or switch_left/switch_right are produced. The first one has a large error and it may stop, the second one continues unabated. The ending result is a sequence of switch_left and switch_right events (in which the cover event is not even hit).