Crazy river
A pool in a water park is modeled. The model is referred to crazy river aquatic pool. The aim is to check the constraint and how the system behaves nearby close to limit constraints. The real system has a lot of tanks, thus we simplified the automaton wich describe the system with 4 (crazy river).
Tanks automaton presents 2 tanks wich can overflow indipendently. If the first tank overflow water, the excedeed water go on tank number 2. If tank number 2 goes in overflow the excedeed water is lost. There is a third tank wich takes a costant flow from each of 2 tanks and purify it. It must garantee a minimal level of water to purify water.
We want to study if with one controller on the last tank is possible to guaranteed the requirements, so we have only one controller with a pump on the first tank but with a controller on the last:
