Reachable sets of nonlinear control systems can in general only be approximated numerically, and these approximations are typically very expensive to compute. In this paper, we explore strategies for choosing the temporal and spatial discretizations of Euler's method for reachable set computation in a non-uniform way to improve the performance of the method.

翻译：非线性控制系统的可达集合通常只能通过数值方法近似求解，且此类近似计算成本极高。本文探索了在欧拉法框架下非均匀选取时间与空间离散化策略以提升可达集合计算性能的路径。