Vineet Gupta, Peter Struss
Modeling A Copier Paper Path: A Case Study in Modeling Transportation Processes
In: Workshop Notes of the 9th International Workshop on Qualitative Reasoning (QR-95), Amsterdam, The Netherlands, May 1995.
We present a compositional model of paper transportation in a photocopier that is meant to support different problem solving tasks like simulation and diagnosis, and to be applicable to a variety of configurations. Therefore, we try to avoid making hard-wired implicit assumptions about design principles and possible scenarios. In order to simplify our analysis, the model abstracts away from the physical forces and reasons only about velocities. Nonetheless, it succeeds in determining essential features of the motion of the sheet of paper like buckling and tearing. The framework provided is quite generic and can be used as a starting point for developing models of other transportation domains.
Remark: Same as [GuptaStruss 95]. See also the Extended Abstract (in HTML)