“…We assume that the set
to be certified has the same geometry as the estimated nominal uncontrolled region of attraction
(derived in Reference
28) that we shrink until (22) is not satisfied given the confidence probability
. There is clearly no guarantee that the set
that we obtain is the biggest possible certified set, however, in this case, proving the existence of a set
satisfying (22) is enough, since
is only used as a target set for the Algorithm 1 allowing therefore to compute the sequence of certified sets.…”