Modeling time-varying uncertain situations using Dynamic Influence Nets
International Journal of Approximate Reasoning
Planning temporal events using point-interval logic
Mathematical and Computer Modelling: An International Journal
| Hi-index | 0.00 |
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