Set-based state estimation procedures have the advantage of enclosing all possible system states under the assumption of bounded measurement uncertainty, the structural correctness of dynamic systems models, and the representation of external disturbances and imperfectly known parameters by finitely large sets. In contrast to stochastic counterparts, often employing one of the available variants of Kalman filters, set-based approaches are less widely used. The reason for this observation is the fact that naive implementations often suffer from a non-negligible degree of overestimation and that (unless certain monotonicity properties are satisfied) set-based computations come with a notable increase of the computational complexity, resulting among others from required interval splitting procedures. This paper tries to resolve both issues by means of an ellipsoidal implementation of a discrete-time set-valued state estimation procedure that is validated experimentally and compared with an Unscented Kalman Filter (UKF) for a laboratory-scale magnetic levitation system.