The TeQSIM project


TeQsim (Temporally constrained Qsim), pronounced tek'sim, is a qualitative simulator of dynamical systems. It is an extension of the QSIM algorithm that incorporates behavioral information in the form of trajectory constraints into the simulation process to restrict and refine the resulting behavioral description.
Three types of trajectory constraints can be specified:

TeQsim was used to explore the following issues:

The following papers describe TeQsim:

TeQsim was developed by Daniel J. Clancy and myself. Most of the research has been performed within the Qualitative Reasoning Group at the University of Texas. TeQsim was available with the standard QSIM distribution.