[The paper](http://mediatum.ub.tum.de/doc/1289985/728488.pdf) suggests to adapt Lemma 1 to be used in the construction of the discretized operator. However it is not straightforward; see [this comment](https://github.com/JuliaReach/Reachability.jl/pull/659#discussion_r319730036).
The paper suggests to adapt Lemma 1 to be used in the construction of the discretized operator.
However it is not straightforward; see this comment.