After we have an algorithm for hybrid systems in #138, we might face the problem of Zeno behavior, i.e., infinitely many discrete jumps in finite time. I got the suggestion to look at works for timed systems in bounded time (in unbounded time you do not have this problem for timed systems).
Such an issue may even arise in non-Zeno systems. If the time step is too big, the transition may still be taken within the first time interval (and hence the analysis may not terminate).
After we have an algorithm for hybrid systems in #138, we might face the problem of Zeno behavior, i.e., infinitely many discrete jumps in finite time. I got the suggestion to look at works for timed systems in bounded time (in unbounded time you do not have this problem for timed systems).