Papers on Qualitative Reasoning

Chatter box abstraction eliminates chatter by performing a focused envisionment while Behavior Aggregation eliminations event occurrence branching. Describes a simulation technique that uses a cross between a state-based representation and a history-based representation. Models are decomposed into components and then each component is simulated separately. Temporal correlations between variables within different components is eliminated thus reducing many irrelevant distinctions within the behavioral description.