|  |  | 1-FLOW |
WATERTANK
(contributed by Luca Geretti)
An affine automaton in which the level (x) of a leaking watertank must be
kept in the interval [5.25, 8.25] by controlling a valve (a) that injects
water. The valve linearly opens or closes in finite time (0.25 seconds). The
valve starts opening as soon as x <= 5.55, while it starts closing as soon as
x >= 7.95. Also, resets of the valve are present to guarantee that it is
locked to 1/0 in the opened/closed modes, respectively.
Input file
The valve can also be modeled in a non-deterministic way: As soon as x <= 5.55, the valve CAN open, but it will DEFINITELY open if x <= 5.45; similarly, it CAN close if x >= 7.95, but it will DEFINITELY close if x >= 8.05.
Input file
| | | 1-FLOW |