Advertisement

Modeling the Temporal Behavior of Technical Systems

  • Rainer Decker
Part of the Informatik-Fachberichte book series (INFORMATIK, volume 181)

Abstract

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Allen83]
    Allen, J.: Maintaining Knowledge about Temporal Intervals. Communications of the ACM. pp. 832–843. November 1983Google Scholar
  2. [Doyle79]
    Doyle, J: A Truth Maintenance System. AI Journal 12. pp. 231–272. 1979MathSciNetGoogle Scholar
  3. [deKleer, Brown84]
    deKleer, J.; Brown, J.S.: A qualitative Physics based on Confluences. AI Journal 24. pp. 7–83. 1984Google Scholar
  4. [Stallman, Sussman77]
    Stallman, R.M.; Sussman, G.J.: Forward Reasoning and Dependency-Directed Backtracking in a System for Computer aided Circuit Analysis. AI Journal 9. pp. 135–196. 1977zbMATHGoogle Scholar
  5. [Steele80]
    Steele, G.L.: The Definition and Implementation of a Computer Language based on Constraints. MIT AI–TR–595. 1980Google Scholar
  6. [Sussman, Abelson85]
    Sussman, G.J.; Abelson, H.: Structure and Interpretation of Computer Programs. MIT Press. 1985Google Scholar
  7. [Sussman, Steele80]
    Sussman, G.J.; Steele, G.L.: Constraints – A Language for expressing almost hierarchical descriptions. AI Journal 14. pp. 1–40. 1980Google Scholar
  8. [Williams86]
    Williams, B.: Doing Time: Putting Qualitative Reasoning on firmer Ground. AAAI–86 Proceedings, pp. 105–112. 1986Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • Rainer Decker
    • 1
  1. 1.Advanced Reasoning Methods GroupSIEMENS Corp. ZT ZTI INF 22Muenchen 83Germany

Personalised recommendations