We consider a 2-dimensional Linear Time-Varying (LTV) system with Time-Varying (TV) and Time-Invariant (TI) uncertainties. The dynamics is defined by the following ODE:
such that are TV uncertainties and are TI uncertainties.
We compute the symbolic flowpipes over the time horizon . The time cost is around 0.2 seconds. The following figure shows the octagon overapproximations for the concretized flowpipes w.r.t. the initial set .
By changing the initial set in the output file (.flow file), we are able to reuse the symbolic flowpipes and obtain the concretized flowpipes for another initial set .