Computing Funnels Using Numerical Optimization Based Falsifiers
Jiří Fejlek,Stefan Ratschan,Jiří Fejlek,Stefan Ratschan
In this paper, we present an algorithm that computes funnels along trajectories of systems of ordinary differential equations. A funnel is a time-varying set of states containing the given trajectory, for which the evolution from within the set at any given time stays in the funnel. Hence it generalizes the behavior of single trajectories to sets around them, which is an important task, for exampl...
