| | | 2-TANKS |
The flow constraints are constructed by setting all the parameters in the two tanks problem [11] to 1.
Flow: (s=1 -> (x1'=1-sqrt(x1)/\x2'=sqrt(x1)-sqrt(x2))/\(s=2
-> (x1'=1-sqrt(x1-x2+1)/\x2'=sqrt(x1-x2+1)-sqrt(x2))
Jump: (s=1/\x2 >= 1) -> (s'=2/\x1'=x1/\x2'=1) \/
(s=2/\x2 <= 1) -> (s'=1/\x1'=x1/\x2'=1)
Init: (s=1/\(x1-5.5)2+(x2-0.25)2 <= 0.0625)
Unsafe: (s=1/\(x1-4.25)2+(x2-0.25)2< 0.0625)
The state space: (1, [4,6]×[0,1]) U(2, [4,6]×[1,2])
Note that an older version of the example was used before June 2008 (with one jump missing): old input file
| | | 2-TANKS |