A calculus of durations

Zhou, Chunlin; Hoare, C. A. R.; Ravn, Anders P.

doi:10.1016/0020-0190(91)90122-x

Cited by 575 publications

(114 citation statements)

References 4 publications

Supporting

Mentioning

113

Contrasting

Order By: Relevance

“…To motivate our contribution, let us start with a classical example of hybrid system, the "leaking gas burner" [21]: whenever the gas burner leaks, it is always fixed within 10 seconds, and the minimum interval between two leakages is 50 seconds. The standard modelling of this system is by a linear hybrid automaton [1,42] (see Fig.…”

Section: Motivating Example: the Gas Burnermentioning

confidence: 99%

Abstract acceleration in linear relation analysis

Gonnord

Schrammel

2014

Science of Computer Programming

View full text Add to dashboard Cite

Linear Relation Analysis [28,39] is now a classical abstract interpretation based on an approximation of reachable numerical states of a program by convex polyhedra. Since it works with a lattice of infinite depth, it makes use of a widening operator to enforce the convergence of fixpoint computations. This paper takes place in the many attempts to improve the precision of the results reached using such a widening. It will first present an extended survey of the existing approaches in that direction. Then it will investigate the cases where the exact (abstract) effect of a loop can be computed. This technique is fully compatible with the use of widening, and whenever it applies, it generally improves both the precision and the performances of the analysis.

show abstract

Section: Motivating Example: the Gas Burnermentioning

confidence: 99%

Abstract acceleration in linear relation analysis

Gonnord

Schrammel

2014

Science of Computer Programming

View full text Add to dashboard Cite

show abstract

“…Duration calculus (DC) [23] is a real-time logic, describing properties which hold over time intervals, and that speaks about boolean states which change over time. The calculus is based on two main concepts: integration (measuring how long a boolean state holds over an interval) and the chop operator (which splits an interval into two parts).…”

Section: Duration Calculusmentioning

confidence: 99%

Safe Runtime Verification of Real-Time Properties

Colombo

Pace

Schneider

2009

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. Introducing a monitor on a system typically changes the system's behaviour by slowing the system down and increasing memory consumption. This may possibly result in creating new bugs, or possibly even 'fixing' bugs, only to reappear as the monitor is removed. Properties written in a real-time logic, such as duration calculus, can be particularly sensitive to such changes induced through monitoring. The same problem occurs in other scenarios such as when a system is ported to a faster machine. In this paper, we identify a class of real-time properties, in duration calculus, which are monotonic under the slowing down (speeding up) of the underlying system. We apply this approach to the real-time runtime monitoring tool Larva, where we use duration calculus as a monitoring property specification language, so we automatically identify properties which can be shown to be monotonic with respect to system re-timing.

show abstract

“…In (Chaochen, Hoare, and Ravn, 1991) a calculus is presented to model requirements and designs for real-time systems. Another logic based approach using time durations is presented in (Sandewall, 1997).…”

Section: Introductionmentioning

confidence: 99%

BDI-modelling of complex intracellular dynamics

Jonker

Snoep

Treur

et al. 2008

Journal of Theoretical Biology

View full text Add to dashboard Cite

A BDI-based continuous-time modelling approach for intracellular dynamics is presented. It is shown how temporalised BDI-models make it possible to model intracellular biochemical processes as decision processes. By abstracting from some of the details of the biochemical pathways, the model achieves understanding in nearly intuitive terms, without losing veracity: classical intentional state properties such as Beliefs, Desires and Intentions, are founded in reality through precise biochemical relations. In an extensive example, the complex regulation of Escherichia coli vis-à-vis lactose, glucose and oxygen is simulated as a discrete-state, continuous-time temporal decision manager. Thus a bridge is introduced between two different scientific areas: the area of BDI-modelling and the area of intracellular dynamics.

show abstract

A calculus of durations

Cited by 575 publications

References 4 publications

Abstract acceleration in linear relation analysis

Abstract acceleration in linear relation analysis

Safe Runtime Verification of Real-Time Properties

BDI-modelling of complex intracellular dynamics

Contact Info

Product

Resources

About