Abstract
Operational semantics for linearly and quantitatively timed systems depend crucially on the model of time chosen. Two approaches are common: (a) Discrete models of time isomorphic to the natural numbers. Well established discrete formalisms can be used to describe the dynamical behavior of the system and time is uniform, but sequential refinement and composition of systems designed for different time scales are dificult, and continuous changes can not be well represented. (b) Hybrid models as sequences of intervals of the real numbers. Discrete events happen where such an interval ends (and, typically, the next one starts) and are assumed to take no time. Continuous changes take place during intervals. Point intervals are used to model consecutive discrete steps without an interveningcon tinuous phase. Hybrid models can express the combination of continuous and discrete changes and allow sequential refinement of discrete steps. There are no problems for composition of systems because of differing bases of time. But this model of time is dense and non-uniform, and this makes reasoningm ore dificult.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Rust, H. (2003). A Non-standard Approach to Operational Semantics for Timed Systems. In: Börger, E., Gargantini, A., Riccobene, E. (eds) Abstract State Machines 2003. ASM 2003. Lecture Notes in Computer Science, vol 2589. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36498-6_34
Download citation
DOI: https://doi.org/10.1007/3-540-36498-6_34
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-00624-4
Online ISBN: 978-3-540-36498-6
eBook Packages: Springer Book Archive