ENGLISH

Duration Calculus: A Formal Approach to Real-Time Systems

By Michael R. Hansen , Zhou Chaochen

Book information

Publisher
Springer
Year
2004
ISBN
9783540408239, 3540408231
Language
english
Format
DJVU
Filesize
2 MB (1872111 bytes)
Series
Monographs in Theoretical Computer Science. An EATCS Series
Pages
256\256
Library
Kolxo3
DPI
600
Orientation
portrait
Paginated
no
Scanned
yes
Time added
2010-11-11 16:01:50
Математика;Дискретная математика

Description

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.

Similar books