Mesh-Based Piecewise Affine Abstraction With Polytopic Partitions for Nonlinear Systems | IEEE Journals & Magazine | IEEE Xplore