The purpose of this paper is to introduce a notation for expressing the requirements of time-critical systems and a calculus for reasoning about them. The Actions, Events and States of a system are represented by sets of time intervals for which they hold. Firstly the timing model is introduced and the calculus is compared with Tarski’s calculus of relations. Then states and duration are introduced and a case study is provided. Finally the connection with the duration calculus and other temporal logics is shown.
CITATION STYLE
Brien, S. M. (1993). A time-interval calculus. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 669 LNCS, pp. 67–79). Springer Verlag. https://doi.org/10.1007/3-540-56625-2_8
Mendeley helps you to discover research relevant for your work.