{ x1 = piecewise(200, or(t < 2, t >= 8), piecewise(300, and(t >= 2, t < 5), piecewise(100, and(t >= 5, t < 8), 200))) }