The Lorentz system is a simplified model which is developed by Edward Lorenz for atmospheric convection. It is described by a 3-dimensional ODE
wherein , , .
We consider the initial set , , .
The following figure shows the – projection of an overapproximation computed by Flow* for the time horizon :