Reasoning about Discrete and Continuous Noisy Sensors and Effectors in Dynamical Systems