{ x6 = piecewise(1, and(t >= 0, t < 5), 0), x8 = piecewise(0, and(t >= 0, t < 5), piecewise(1, and(t >= 5, t < 10), 0)) }