Jet engine

Download

Flow* jet_engine.model

Model description

The Moore-Greitzer model of a jet engine is studied in [1]. The dynamics is given by an ODE with 2 variables.

    \[ \left\{ \begin{array}{lcl} \dot{x} & = & -y - 1.5\cdot x^2 - 0.5\cdot x^3 - 0.5 \\ \dot{y} & = & 3\cdot x - y \end{array} \right. \]

Reachability setting

We set the initial condition as x\in [0.8,1.2], y\in [0.8,1.2]

Results

The following figure shows an overapproximation computed by Flow* for the time horizon [0,10] :

jet_engine

References

[1] E. M. Aylward, P. A. Parrilo, J.-J. E. Slotine. Stability and robustness analysis of nonlinear systems via contraction metrics and SOS programming. In Automatica Vol. 44, No.8, pages 2163-2170, Elsevier, 2008.