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

Author

Zaidi, Abbas K. ; Levis, Alexander H.

Author_Institution

Dept. of Electr. Eng. & Comput. Sci., Mohammad Ali Jinnah Univ., Karachi, Pakistan

Volume

31

Issue

6

fYear

2001

fDate

11/1/2001 12:00:00 AM

Firstpage

485

Lastpage

496

Abstract

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

Keywords

Petri nets; discrete event systems; temporal logic; temporal reasoning; Petri nets; TEMPER; discrete event systems; graph-based temporal programmer; interval descriptions; point descriptions; qualitative calculus; quantitative calculus; temporal formalism; temporal inferencing; temporal logic; time-sensitive control; Calculus; Control system synthesis; Control systems; Delay effects; Discrete event systems; Discrete transforms; Logic; Petri nets; Physical layer; Programming profession;

fLanguage

English

Journal_Title

Systems, Man and Cybernetics, Part A: Systems and Humans, IEEE Transactions on

Publisher

ieee

ISSN

1083-4427

Type

jour

DOI

10.1109/3468.983402

Filename

983402