3 citations · 8 across the 10 of their papers we have counts for
Showing math.OCShow all
2 papers · 1 filter
math.OC2020
Incremental Affine Abstraction of Nonlinear Systems
Syed M. Hassaan, Mohammad Khajenejad, Spencer Jensen +2
In this paper, we propose an incremental abstraction method for dynamically over-approximating nonlinear systems in a bounded domain by solving a sequence of linear programs, resul…
math.OC2018
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…