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.
Reachability setting
We set the initial condition as
Results
The following figure shows an overapproximation computed by Flow* for the time horizon :