1: \begin{abstract}

2:   In this paper, we consider the computation of controlled invariant

3:   sets (CIS) of discrete-time nonlinear control-affine systems. We

4:   propose an iterative refinement procedure based on polytopic

5:   inclusion functions, which is able to approximate the maximal

6:   controlled invariant set to within a guaranteed precision. In

7:   particular, this procedure allows us to guarantee the invariance of

8:   the resulting near-maximal CIS while also computing sets of control

9:   inputs which enforce the invariance. Further, we propose an

10:   accelerated version of this procedure which refines the CIS by

11:   computing backward reachable sets of individual components of set

12:   unions, rather than all at once. This reduces the total number of

13:   iterations required for convergence, especially when compared with

14:   existing methods. Finally, we compare our methods to a sampling

15:   based approach and demonstrate the improved accuracy and faster

16:   convergence.

17: \end{abstract}

18: