Model-Based Situation Assessment of Dynamic Physical Systems