Duration calculus: Logical foundations-Reference-Cited by-同舟云学术

Duration calculus: Logical foundations

Published:1997-05 Issue:3 Volume:9 Page:283-330
ISSN:0934-5043
Container-title:Formal Aspects of Computing
language:en
Short-container-title:Form. Asp. Comput.

Author:

Hansen Michael R.¹,Chaochen Zhou²

Affiliation:

1. Department of Information Technology, Technical University of Denmark, Building 344, DK-2800, Lyngby, Denmark

2. International Institute for Software Technology, United Nations University, Macau

Abstract

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.

Publisher

Association for Computing Machinery (ACM)

Subject

Theoretical Computer Science,Software

Link

http://link.springer.com/content/pdf/10.1007/BF01211086.pdf

Reference114 articles.

1. Maintaining knowledge about temporal intervals

2. Towards a general theory of action and time

3. Alur R. Courcoubetis C. and Dill D.: Model-Checking for Real-Time Systems. In Fifth Annual IEEE Symp. on Logic in Computer Science IEEE Press 1990 pages 414–425.

4. Alur R. Courcoubetis C. Henzinger T. and Ho P-H.: Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems. In [GNR93] pages 209–229.

5. Alur R. and Dill D.: The Theory of Timed Automata. In Real-Time: Theory in Practice LNCS 600 Springer-Verlag 1992 pages 45–73.

Cited by 84 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Temporal Logics;2023-09-08

2. A Temporal Logic for Successive Events;Logic, Rationality, and Interaction;2023

3. Theoretical and Practical Approaches to the Denotational Semantics for MDESL based on UTP;Formal Aspects of Computing;2020-07

4. Assessing component impairing at mission level;Mathematics and Computers in Simulation;2018-05

5. Temporal Logic;The Blackwell Guide to Philosophical Logic;2017-11-15