The problem of state estimation for piecewise affine, discrete time systems with bounded disturbances is considered. It is shown that the state lies in a closed uncertainty set that is determined by the available observations and that evolves in time. The uncertainty set is characterised and a recursive algorithm for its computation is presented. Recursive algorithms are proposed for filtering prediction and smoothing problems.