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

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

Volumn 31, Issue 6, 2001, Pages 485-496

  Zaidi, Abbas K ^a,b   Levis, Alexander H ^a,c  

^a IEEE   (Pakistan)

^b CAPITAL UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Pakistan)

^c GEORGE MASON UNIVERSITY   (United States)

Author keywords

Discrete event systems; Petri nets; Point graphs; Temporal inferencing; Temporal logic

Indexed keywords

DISCRETE EVENT SYSTEMS; POINT GRAPHS; TEMPORAL INTERFERENCING; TEMPORAL LOGIC; TEMPORAL PROGRAMMER;

DIFFERENTIATION (CALCULUS); MATHEMATICAL MODELS; PETRI NETS; PROGRAMMING THEORY;

DISCRETE TIME CONTROL SYSTEMS;

EID: 0035521223     PISSN: 10834427     EISSN: None     Source Type: Journal    
DOI: 10.1109/3468.983402     Document Type: Article

References (21)

1. On temporal logic programming using Petri nets
2. Advances in Petri nets
3. Mechanizing temporal knowledge
4. Maintaining knowledge about temporal intervals
5. Toward a general theory of action and time
6. Temporal constraint network
7. Integrating metric and qualitative temporal reasoning
8. Combining qualitative and quantitative constraints in temporal reasoning
9. A Petri net model for temporal knowledge representation and reasoning
10. A temporal logic for reasoning about processes and plans
11. Validation and verification of decision making rules
12. Delays for distributed decisionmaking organizations
13. On verifying inferences in an influence diagram
14. Temporal logic programming language Tokio: Programming in Tokio
15. Tokio: Logic programming language based on temporal logic and its compilation to prolog