Modelling discrete event systems behaviour using the hyperfinite signal

The notion of hyperfinite signal enables to describe the temporal evolution of a discrete value in a formalism similar to the one of continuous values evolving in a continuous time. It relies on an original model of time and discrete values. A subtype allows the modelling of discrete events systems.