Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Duration calculus

Duration calculus (DC) is an interval logic for real-time systems. It was originally developed by Zhou Chaochen with the help of Anders P. Ravn and C… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2010
Highly Cited
2010
Hybrid Communicating Sequential Processes (HCSP) is an extension of CSP allowing continuous dynamics. We are interested in… Expand
Is this relevant?
2008
2008
Model checking of real-time systems against Duration Calculus (DC) specifications requires the translation of DC formulae into… Expand
  • figure 1
Is this relevant?
Highly Cited
2007
Highly Cited
2007
In this paper we present HySAT, a bounded model checker for linear hybrid systems, incorporating a tight integration of a DPLL… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2005
Highly Cited
2005
The Duration Calculus (abbreviated DC) represents a logical approach for formal design of real-time systems, where real numbers… Expand
Is this relevant?
2005
2005
We present a trajectory-based model for describing hybrid systems. For this we use left quantales and left semirings, thus… Expand
  • figure 1
Is this relevant?
1996
1996
Duration Calculus, as introduced in [ZHR91], is a logic for reasoning about requirements for real-time systems at a high level of… Expand
Is this relevant?
Highly Cited
1995
Highly Cited
1995
This paper introduces infinite intervals into the Duration Calculus [33]. The extended calculus defines a state duration over an… Expand
Is this relevant?
Highly Cited
1994
Highly Cited
1994
The Duration Calculus (DC) is an interval temporal logic for reasoning about real-time systems. This paper describes a tool for… Expand
Is this relevant?
Highly Cited
1992
Highly Cited
1992
Duration Calculus is a real-time interval logic which can be used to specify and reason about timing and logical constraints on… Expand
  • figure 1
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
1991
Highly Cited
1991
Duration Calculus was introduced in [1] as a notation to specify real-time systems, and as a calculus to verify theorems about… Expand
Is this relevant?