Download
Flow* | Lorentz.model |
Model description
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 , , .
Reachability settings
We consider the initial set , , .
Results
The following figure shows the – projection of an overapproximation computed by Flow* for the time horizon :