Top1-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


Top1-FLOW