[ x[1] = piecewise(Or(t < 2, t >= 8), 200, piecewise(And(t >= 2, t < 5), 300, piecewise(And(t >= 5, t < 8), 100, 200))) ]