Mesh-Based Piecewise Affine Abstraction with Polytopic Partitions for Nonlinear Systems | IEEE Conference Publication | IEEE Xplore