Technical University of Munich, Department of Computer Science
MQM Paper: [Struss 94g]

Peter Struss

Qualitative Reasoning Based on Temporal Abstraction.

In: 1. MATHMOD VIENNA (IMACS Symposium on Mathematical Modelling, Technical University Vienna), Vienna, 1994.


Abstraction is a fundamental element of qualitative reasoning about physical systems and crucial for coping with complexity of real problems. Temporal abstractions form an important class that comprises a variety of different transformations. We show how an important subclass can be formalized in a theory of relational behavior models of physical systems.

If you have comments or suggestions, email me at
created: Anton Seidl, Feb 07, 1997, last updated: Jakob Mauss, December 4, 1998