Ebook: Duration Calculus: A Formal Approach to Real-Time Systems
Author: Zhou Chaochen Michael R. Hansen
- Genre: Mathematics // Discrete Mathematics
- Tags: Математика, Дискретная математика
- Series: Monographs in Theoretical Computer Science. An EATCS Series
- Year: 2004
- Publisher: Springer
- Language: English
- djvu
The Duration Calculus (DC) represents a logical approach to formal design of real-time systems. In DC real numbers are used to model time and Boolean-valued (i.e. {0,1}-valued) functions over time are used to model states of real-time systems. The duration of a state in a time interval is the accumulated presence time of the state in the interval. DC extends interval logic to a calculus to specify and reason about properties of state durations.
The Duration Calculus (DC) represents a logical approach to formal design of real-time systems. In DC real numbers are used to model time and Boolean-valued (i.e. {0,1}-valued) functions over time are used to model states of real-time systems. The duration of a state in a time interval is the accumulated presence time of the state in the interval. DC extends interval logic to a calculus to specify and reason about properties of state durations.