2-TANKS |

The flow constraints are constructed by setting all the parameters in the two tanks problem [11] to 1.

Flow: *(s=1 -> (x _{1}'=1-sqrt(x_{1})/\x_{2}'=sqrt(x_{1})-sqrt(x_{2}))/\(s=2
-> (x_{1}'=1-sqrt(x_{1}-x_{2}+1)/\x_{2}'=sqrt(x_{1}-x_{2}+1)-sqrt(x_{2}))*

Jump:

Init:

Unsafe:

The state space:

Note that an older version of the example was used before June 2008 (with one jump missing): old input file

2-TANKS |