Mesh-Based Affine Abstraction of Nonlinear Systems with Tighter Bounds

Kanishka Raj Singh, Qiang Shen, Sze Zheng Yong

In this paper, we consider the problem of piecewise affine abstraction of nonlinear systems, i.e., the overapproximation of its nonlinear dynamics by a pair of piecewise affine fun…