3. Duration Calculus Page 1 3. Duration Calculus In this chapter we present the syntax,
semantics and proof system of duration calculus. In addition, we present some theorems …

Introduction 4.1 Programming dynamic real-time systems 4.2 Issues in dynamic scheduling
4.3 Dynamic priority assignment 4.4 Dynamic best-effort approaches 4.5 Dynamic planning …

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 …

Epilepsy is a neurological disease that identified by reoccurrence of seizures. The economic
and commonly used method for the diagnosis of epilepsy is possible with the regular …

This paper introduces infinite intervals into the Duration Calculus [33]. The extended
calculus defines a state duration over an infinite interval by a property which specifies the …

Abstract In 1991, Zhou Chaochen, CAR Hoare and AP Ravn proposed a rst order interval
logic called Duration Calculus (DC) which can specify real-time requirements of computing …

An experiment with a distributed architecture to support a hybrid controller for a robot is
described. For a desired trajectory, the controller plans a schedule for switching between a …

By means of a multiple lift control system case study, this paper describes an approach to
safety critical computer-based applications design. The concept used stems both from a …

Optimization is a classical notion in control theory. It is often required in engineering
practice. As a case study, this paper represents an initial contribution to the formalization of …

We use a variant of the Duration Calculus to design a chemical concentration control system
which has both nontrivial dynamics and control programs. The system is developed by …