Qualitative simulation and related approaches for the analysis of dynamic systems

Knowledge Engineering Review

Volumn 19, Issue 2, 2004, Pages 93-132

  De Jong, Hidde ^a  

^a INRIA RHÔNE ALPES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMBINATORIAL MATHEMATICS; CONSTRAINT THEORY; DIFFERENTIAL EQUATIONS; MATHEMATICAL MODELS; NONLINEAR SYSTEMS; PARAMETER ESTIMATION;

BUNKER-BUSTING POTENTIAL; DYNAMIC SYSTEMS; PHASE-SPACE ANALYSIS; QUALITATIVE STATES;

COMPUTER SIMULATION;

EID: 18744413282     PISSN: 02698889     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0269888904000177     Document Type: Article

References (231)

1. Abelson, H, 1990, The Bifurcation Interpreter: a step towards the automatic analysis of dynamical systems. Computers & Mathematics with Applications 20(8), 13-35.
2. Abelson, H, Eisenberg, M, Halfant, M, Katzenelson, J, Sacks, EP, Sussman, GJ, Wisdom, J and Yip, KM-K, 1989, Intelligence in scientific computing. Communications of the ACM 32, 546-562.
3. Alur, R, Henzinger, TA, Lafferriere, G and Pappas, GJ, 2000, Discrete abstractions of hybrid systems. Proceedings of the IEEE 88(7), 971-984.
4. Amador, FG, Finkelstein, A and Weld, DS, 1993, Real-time self-explanatory simulation. In Proceedings of the Eleventh National Conference on Artificial Intelligence, AAAI-93. Menlo Park, CA/Cambridge, MA: AAAI Press/MIT Press, pp. 562-567.
5. Armengol, J, Travé-Massuyès, L, Vehí, J and de la Rosa, JL, 2000, A survey on interval model simulators and their properties related to fault detection. Annual Reviews in Control 24, 31-39.
6. Asarin, E, Bournez, O, Dang, T and Maler, O, 2000, Approximate reachability analysis of piecewise-linear dynamical systems. In Krogh, B and Lynch, N, (eds.), Hybrid Systems: Computation and Control (HSCC 2000) (Lecture Notes in Computer Science, 1790). Berlin: Springer, pp. 20-31.
7. Asarin, E, Schneider, G and Yovine, S, 2002, Towards computing phase portraits of polygonal differential inclusions. In Tomlin, CJ and Greenstreet, MR, (eds.), Hybrid Systems: Computation and Control (HSCC 2002) (Lecture Notes in Computer Science, 2289). Berlin: Springer, pp. 49-61.
8. Aubin, J-P, 1989, Qualitative simulation of differential equations. Differential and Integral Equations 2(2), 183-192.
9. Aubin, J-P and Dordan, O, 2002, Dynamical qualitative analysis of evolutionary systems. In Tomlin, CJ and Greenstreet, MR, (eds.), Hybrid Systems: Computation and Control (HSCC 2002) (Lecture Notes in Computer Science, 2289). Berlin: Springer, pp. 62-75.
10. Bailey-Kellogg, C and Zhao, F, 2001, Influence-based model decomposition for reasoning about spatially distributed physical systems. Artificial Intelligence 130(2), 125-166.
11. Bailey-Kellogg, C and Zhao, F, 2003, Qualitative spatial reasoning: extracting and reasoning with spatial aggregates. AI Magazine 24(4), 47-60.
12. Bandelj, A, Bratko, I and Šuc, D, 2002, Qualitative simulation with CLP. In Agell, N and Ortega, JA, (eds.), Working Notes of the Sixteenth International Workshop on Qualitative Reasoning, QR 2002. Barcelona: Sitges, pp. 5-10.
13. Batt, G, Bergamini, D, de Jong, H, Gavarel, H and Mateescu, R, 2004, Model checking genetic regulatory networks using GNA and CADP. In Graf, S and Mounier, L, (eds.), Eleventh International SPIN Workshop on Model Checking of Software, SPIN 2004 (Lecture Notes in Computer Science, 2989). Berlin: Springer, pp. 158-163.
14. Bellazzi, R, Guglielmann, R and Ironi, L, 1999, A qualitative-fuzzy framework for nonlinear black-box system identification. In Dean, TD, (ed.), Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI-99. San Francisco, CA: Morgan Kaufmann, pp. 1041-1046.
15. Bérard, B, Bidoit, M, Finkel, A, Laroussinie, F, Petit, A, Petrucci, L, Schnoebelen, Ph and McKenzie, P, 2001, Systems and Software verification: Model-Checking Techniques and Tools. Berlin: Springer.
16. Berleant, D and Kuipers, BJ, 1992 Qualitative-numeric simulation with Q3. In Fallings, B and Struss, P, (eds.), Recent Advances in Qualitative Physics. Cambridge, MA: MIT Press, pp. 3-16.
17. Berleant D and Kuipers, BJ, 1997, Qualitative and quantitative simulation: bridging the gap. Artificial Intelligence 95(2), 215-256.
18. Bernard, O, 1995 Étude expérimentale et théorique de la croissance de Dunaliella tertiolecta (chlorophyceae) soumise à une limitation variable de nitrate: utilisation de la dynamique transitoire pour la conception et la validation des modèles. PhD Thesis, Université Pierre and Marie Curie, Paris VI.
19. Bernard, O and Gouzé, J-L 1995, Transient behavior of biological loop models with application to the Droop model. Mathematical Biosciences 127(1), 19-43.
20. Bernard, O and Gouzé, J-L 1996, Transient behavior of biological models as a tool of qualitative validation: application to the Droop model and to the N-P-Z model. Journal of Biological Systems4(3), 303-314.
21. Bernard, O and Gouzé, J-L, 1999, Non-linear qualitative signal processing for biological systems: application to the algal growth in bioreactors. Mathematical Biosciences 157(1-2), 357-372.
22. Bernard, O and Gouzé, J-L, 2002 Global qualitative description of a class of nonlinear dynamical systems. Artificial Intelligence 136(1), 29-59.
23. Bernard, O and Souissi, S, 1998, Qualitative behavior of stage-structured populations: application to structural validation. Journal of Mathematical Biology 37(4), 291-308.
24. Biswas, G and Yu, X, 1993, A formal modeling scheme for continuous systems: focus on diagnosis. In Bajcsy, R, (ed.), Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, IJCAI-93. San Mateo, CA: Morgan Kaufmann, pp. 1474-1479.
25. Bobrow, DG, (ed.) 1985, Qualitative Reasoning about Physical Systems. Cambridge, MA: MIT Press.
26. Bonarini, A and Bontempi, G, 1994, A qualitative simulation approach for fuzzy dynamical models. ACM Transactions on Modeling and Computer Simulation 4(4), 285-313.
27. Borst, P, Akkermans, H and Top, J, 1997, Engineering ontologies. International Journal of Human-Computer Studies 46(2-3), 365-406.
28. Bousson, K and Travé-Massuyès, L, 1993, Fuzzy causal simulation in process engineering. In Bajcsy, R, (ed.), Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, IJCAI-93. San Mateo, CA: Morgan Kaufmann, pp. 1536-1541.
29. Bradley, E, 1995, Autonomous exploration and control of chaotic systems. Cybernetics and Systems: An International Journal 26, 499-519.
30. Bradley, E, Easley, M and Stolle, R, 2001, Reasoning about nonlinear system identification. Artificial Intelligence 133(1), 139-188.
31. Bradley, E, O'Gallagher, A and Rogers, J, 1998, Global solutions for nonlinear systems using qualitative reasoning. Annals of Mathematics and Artificial Intelligence 23(3-4), 211-228.
32. Bradley, E and Stolle, R, 1996, Automatic construction of accurate models of physical systems. Annals of Mathematics and Artificial Intelligence 17(1-2), 1-28.
33. Bradley, E and Zhao, F, 1993, Phase-space control system design. IEEE Control Systems 13(2), 39-46.
34. Brajnik, G and Clancy, DJ, 1996, Trajectory constraints in qualitative simulation. In Proceedings of the Thirteenth National Conference on Artificial Intelligence, AAAI-96. Menlo Park, CA/Cambridge, MA: AAAI Press/MIT Press, pp. 979-984.
35. Brajnik, G and Clancy, DJ, 1998, Focusing qualitative simulation using temporal logic: theoretical foundations. Annals of Mathematics and Artificial Intelligence 22(1-2), 59-86.
36. Bredeweg, B and Forbus, K, 2003, Qualitative modeling in education. AI Magazine 24(4), 35-46.
37. Bredeweg, B and Struss, P, 2003, Current topics in qualitative reasoning. AI Magazine 24(4), 13-16.
38. Capelo, AC, Ironi, L and Tentoni, S, 1998, Automated mathematical modeling from experimental data: an application to materials science. IEEE Transactions on Systems, Man, and Cybernetics. Part A: Systems and Humans 28(3), 356-370.
39. Catino, CA and Ungar, LH, 1995, Model-based approach to automated hazard identification of chemical plants. AIChE Journal 41(1), 97-109.
40. Clancy, DJ and Kuipers, BJ, 1997a, Model decomposition and simulation: a component based qualitative simulation algorithm. In Proceedings of the Fourteenth National Conference on Artificial Intelligence, AAAI-97. Menlo Park, CA/Cambridge, MA: AAAI Press/MIT Press, pp. 118-124.
41. Clancy, DJ and Kuipers, BJ, 1997b, Static and dynamic abstraction solves the problem of chatter in qualitative simulation. In Proceedings of the Fourteenth National Conference on Artificial Intelligence, AAAI-97. Menlo Park, CA/Cambridge, MA: AAAI Press/MIT Press, pp. 125-131.
42. Clancy, DJ and Kuipers, BJ, 1998, Qualitative simulation as a temporally-extended constraint satisfaction problem. In Proceedings of the Fifteenth National Conference on Artificial Intelligence, AAAI-98. Menlo Park, CA/Cambridge, MA: AAAI Press/MIT Press, pp. 240-247.
43. Clarke, EM, Grumberg, O and Peled, DA, 1999 Model Checking. Boston, MA: MIT Press.
44. Coghill, GM, Garrett, SM and King, RD, 2004, Learning qualitative metabolic models. In López de Mántaras, R and Saitta, L, (eds.), Proceedings of Fourteenth European Conference on Artificial Intelligence, ECAI-04. Amsterdam: IOS Press, pp. 445-449.
45. Coiera, EW, 1992, Qualitative superposition. Artificial Intelligence 56(2-3), 171-196.
46. Dague, P, 1993a, Numeric reasoning with relative orders of magnitude. In Proceedings of the Eleventh National Conference on Artificial Intelligence, AAAI-93. Menlo Park, CA/Cambridge, MA: AAAI Press/MIT Press, pp. 541-547.
47. Dague, P, 1993b, Symbolic reasoning with relative orders of magnitude. In Bajcsy, R, (ed.), Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, IJCAI-93. San Mateo, CA: Morgan Kaufmann, pp. 1509-1514.
48. Dague, P and MQ&D, L, 1995, Qualitative reasoning: a survey of techniques and applications. AI Communications 8(3-4), 119-192.
49. Davis, E, 1990, Order of magnitude reasoning in qualitative differential equations. In Weld, DS and de Kleer, J, (eds.), Readings in Qualitative Reasoning about Physical Systems, San Mateo, CA: Morgan Kaufmann, pp. 422-434.
50. de Jong, H, Geiselmann, J, Batt, G, Hernandez, C and Page, M, 2004a, Qualitative simulation of the initiation of sporulation in B. subtilis. Bulletin of Mathematical Biology 66(2), 261-300.
51. de Jong, H, Geiselmann, J, Hernandez, C and Page, M, 2003, Genetic network analyzer: qualitative simulation of genetic regulatory networks. Bioinformatics 19(3), 336-344.
52. de Jong, H, Gouzé, J-L, Hernandez, C, Page, M, Sari, T and Geiselmann, J, 2002, Dealing with discontinuities in the qualitative simulation of genetic regulatory networks. In van Harmelen, F, (ed.), Proceedings of Fifteenth European Conference on Artificial Intelligence, ECAI-02. Amsterdam: IOS Press, pp. 412-416.
53. de Jong, H, Gouzé, J-L, Hernandez, C, Page, M, Sari, T and Geiselmann, J, 2004b, Qualitative simulation of genetic regulatory networks using piecewise-linear models. Bulletin of Mathematical Biology 66(2), 301-340.
54. de Jong, H, Mars, NJI and van der Vet, PE, 1999, Computer-supported resolution of measurement conflicts: a case-study in materials science. Foundations of Science 4(4), 427-461.
55. de Jong, H and Page, M, 2000, Qualitative simulation of large and complex genetic regulatory systems. In Horn, W, (ed.), Proceedings of the Fourteenth European Conference on Artificial Intelligence, ECAI-00. Amsterdam: IOS Press, pp. 141-145.
56. de Jong, H, Page, M, Hernandez, C and Geiselmann, J, 2001, Qualitative simulation of genetic regulatory networks: method and application. In Nebel, B, (ed.), Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI-01. San Mateo, CA: Morgan Kaufmann, pp. 67-73.
57. de Jong, H and Rip, A, 1997, The computer revolution in science: steps towards the realization of computer-supported discovery environments. Artificial Intelligence 91(2), 225-256.
58. de Jong, H and van Raalte, F, 1999, Comparative envisionment construction: a general method for the comparative analysis of dynamical systems. Artificial Intelligence 115(2), 145-214.
59. de Kleer, J, 1977, Multiple representations of knowledge in a mechanics problem-solver. In Proceedings of the Fifth International Joint Conference on Artificial Intelligence, IJCAI-77. Los Altos, CA: Morgan Kaufmann, pp. 299-304.
60. de Kleer, J, 1992, Qualitative physics. In Shapiro, S. C. (ed.), Encyclopedia of Artificial Intelligence, vol. 2, 2nd edn. New York: John Wiley and Sons, pp. 1149-1159.
61. de Kleer, J and Bobrow, DG, 1984, Qualitative reasoning with higher-order derivatives. In Proceedings of the Fourth National Conference on Artificial Intelligence, AAAI-84. Los Altos, CA: Morgan Kaufman, pp. 86-91.
62. de Kleer, J and Brown, JS, 1984, A qualitative physics based on confluences. Artificial Intelligence 24(1-3), 7-83.
63. de Koning, K, Bredeweg, B, Breuker, J and Wielinga, BJ, 2000, Model-based reasoning about learner behaviour. Artificial Intelligence 117(2), 173-229.
64. DeCoste, D, 1991, Dynamic across-time measurement interpretation. Artificial Intelligence 51(1-3), 273-341.
65. Dordan, O, 1992, Mathematical problems arising in qualitative simulation of a differential equation. Artificial Intelligence 55(1), 61-86.
66. Dordan, O, 1995, Analyse Qualitative. Paris: Masson.
67. Doyle, J and Sacks, EP, 1991, Markov analysis of qualitative dynamics. Computational Intelligence 7(1), 1-10.
68. Dressler, O, 1996, On-line diagnosis and monitoring of dynamic systems based on qualitative models and dependency-recording diagnosis engines. In Wahlster, W, (ed.), Proceedings of the Twelfth European Conference on Artificial Intelligence, ECAI-96. Chichester: John Wiley and Sons, pp. 481-485.
69. Dvorak, D and Kuipers, BJ, 1991, Process monitoring and diagnosis: a model-based approach. IEEE Expert 6(3), 67-74.
70. Eisenack, K and Petschel-Held, G, 2002, Graph theoretical analysis of qualitative models in sustainability science. In Agell, N and Ortega, JA, (eds.), Working Notes of the Sixteenth International Workshop on Qualitative Reasoning, QR 2002. Barcelona: Sitges, pp. 53-60.
71. Falkenhainer, B and Forbus, KD, 1991, Compositional modeling: finding the right model for the job. Artificial Intelligence 51(1-3), 95-143.
72. Faltings, B and Struss, P, (eds.) 1992, Recent Advances in Qualitative Physics. Cambridge, MA: MIT Press.
73. Farquhar, A, Kuipers, BJ, Rickel, J and Throop, D, 1993, QSIM: the program and its use. Technical Report UT-AI-90-123, University of Texas, Austin, TX.
74. Farquhar, A, 1994, A Qualitative Physics Compiler. In Proceedings of the Twelfth National Conference on Artificial Intelligence, AAAI-94. Menlo Park, CA/Cambridge, MA: AAAI Press/MIT Press, pp. 1168-1174.
75. Fishwick, PA and Luker, PA (eds), 1991, Qualitative Simulation Modelling and Analysis, New York: Springer.
76. Forbus, KD, 1983, Qualitative reasoning about space and motion. In Gentner, D and Stevens, A, (eds.), Mental Models. Hillsdale, NJ: Lawrence Erlbaum, pp. 53-73.
77. Forbus, KD, 1984, Qualitative process theory. Artificial Intelligence 24(1-3), 85-168.
78. Forbus, KD, 1987, Interpreting observations of physical systems. IEEE Transactions on System, Man, and Cybernetics. Part A: Systems and Humans 17(3), 350-359.
79. Forbus, KD, 1988, Qualitative physics: past, present, and future. In Shrobe, H, (ed.), Exploring Artificial Intelligence. San Mateo, CA: Morgan Kaufmann, pp. 239-296.
80. Forbus, KD, 1989, QPE: a study in assumption-based truth maintenance. International Journal of Artificial Intelligence in Engineering 3(4), 200-215.
81. Forbus, KD, 1993, Qualitative process theory: twelve years after. Artificial Intelligence 59(1-2), 115-123.
82. Forbus, KD, 1996, Qualitative reasoning. In Tucker, JA, (ed.), Handbook of Computer Science and Engineering. Boca Raton, FL: CRC Press, pp. 715-733.
83. Forbus, KD, 1997, Using qualitative physics to create articulate educational software. IEEE Expert 12(3), 32-41.
84. Forbus, KD and de Kleer, J, 1993, Building Problem Solvers. Cambridge, MA: MIT Press.
85. Forbus, K.D. and Falkenhainer, B. 1990 Self-explanatory simulations: an integration of qualitative and quantitative knowledge. In Proceedings of the Eighth National Conference on Artificial Intelligence, AAAI-90. Menlo Park, CA/Cambridge, MA: AAAI Press/MIT Press, pp. 380-387.
86. Forbus, KD and Falkenhainer, B, 1992, Self-explanatory simulations: scaling up to large models. In Proceedings of the Tenth National Conference on Artificial Intelligence, AAAI-92. Menlo Park, CA/ Cambridge, MA: AAAI Press/MIT Press, pp. 685-690.
87. Forbus, KD and Falkenhainer, B, 1995, Scaling up self-explanatory simulators: polynomial-time compilation. In Mellish, CS, (ed.), Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, IJCAI-95. San Mateo, CA: Morgan Kaufmann, pp. 1798-1805.
88. Fouché, P and Kuipers, BJ, 1992, Reasoning about energy in qualitative simulation. IEEE Transactions on Systems, Man, and Cybernetics. Part A: Systems and Humans 22(1), 47-63.
89. Grossman, W and Werther, H, 1993 A stochastic approach to qualitative simulation using Markov processes. In Bajcsy, R, (ed.), Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, IJCAI-93. San Mateo, CA: Morgan Kaufmann, pp. 1530-1535.
90. Guckenheimer, J and Holmes, P, 1987, Nonlinear Oscillations, Dynamical Systems, and Bifurcations of vector Fields. New York: Springer.
91. Guerrin, F and Dumas, J, 2001a, Knowledge representation and qualitative simulation of salmon redd functioning. Part I: qualitative modeling and simulation. BioSystems 59(2), 75-84.
92. Guerrin, F and Dumas, J, 2001b, Knowledge representation and qualitative simulation of salmon redd functioning. Part II: qualitative model of redds. BioSystems 59(2), 85-108.
93. Hau, DT and Coiera, EW, 1993, Learning qualitative models of dynamic systems. Machine Learning 26(2-3), 177-211.
94. Hayes, PJ, 1985, The second naive physics manifesto. In Hobbs, J and Moore. B, (eds.), Formal Theories of the Commonsense World, Norwood, NJ: Ablex, pp. 1-36.
95. Heidtke, KR and Schulze-Kremer, S, 1998, Design and implementation of a qualitative simulation model of X phage infection. Bioinformatics 14(1), 81-91.
96. Hirsch, MW and Smale, S, 1974, Differential Equations, Dynamical Systems, and Linear Algebra. San Diego, CA: Academic Press.
97. Hofbaur, M and Dourdoumas, N, 2002, Lyapunov based reasoning methods. IEEE Transactions on Systems, Man, and Cybernetics. Part A: Systems and Humans 31(6), 546-558.
98. Hossain, A and Ray, KS, 1997, An extension of QSIM with qualitative curvature. Artificial Intelligence 96(2), 303-350.
99. Ironi, L and Stefanelli, M, 1995, Generating explanations of pathophysiological system behaviors from qualitative simulation of compartmental models. In Barahona, P, Stefanelli, M and Wyatt, J, (eds.), Artificial Intelligence in Medicine (Lecture Notes in Computer Science, 934). Berlin: Springer, pp. 115-126.
100. Ironi, L, Stefanelli, M and Lanzola, G, 1990, Qualitative models in medical diagnosis. Artificial Intelligence in Medicine 2, 85-101.
101. Ishida, Y, 1989, Using global properties for qualitative reasoning: a qualitative system theory. In Sridharan, NS, (ed.), Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, IJCAI-89. San Mateo, CA: Morgan Kaufmann, pp. 1174-1179.
102. Iwasaki, Y, 1992, Reasoning with multiple abstraction models. In Faltings, B and Struss, P, (eds.), Recent Advances in Qualitative Physics. Cambridge, MA: MIT Press, pp. 67-82.
103. Iwasaki, Y and Low, C, 1993, Model generation and simulation of device behavior with continuous and discrete changes. Intelligent Systems Engineering 1(2), 115-145.
104. Iwasaki, Y and Simon, HA, 1994, Causality and model abstraction. Artificial Intelligence 67(1), 143-194.
105. Jackson, KR and Nedialkov, NS, 2002, Some recent advances in validated methods for IvPs for ODEs. Applied Numerical Mathematics 42(1-3), 269-284.
106. Janssen, M, van Hentenryck, P and Deville, Y, 2001, A constraint satisfaction approach to parametric differential equations. In Nebel, B, (ed.), Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI-01. San Mateo, CA: Morgan Kaufmann, pp. 297-302.
107. Janssen, M, van Hentenryck, P and Deville, Y, 2002, A constraint satisfaction approach for enclosing solutions to parametric ordinary differential equations. SIAM Journal on Numerical Analysis 40(5), 1896-1939.
108. Junker, U and Braunschweig, B, 1995, History-based interpretation of finite element simulations of seismic wave fields. In Mellish, CS, (ed.), Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, IJCAI-95. San Mateo, CA: Morgan Kaufmann, pp. 1789-1795.
109. Kalagnanam, J, Simon, HA and Iwasaki, Y, 1991, The mathematical bases for qualitative reasoning. IEEE Expert 6(2), 11-19.
110. Kamps, J and Péli, G, 1995, Qualitative reasoning beyond the physics domain: the density dependence theory of organizational ecology. In Working Notes of the Ninth International Workshop on Qualitative Reasoning, QR-95, Amsterdam.
111. Karnopp, DC, Margolis, DL and Rosenberg, RC, 1990, System Dynamics: A Unified Approach. New York: John Wiley and Sons.
112. Kaul, N, Biswas, G and Bhuva, B, 1992, Multi-level qualitative reasoning applied to CMOS digital circuits. Artificial Intelligence in Engineering 7(3), 125-137.
113. Kay, B, 1998, SQSIM: a simulator for imprecise ODE models. Computers and Chemical Engineering 23(1), 27-46.
114. Kay, H and Kuipers, BJ, 1993, Numerical behavior envelopes for qualitative models. In Proceedings of the Eleventh National Conference on Artificial Intelligence, AAAI-93. Menlo Park, CA/Cambridge, MA: AAAI Press/MIT Press, pp. 606-613.
115. Kay, H, Rinner, B and Kuipers, BJ, 2000, Semi-quantitative system identification. Artificial Intelligence 119(1-2), 103-140.
116. Keppens, J and Shen, Q, 2001, On compositional modelling. Knowledge Engineering Review 16(2), 157-200.
117. Kuipers, BJ, 1986, Qualitative simulation. Artificial Intelligence 29(3), 289-388.
118. Kuipers, BJ, 1988, Qualitative simulation using time-scale abstraction. International Journal of Artificial Intelligence in Engineering 3(4), 185-191.
119. Kuipers, BJ, 1989a, Qualitative reasoning: modeling and simulation with incomplete knowledge. Automatica 25(4), 571-585.
120. Kuipers, BJ, 1989b, Qualitative reasoning with causal models in diagnosis of complex systems. In Widman, LE, Loparo, KA and Nielsen, NR, (eds.), Artificial Intelligence, Simulation, and Modeling, New York: John Wiley and Sons, pp. 257-274.
121. Kuipers, BJ, 1993a, Qualitative simulation: then and now. Artificial Intelligence 59(1-2), 133-140.
122. Kuipers, BJ, 1993b, Reasoning with qualitative models. Artificial Intelligence 59(1-2), 125-132.
123. Kuipers, BJ, 1994, Qualitative Reasoning: Modeling and Simulation with Incomplete Knowledge. Cambridge, MA: MIT Press.
124. Kuipers, BJ, 2001, Qualitative simulation. In Meyers, R. A. (ed.), Encyclopedia of Physical Science and Technology. New York: Academic Press, pp. 287-300.
125. Kuipers, BJ and Åström, A, 1994, The composition and validation of heterogeneous control laws. Automatica 30(2), 233-249.
126. Kuipers, BJ and Chiu, C, 1987, Taming intractable branching in qualitative simulation. In McDermott, J, (ed.), Proceedings of the Tenth International Joint Conference on Artificial Intelligence, IJCAI-87. Los Altos, CA: Morgan Kaufmann, pp. 1079-1085.
127. Kuipers, BJ, Chiu, C, Dalle Molle, DT and Throop, DR, 1991, Higher-order derivative constraints in qualitative simulation. Artificial Intelligence 51(1-3), 343-379.
128. Kuipers, BJ and Kassirer, JP, 1984, Causal reasoning in medicine: analysis of a protocol. Cognitive Science 8, 363-385.
129. Lackinger, F and Nejdl, W, 1993, Diamon: a model-based troubleshooter based on qualitative reasoning. IEEE Expert 8(1), 33-39.
130. Lee, WW and Kuipers, BJ, 1988, Non-intersection of trajectories in qualitative phase space: a global constraint for qualitative simulation. In Proceedings of the Seventh National Conference on Artificial Intelligence, AAAI-88. Los Altos, CA: Morgan Kaufmann, pp. 286-291.
131. Lee, WW and Kuipers, BJ, 1993, A qualitative method to construct phase portraits. In Proceedings of the Eleventh National Conference on Artificial Intelligence, AAAI-93. Menlo Park, CA/Cambridge, MA: AAAI Press/MIT Press, pp. 614-619.
132. Leitch, R and Shen, Q, 1993, Prioritizing behaviours in qualitative simulation. In Bajcsy, R, (ed.), Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, IJCAI-93. San Mateo, CA: Morgan Kaufmann, pp. 1523-1528.
133. Levy, AY, Iwasaki, Y and Fikes, R, 1997, Automated model selection for simulation based on relevance reasoning. Artificial Intelligence 96(2), 351-394.
134. Lohner, RJ, 1987, Enclosing the solutions of ordinary initial and boundary value problems. In Kauchner, EW, Kulisch, U and Ullrich, C, (eds.), Computer Arithmetic: Scientific Computation and Programming Languages. Stuttgart: Teubner, pp. 255-286.
135. Low, CM and Iwasaki, Y, 1992, Device modelling environment: an interactive environment for modelling device behaviour. Intelligent Systems Engineering 1(2), 115-145.
136. Lunze, J, 1994, Qualitative modelling of linear dynamical systems with quantised state measurements. Automatica 30(3), 417-432.
137. Lunze, J, 1998, Qualitative modelling of dynamical systems: motivation, methods, and prospective applications. Mathematics and Computers in Simulation 46(5), 465-483.
138. Makarovic, A, 1991, Parsimony in model-based reasoning. PhD Thesis, University of Twente, Enschede, The Netherlands.
139. Mallory, RS, Porter, BW and Kuipers, BJ, 1996, Comprehending complex behavior graphs through abstraction. In Working Notes of the Tenth International Workshop on Qualitative Reasoning, QR-96. San Mateo, CA: AAAI Press.
140. Mavrovouniotis, ML and Stephanopoulos, G, 1988, Formal order-of-magnitude reasoning in process engineering. Computers and Chemical Engineering 12(9-10), 867-880.
141. Miguel, I and Shen, Q, 2005, Exhibiting the behaviour of time-delayed systems via an extension to qualitative simulation. IEEE Transactions on Systems, Man and Cybernetics. Part A: Systems and Humans, to appear.
142. Dalle Molle, DT and Edgar, TF, 1990, Qualitative modeling of chemical reaction systems. In Mavrovouniotis, ML, (ed.), Artificial Intelligence in Process Engineering. Boston, MA: Academic Press, pp. 1-36.
143. Moore, RE, 1979, Methods and Applications of Interval Analysis (Studies in Applied Mathematics). Philadelphia: SIAM.
144. Mosterman, PJ and Biswas, G, 1999, Diagnosis of continuous valued systems in transient operating regions. IEEE Transactions on Systems, Man, and Cybernetics. Part A: Systems and Humans 29(6), 554-565.
145. Mosterman, PJ and Biswas, G, 2000, A comprehensive methodology for building hybrid models of physical systems. Artificial Intelligence 121(1-2), 171-209.
146. Nayak, PP, 1994, Causal approximations. Artificial Intelligence 70(1-2), 277-334.
147. Nayak, PP, 1995, Automated Modeling of Physical Systems. Berlin: Springer.
148. Nedialkov, NS and Jackson, KR, 1999a, An interval Hermite-Obreschkoff method for computing rigorous bounds on the solution of an initial value problem for an ordinary differential equation. In Csendes, T, (ed.), Developments in Reliable Computing. Dordrecht: Kluwer Academic Publishers, pp. 289-310.
149. Nedialkov, NS and Jackson, KR, 1999b, ODE software that computes guaranteed bounds on the solution. In Langtangen, HP, Bruaset, AM and Quak, E, (eds.), Advances in Software Tools for Scientific Computing. Berlin: Springer, pp. 197-224.
150. Neitzke, M and Neumann, B, 1994, Comparative simulation. In Proceedings of the Twelfth National Conference on Artificial Intelligence, AAAI-94. Menlo Park, CA/Cambridge, MA: AAAI Press/MIT Press, pp. 1205-1210.
151. Ng, HT, 1991, Model-based, multiple-fault diagnosis of dynamic, continuous physical devices. IEEE Expert 6(6), 38-43.
152. Nishida, T, 1993, Generating quasi-symbolic representation of three-dimensional flow. In Proceedings of the Eleventh National Conference on Artificial Intelligence, AAAI-93. Menlo Park, CA/Cambridge, MA: AAAI Press/MIT Press, pp. 554-559.
153. Nishida, T, 1994, Qualitative reasoning for automated exploration for chaos. In Proceedings of the Twelfth National Conference on Artificial Intelligence, AAAI-94. Menlo Park, CA/Cambridge, MA: AAAI Press/MIT Press, pp. 1211-1216.
154. Nishida, T, 1997, Grammatical description of behaviors of ordinary differential equations in two-dimensional phase space. Artificial Intelligence 91(1), 3-32.
155. Nishida, T and Doshita, S, 1995, Qualitative analysis of behavior of systems of piecewise linear differential equations with two state variables. Artificial Intelligence 75(1), 3-29.
156. Ordóñez, I and Zhao, F, 2000, STA: spatio-temporal aggregation with applications to analysis of diffusion-reaction phenomena. In Proceedings of the Seventeenth National Conference on Artificial Intelligence, AAAI-00. Menlo Park, CA/Cambridge, MA: AAAI Press/MIT Press, pp. 517-523.
157. Oyeleye, OO, Finch, FE and Kramer, MA, 1990, Qualitative modeling and fault diagnosis of dynamic processes by MIDAS. Chemical Engineering Communications 96, 205-228.
158. Panati, A and Theseider Dupré, D, 2000, State-based and simulation-based diagnosis of dynamical systems. In Horn, W, (ed.), Proceedings of Fourteenth European Conference on Artificial Intelligence, ECAI-00. Amsterdam: IOS Press, pp. 176-180.
159. Raiman, O, 1991, Order of magnitude reasoning. Artificial Intelligence 51(1-3), 11-38.
160. Richards, BL, Kraan, I and Kuipers, BJ, 1992, Automated abduction of qualitative models. In Proceedings of the Tenth National Conference on Artificial Intelligence, AAAI-92, Menlo Park, CA/Cambridge, MA: AAAI Press/MIT Press, pp. 723-728.
161. Rickel, J and Porter, B, 1994, Automated modeling for answering prediction questions: selecting the time scale and system boundary. In Proceedings of the Twelfth National Conference on Artificial Intelligence, AAAI-94. Menlo Park, CA/Cambridge, MA: AAAI Press/MIT Press, pp. 1191-1198.
162. Rickel, J and Porter, B, 1997, Automated modeling of complex systems to answer prediction questions. Artificial Intelligence 93(1-2), 201-260.
163. Rinner, B and Kuipers, BJ, 1999, Monitoring piecewise continuous behaviors by refining semi-quantitative trackers. In Dean, TD, (ed.), Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI-99. San Francisco, CA: Morgan Kaufmann, pp. 1080-1086.
164. Robinson, A, 1966, Nonstandard Analysis, 2nd edn. Amsterdam: North-Holland.
165. Roddis, WMK and Martin, JL, 1992, CRACK: qualitative reasoning about fatigue and fracture in steel bridges. IEEE Expert 7(4), 41-48.
166. Rose, P and Kramer, MA, 1991, Qualitative analysis of causal feedback. In Proceedings of Ninth National Conference on Artificial Intelligence, AAAI-91. Menlo Park, CA/Cambridge, MA: AAAI Press/MIT Press, pp. 817-822.
167. Sachenbacher, M and Struss, P, 2003, Automated qualitative domain abstraction. In Gottlob, G and Walsh, T, (eds.), Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, IJCAI-03. San Francisco, CA: Morgan Kaufmann, pp. 382-387.
168. Sachenbacher, M, Struss, P and Carlén, CM, 2000, A prototype for model-based on-board diagnosis of automotive systems. AI Communications 13(2), 83-97.
169. Sacks, EP, 1987, Hierarchical reasoning about inequalities. In Proceedings of the Sixth National Conference on Artificial Intelligence, AAAI-87. Menlo Park, CA/Cambridge, MA: AAAI Press/MIT Press, pp. 649-654.
170. Sacks, EP, 1990a, Automatic qualitative analysis of dynamic systems using piecewise linear approximations. Artificial Intelligence 41(3), 313-364.
171. Sacks, EP, 1990b, A dynamic systems perspective on qualitative simulation. Artificial Intelligence 42(2-3), 349-362.
172. Sacks, EP, 1991, Automatic analysis of one-parameter planar ordinary differential equations by intelligent numeric simulation. Artificial Intelligence 48(1), 27-56.
173. Sacks, EP and Doyle, J, 1992, Prolegomena to any future qualitative physics. Computational Intelligence 8(2), 187-209.
174. Salles, P, Bredeweg, B, Araujo, S and Neto, W, 2003, Qualitative models of interactions between two populations. AI Communications 16(4), 291-308.
175. Say, ACC, 1998, L'Hôpital's filter for QSIM. IEEE Transactions on Pattern Analysis and Machine Intelligence 20(1), 1-8.
176. Say, ACC and Akin, HL, 2003, Sound and complete qualitative simulation is impossible. Artificial Intelligence 149(2), 251-266.
177. Say, ACC and Kuru, S, 1993, Improved filtering for the QSIM algorithm. IEEE Transactions on Pattern Analysis and Machine Intelligence 15(9), 967-971.
178. Say, ACC and Kuru, S, 1996, Qualitative system identification: deriving structure from behavior. Artificial Intelligence 83(1), 75-141.
179. Schaefer, P, 1991, Analytic solution of qualitative differential equations. In Proceedings of Ninth National Conference on Artificial Intelligence, AAAI-91. Menlo Park, CA/Cambridge, MA: AAAI Press/MIT Press, pp. 830-835.
180. Schut, C and Bredeweg, B, 1996, An overview of approaches to qualitative model construction. Knowledge Engineering Review 11(1), 1-25.
181. Shen, Q and Leitch, R, 1993, Fuzzy qualitative simulation. IEEE Transactions on Systems, Man, and Cybernetics. Part A: Systems and Humans 23(4), 1038-1061.
182. Shen, Q and Leitch, R, 1995, Diagnosing continuous systems with
183. Shults, B and Kuipers, BJ, 1997, Proving properties of continuous systems: qualitative simulation and temporal logic. Artificial Intelligence 92(1-2), 91-130.
184. Söderman, U and Strömberg, J-E, 1991, Combining qualitative and quantitative knowledge to generate models of physical systems. In Mylopoulos, J and Reiter, R, (eds.), Proceedings of the Twelfth International Joint Conference on Artificial Intelligence, IJCAI-91. San Mateo, CA: Morgan Kaufmann, pp. 1158-1163.
185. Spivak, M, 1967, Calculus. New York: Benjamin.
186. Stoker, JJ, 1992, Nonlinear vibrations in Mechanical and Electrical Systems. New York: John Wiley and Sons.
187. Strogatz, SH, 1994, Nonlinear Dynamics and Chaos: With Applications to Physics, Biology, Chemistry, and Engineering. Reading, MA: Perseus Books.
188. Struss, P, 1988a, Global filters of qualitative behaviors. In Proceedings of the Seventh National Conference on Artificial Intelligence, AAAI-88. Los Altos, CA: Morgan Kaufmann, pp. 275-280.
189. Struss, P, 1988b, Mathematical aspects of qualitative reasoning. Artificial Intelligence in Engineering 3(3), 156-169.
190. Struss, P, 1997, Fundamentals of model-based diagnosis of dynamic systems. In Pollack, ME, (ed.), Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, IJCAI-97. San Francisco, CA: Morgan Kaufmann, pp. 480-485.
191. Struss, P, 2000, Modellbasierte Systeme und qualitative Modellierung. In Görz, G, Rollinger, C and Schneeberger, J, (eds.), Handbuch der Künstlicher Intelligenz, 3rd edn. München: Oldenbourg Verlag, pp. 431-490.
192. Struss, P, 2004, Models of behavior deviations in model-based systems. In López de Mántaras, R and Saitta, L, (eds.), Proceedings of Fourteenth European Conference on Artificial Intelligence, ECAI-04. Amsterdam: IOS Press, pp. 883-887.
193. Šuc, D and Bratko I, 2003, Learning qualitative models. AI Magazine 24(4), 107-119.
194. Šuc, D, Vladušič, D and Bratko, I, 2003, Qualitatively faithful quantitative prediction. In Gottlob, G and Walsh, T, (eds.), Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, IJCAI-03. San Francisco, CA: Morgan Kaufmann, pp. 1052-1057.
195. Tiwari, A and Khanna, G, 2002, Series abstractions for hybrid automata. In Tomlin, CJ and Greenstreet, MR, (eds.), Hybrid Systems: Computation and Control (HSCC 2002) (Lecture Notes in Computer Science, 2289). Berlin: Springer-Verlag, pp. 465-478.
196. Tokuda, L, 1996, Managing occurrence branching in qualitative simulation. In Proceedings of the Thirteenth National Conference on Artificial Intelligence, AAAI-96. Menlo Park, CA/Cambridge, MA: AAAI Press/MIT Press, pp. 998-1003.
197. Travé-Massuyès, L and Dague, P, (eds.). 2003, Modèles et raisonnements qualitatifs. Paris: Hermès.
198. Travé-Massuyès, L, Ironi, L and Dague, P, 2003, Mathematical foundations of qualitative reasoning. AI Magazine 24(4), 91-106.
199. Travé-Massuyès, L and Milne, R, 1997, Gas-turbine condition monitoring using qualitative model-based diagnosis. IEEE Expert 12(3), 22-31.
200. Travé-Massuyès, L and Piera, N, 1989, Order of magnitude models as qualitative algebra. In Sridharan, NS, (ed.), Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, IJCAI-89. San Mateo, CA: Morgan Kaufmann, pp. 1261-1266.
201. Varšek, A, 1991, Qualitative model evolution. In Mylopoulos, J and Reiter, R, (eds.), Proceedings of the Twelfth International Joint Conference on Artificial Intelligence, IJCAI-91. San Mateo, CA: Morgan Kaufmann, pp. 1311-1316.
202. Vatcheva, I, 2001, Computer-supported selection for model discrimination. PhD thesis, University of Twente, Enschede, The Netherlands.
203. Vatcheva, I, Bernard, O, de Jong, H, Gouzé, J-L and Mars, NJI, 2001, Discrimination of semi-quantitative models by experiment selection: method and application in population biology. In Nebel, B, (ed.), Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI-01. San Mateo, CA: Morgan Kaufmann, pp. 74-79.
204. Vatcheva, I and de Jong, H, 1999, Semi-quantitative comparative analysis. In Dean, TD, (ed.), Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI-99. San Francisco, CA: Morgan Kaufmann, pp. 1034-1040.
205. Vatcheva, I, de Jong, H and Mars, NJI, 2000, Selection of perturbation experiments for model discrimination. In Horn, W, (ed.), Proceedings of Fourteenth European Conference on Artificial Intelligence, ECAI-00. Amsterdam: IOS Press, pp. 191-195.
206. Vescovi, MR, Farquhar, A and Iwasaki, Y, 1995, Numerical interval simulation: combined qualitative and quantitative simulation to bound behaviors of non-monotonic systems. In Mellish, CS, (ed.), Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, IJCAI-95. San Mateo, CA: Morgan Kaufmann, pp. 1806-1812.
207. Vescovi, MR, Lamego, MM and Farquhar, A, 1997, Modeling and simulation of a complex industrial process. IEEE Expert 12(3), 42-46.
208. Vinson, JM and Ungar, LH, 1995, Dynamic process monitoring and fault diagnosis with qualitative models. IEEE Transactions on Systems, Man, and Cybernetics. Part A: Systems and Humans 25(1), 181-189.
209. Weld, DS, 1986, The use of aggregation in causal simulation. Artificial Intelligence 30(1), 1-34.
210. Weld, DS, 1988, Comparative analysis. Artificial Intelligence 36(3), 333-374.
211. Weld, DS, 1990a, Exaggeration. Artificial Intelligence 43(3), 311-368.
212. Weld, DS, 1990b, Theories of Comparative Analysis. Cambridge, MA: MIT Press.
213. Weld, DS, 1992, Reasoning about model accuracy. Artificial Intelligence 56(2-3), 255-300.
214. Weld, DS and Addanki, S, 1992, Query-directed approximation. In Faltings, B and Struss, P, (eds.), Recent Advances in Qualitative Physics, Cambridge, MA: MIT Press, pp. 101-116.
215. Weld, DS and de Kleer, J, (eds.) 1990, Readings in Qualitative Reasoning about Physical Systems. San Mateo, CA: Morgan Kaufmann.
216. Williams, BC, 1984a, MINIMA: a symbolic approach to qualitative algebraic reasoning. In Proceedings of the Fourth National Conference on Artificial Intelligence, AAAI-84. Los Altos, CA: Morgan Kaufman, pp. 264-269.
217. Williams, BC, 1984b, Qualitative analysis of MOS circuits. Artificial Intelligence 24(1-3), 281-346.
218. Williams, BC, 1984c, The use of continuity in a qualitative physics. In Proceedings of the Fourth National Conference on Artificial Intelligence, AAAI-84. Menlo Park, CA/Cambridge, MA: AAAI Press/MIT Press, pp. 350-354.
219. Williams, BC, 1986, Doing time: putting qualitative reasoning on firmer grounds. In Segre, AM, (ed.), Proceedings of the Fifth National Conference on Artificial Intelligence, AAAI-86. San Mateo, CA: Morgan Kaufmann, pp. 105-112.
220. Williams, BC, 1991, A theory of interactions: unifying qualitative and quantitative algebraic reasoning. Artificial Intelligence 51(1-3), 39-94.
221. Williams, BC and de Kleer, J, 1991, Qualitative reasoning about physical systems: a return to roots. Artificial Intelligence 59(1-2), 1-9.
222. Williams, BC and Raiman, O, 1994, Decompositional modeling through caricatural reasoning. In Proceedings of the Twelfth National Conference on Artificial Intelligence, AAAI-944 Menlo Park, CA/Cambridge, MA: AAAI Press/MIT Press, pp. 1199-1204.
223. Xia, S and Smith, N, 1996, Automated modelling: a discussion and review. Knowledge Engineering Review 11(2), 137-160.
224. Yip, KM-K 1991a, KAM: A System for Intelligently Guiding Numerical Experimentation by Computer. Cambridge, MA: MIT Press.
225. Yip, KM-K, 1991b, Understanding complex dynamics by visual and symbolic reasoning. Artificial Intelligence 51(1-3), 179-221.
226. Yip, KM-K, 1995, Reasoning about fluid motion: I. Finding structures. In Mellish, CS, (ed.), Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, IJCAI-95. San Mateo, CA: Morgan Kaufmann, pp. 1782-1788.
227. Yip, KM-K, 1996, Model simplification by asymptotic order of magnitude reasoning. Artificial Intelligence 80(1-2), 309-348.
228. Yip, KM-K, 1997, Structural inferences from massive datasets. In Pollack, ME, (ed.), Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, IJCAI-97. San Francisco, CA: Morgan Kaufmann, pp. 534-539.
229. Yip, KM-K and Zhao, F, 1996, Spatial aggregation: theory and applications. Journal of Artificial Intelligence Research 5, 1-26.
230. Zhao, F, 1993, Computational dynamics: modeling and visualizing trajectory flows in phase space. Annals of Mathematics and Artificial Intelligence 8(3-4), 285-300.
231. Zhao, F, 1994, Extracting and representing qualitative behaviors of complex systems in phase space. Artificial Intelligence 69(1-2), 51-92.