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

• Main Author: Rust, Heinrich (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
• Series: Lecture Notes in Computer Science, 3456
• Subjects: Computer science.; Software engineering.; Programming languages (Electronic computers).; Operating systems (Computers).; Computers.; Mathematical logic.; Computer Science.; Software Engineering.; Computation by Abstract Devices.; Programming Languages, Compilers, Interpreters.; Operating Systems.; Mathematical Logic and Formal Languages.

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...