TEMPER: a temporal programmer for time-sensitive control of discrete event systems

The paper is an extension of an earlier work (Zaidi, 1999) 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.

[1]  James F. Allen.  Maintaining knowledge about temporal intervals , 1983, CACM.

[2]  Peter Radford,et al.  Petri Net Theory and the Modeling of Systems , 1982 .

[3]  Masahiro Fujita,et al.  Temporal Logic Programming Language Tokio - Programming in Tokio , 1985, LP.

[4]  D. McDermott.  A Temporal Logic for Reasoning About Processes and Plans , 1982, Cogn. Sci..

[5]  Victoria Yu-yu Jin.  Delays for distributed decisionmaking organizations , 1985 .

[6]  Vyvyan Evans,et al.  The Structure of Time , 2003 .

[7]  Masahiro Fujita,et al.  Tokio: Logic Programming Language Based on Temporal Logic and its Compilation to Prolog , 1986, ICLP.

[8]  Alexander H. Levis,et al.  Validation and verification of decision making rules , 1995, Autom..

[9]  Henry A. Kautz,et al.  Integrating Metric and Qualitative Temporal Reasoning , 1991, AAAI.

[10]  Kenneth M. Kahn,et al.  Mechanizing Temporal Knowledge , 1977, Artif. Intell..

[11]  Abbas K. Zaidi,et al.  On temporal logic programming using Petri nets , 1999, IEEE Trans. Syst. Man Cybern. Part A.

[12]  Drew McDermott,et al.  A Temporal Logic for Reasoning About Processes and Plans , 1982, Cogn. Sci..

[13]  Itay Meiri,et al.  Combining Qualitative and Quantitative Constraints in Temporal Reasoning , 1991, Artif. Intell..

[14]  Antony Galton,et al.  Temporal logics and their applications , 1987 .

[15]  James F. Allen.  Towards a General Theory of Action and Time , 1984, Artif. Intell..

[16]  Rina Dechter,et al.  Temporal Constraint Networks , 1989, Artif. Intell..

[17]  Ben C. Moszkowski,et al.  Executing temporal logic programs , 1986, Seminar on Concurrency.

[18]  Y. Yao,et al.  A Petri Net Model for Temporal Knowledge Representation and Reasoning , 1994, IEEE Trans. Syst. Man Cybern. Syst..