The extension of the duration calculus (DC) by iteration, which is also known as Kleene star, enables the straightforward specification of repetitive ...

In this paper we present axioms and a proof rule about iteration in DC. We consider abstract-time DC and its extension by a state-variable bind- ing existential ...

Duration Calculus (or DC in short) presents a formal notation to specify properties of real-time systems and a calculus to formally prove such properties.

We will see later that D is a DC formula with iteration. It expresses not only the temporal order of states but also the time constraints on the state periods.

This section presents the formal de nition of Duration Calculus with iteration, ... Now let us state the completeness theorem for DC with iteration of simple.

Completeness and Decidability of a Fragment of Duration Calculus with Iteration · Dang Van Hung,Dimitar P. Guelev ; Decidability of a Hybrid Duration Calculus.

Duration Calculus (or DC in short) presents a formal notation to specify properties of real-time systems and a calculus to formally prove such properties.

Dimitar P. Guelev, Dang Van Hung: On the completeness and decidability of duration calculus with iteration. Theor. Comput. Sci. 337(1-3): 278-304 (2005).

We will see later that D is a DC formula with iteration. It expresses not only the temporal order of states but also the time constraints on the state periods.

26 Citations · On the completeness and decidability of duration calculus with iteration · A Theory of Duration Calculus with Application · A Relatively Complete ...