| | | ECO |
An artificially created example.
Flow: (s=1 -> x1'=-x1+x1x2/\x2'=x2-x1x2)
/\(s=2 -> x1'=-x1+x1x2/\x2'=x2-x1x2)
Jump: ((s=1/\0.875 <= x2 <= 0.9) -> (s'=2/\(x1'-1.2)2+(x2'-1.8)2 <= 0.01))
\/((s=2/\1.1 <= x2 <= 1.125) -> (s'=1/\(x1'-0.7)2+(x2'-0.7)2 <= 0.01))
Init: (s=1/\(x1-0.8)2+(x2-0.2)2 <= 0.01)
Unsafe: (s=1/\x1>0.8/\x2>0.8/\x1<=0.9 /\x2 <= 0.9)
State space: (1,[0.1,0.9]×[0.1,0.9]) U(2,[1.1,1.9]×[1.1,1.9])
| | | ECO |