Abstract: This letter considers the problem of piecewise affine abstraction with polytopic partitions of nonlinear systems, i.e., the over-approximation of nonlinear dynamics by a pair of piecewise ...