Download
Flow* | wattSteam.model |
Model description
We study the steam governor system described in [1]. It is a continuous system defined by the following ODE.
wherein ,
and
are constants. As it is proved in [1] that the system has an asymptotically stable equilibrium when
.
Reachability settings
We consider the initial set ,
,
and the constants
,
and
.
Results
The following figure shows an overapproximation computed by Flow* for the time horizon :