Duration calculus: Logical foundations
- 1 May 1997
- journal article
- research article
- Published by Association for Computing Machinery (ACM) in Formal Aspects of Computing
- Vol. 9 (3) , 283-330
- https://doi.org/10.1007/bf01211086
Abstract
The Duration Calculus (abbreviated DC) represents a logical approach for formal design of real-time systems, where real numbers are used to model time and Boolean valued functions over time are used to model states and events of real-time systems. Since its introduction, DC has been applied to many case studies and it has been extended in several directions. The aim of this paper is to provide a thorough presentation of the logic.Keywords
This publication has 68 references indexed in Scilit:
- A formal description of hybrid systemsPublished by Springer Nature ,1996
- Hierarchical design of a chemical concentration control systemPublished by Springer Nature ,1996
- Checking linear duration invariants by linear programmingPublished by Springer Nature ,1996
- Finite divergenceTheoretical Computer Science, 1995
- A Case Study of OptimizationThe Computer Journal, 1995
- Model-checking discrete duration calculusFormal Aspects of Computing, 1994
- Specifying and verifying requirements of real-time systemsIEEE Transactions on Software Engineering, 1993
- Semantics and completeness of Duration CalculusPublished by Springer Nature ,1992
- A propositional modal logic of time intervalsJournal of the ACM, 1991
- Expressiveness and completeness of an interval tense logic.Notre Dame Journal of Formal Logic, 1990