2 problems

Consider incremental affine abstraction of a nonlinear system using sample points in a domain, with a warm-start providing the initial samples. The second issue is that, when using…

Let $\mathcal{R}_1$ be the starting region for an incremental affine abstraction, and consider the issue of conservative approximations caused by constraints that guarantee future…