Control of Interval Temporal Systems

This paper presents a control framework for interval temporal systems, in particular systems modeled by expressions of Duration Calculus. Duration Calculus is a formal specification language for real-time systems. Its distinguishing feature is to formalize and reason about interval properties of discrete states of systems. In this paper, interval temporal systems are taken as dynamic systems equipped with a state space, and a state transition structure. A control structure is adjoined to such systems, and this makes it possible to restrict the systems behaviors so that the closed systems behaviors can satisfy the required specifications. Some typical control issues are solved within this framework.