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
: