Roessler attractor | Theory of Hybrid Systems

Download

Flow*

The Roessler attactor is modeled by the ODE

$\left\{ \begin{array}{lcl} \dot{x} & = & - y - z \\ \dot{y} & = & x + a\cdot y \\ \dot{z} & = & b + z\cdot (x - c) \end{array} \right.$

wherein $a = 0.2$ , $b = 0.2$ , $c = 5.7$ .

We consider the initial set $x\in [-0.2,0.2]$ , $y\in [-8.6,-8.2]$ , $z\in [-0.2,0.2]$ .

The following figure shows the $y$ – $z$ projection of an overapproximation computed by Flow* for the time horizon $[0,6]$ :