Reliable finite-dimensional models with guaranteed approximation quality for control of distributed parameter systems.