Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems

This monograph is dedicated to a novel approach for uniform modelling of timed and hybrid systems. Heinrich Rust presents a time model which allows for both the description of discrete time steps and continuous processes with a dense real—number time model. The proposed time model is well suited to express synchronicity of events in a real—number time model as well as strict causality by using uniform discrete time steps. Thus it integrates and reconciles two views of time that are commonly...