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.