Representation of continuous change with discrete time

In this paper we study one of the drawbacks that have been considered against the use of discrete time in Temporal Reasoning Systems, which is the difficulty to represent continuous change. We study the representation of continuous change for the particular case of a constraint solver over integers. We have used two different approaches. The first approach using the concept of error and the second one using the concept of granularity