Error might occur when using Breach for trace generation

[nikos-kekatos]

This might be related to the eps_time used to describe the duration of the setpoints (sampling time of each setpoint of the reference trace).

eps_time = (sim_time/nbctrpt)*0.4;

For sim_time=10 and 2 control points, we end with setpoints holding from $0-2$, and then $2-10$. This might mean that the nominal controller might not have enough time to stabilize for the first setpoint and might spend too much time (being constant)on the second setpoint.

Such a definition of eps_time can be found at the Breach_interface_quad, falsification_breach, and running_simulations_Breach.