Bridging Discrete and Continuous Time Models with Atoms
George Ungureanu1,a, José E. G. de Medeiros1,b and Ingo Sander2
1KTH Royal Institute of Technology Stockholm, Sweden
augeorge@kth.se
bingo@kth.se
2University of BrasÍlia BrasÍlia, DF, Brazil
j.edil@ene.unb.br
ABSTRACT
Recent trends in replacing traditionally digital components with analog counterparts in order to overcome physical limitations have led to an increasing need for rigorous modeling and simulation of hybrid systems. Combining the two domains under the same set of semantics is not straight forward and often leads to chaotic and non‐deterministic behavior due to the lack of a common understanding of aspects concerning time. We propose an algebra of primitive interactions between continuous and discrete aspects of systems which enables their description within two orthogonal layers of computation. We show its benefits from the perspective of modeling and simulation, through the example of an RC oscillator modeled in a formal framework implementing this algebra.
