Control and diagnosis of real-time systems under finite-precision measurement of time