Modeling the Temporal Behavior of Technical Systems

Many inference-mechanisms that draw conclusions from given facts or measurements using physical relations are based on the propagation of values by constraints. Such inference-mechanisms are often limited in their ability to consider temporal relations. However, the constraint idea also provides a framework for reasoning about temporal behavior. In [Williams86], TCP (Temporal Constraint Propagator), a method for integrating time into constraint systems is presented. In contrast to simple constraint systems, propagated objects are not values but pairs consisting of a value and a time interval, called episodes. In our paper we present another system for propagating episodes, EP (Episode Propagator), that overcomes some limitations of Williams TCP. Because an episode contains information about when a variable adopts a value, temporal behavior can be modeled by propagating sets of episodes using EP. This paper emphasizes the use of EP in modeling digital and synchronous circuits.

Authors and Affiliations

1. Advanced Reasoning Methods Group, SIEMENS Corp. ZT ZTI INF 22, Otto-Hahn-Ring 6, D-8000, Muenchen 83, Germany

   Rainer Decker

Editors and Affiliations

1. Fachbereich Informatik - WISBER, Universität Hamburg, Postfach 302762, D-2000, Hamburg 36, Deutschland

   Wolfgang Hoeppner

2. EWH Koblenz, Rheinau 3-4, D-5400, Koblenz, Deutschland

   Wolfgang Hoeppner

Reprints and permissions

© 1988 Springer-Verlag Berlin Heidelberg

Policies and ethics