References

1

G. Biswas and X. Yu. A formal modeling scheme for continuous systems: Focus on diagnosis. Proc. IJCAI-93, pp. 1474-1479, Chambery, France, August 1993.

2

J.F. Broenink and K.C.J. Wijbrans. Describing discontinuities in bond graphs. Proceedings of the International Conference on Bond Graph Modeling, pp. 120-125, San Diego, California, 1993.

3

G. Falk and W. Ruppel. Energie und Entropie: Eine Einführung in die Thermodynamik. Springer-Verlag, Berlin, Heidelberg, New York, 1976. ISBN 3-540-07814-2.

4

B. Falkenhainer and K. Forbus. Compositional modeling: Finding the right model for the job. Artificial Intelligence, 51:95-143, 1991.

5

K.D. Forbus. The qualitative process engine. Readings in Qualitative Reasoning about Physical Systems, pp.\ 220-235, 1990.

6

T.A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine. Symbolic model checking for real-time systems. Information and Computation, 111:193-244, 1994.

7

Y. Iwasaki, A. Farquhar, V. Saraswat, D. Bobrow, and V. Gupta. Modeling time in hybrid systems: How fast is ``instantaneous''? 1995 International Conference on Qualitative Reasoning, pp. 94-103, Amsterdam, May 1995. University of Amsterdam.

8

B. Kuipers. Qualitative simulation. Artificial Intelligence, 29:289-338, 1986.

9

P.J. Mosterman and G. Biswas. Modeling Discontinuous Behavior with Hybrid Bond Graphs. Qualitative Reasoning Workshop, pp. 139-147, Amsterdam, The Netherlands, 1995.

10

P.J. Mosterman and G. Biswas. A Formal Hybrid Modeling Scheme for Handling Discontinuities in Physical System Models. In AAAI-96, pages 985-990, Portland, Oregon, August 1996. AAAI Press, 445 Burgess Drive, Menlo Park, CA, 94025.

11

T. Nishida and S. Doshita. Reasoning about discontinuous change. Proc. AAAI-87, pp. 643-648, Seattle, Washington, 1987.

12

R.C. Rosenberg and D. Karnopp. Introduction to Physical System Dynamics. McGraw-Hill Publishing Company, New York, New York, 1983.

13

J.J. van Dixhoorn and P.C. Breedveld. Technische Systeemleer. University of Twente, Twente, Netherlands, fourth edition, February 1985. class pack.