Using Continuous Real Functions to Model Timed Histories
Brendan P. Mahony, Ian J. Hayes · 1991
Continuous real functions are an important tool in describing the evolution of physical processes through time. Using the theory of topology, this notion of continuity may be generalised to arbitrary data types. This paper demonstrates that (topological) continuity can be a useful tool in describing the evolution of digital processes through time. Several examples are given of the use of continuous functions in modeling and specifying system behaviour. A digital circuit is verified to demonstrate the utility of proof techniques from real analysis. 1