TEMPER: A Temporal Programmer for Time-sensitive Control of Discrete-event Systems

Abstract—This paper is an extension of an earlier work on a methodology for modeling temporal aspects of discrete-event systems. The methodology incorporates point and interval descriptions of time, and offers both qualitative and quantitative calculus for time. A graph-based temporal programmer (TEMPER) is shown to implement the axiomatic system of the temporal formalism. The approach transforms the system specifications given by temporal statements into a graph structure, identifies errors (if present) in the system, infers new temporal relations among system intervals, and calculates delays among time points and their actual time of occurrence. Index Terms—Discrete event systems, Petri nets, point graphs, temporal inferencing, temporal logic