QSIM Applications and Extensions

This page holds pointers to published articles describing applications and extensions of QSIM, other than what my group has done at UT-Austin. (For those papers, see our indexed bibliography.)

Highlights
QSIM Applications
Qualitative Simulation
Bibliography

I try to provide citations to archival sources, but some references are to the QR Workshop or to local technical reports. I also try to provide email addresses for at least one author.

This list is undoubtedly incomplete. (Last update 5-16-02.) Please send me any additional suggestions or citations I should include. Thanks. Ben. (kuipers@cs.utexas.edu)

Highlights

A Fast Implementation of QSIM in CLP

A. Bandelj, I. Bratko, D. Suc. 2002. Qualitative simulation with CLP. In Proceedings of the Sixteenth International Workshop on Qualitative Reasoning, (QR2002), Sitges, Spain, 2002

Two very nice applications

H. de Jong, M. Page, C. Hernandez and J. Geiselmann. 2001. Qualitative simulation of genetic regulatory networks: method and application. Proceedings IJCAI-2001.
I. Vatcheva, O. Bernard, H. de Jong, J.-L. Gouze and N. J. I. Mars. 2001. Discrimination of semi-quantitative models by experiment selection: method and application in population biology. Proceedings IJCAI-2001.

Applications of QSIM and related systems

Olivier Bernard and Jean-Luc Gouze. 2002. Global qualitative description of a class of nonlinear dynamical systems. Artificial Intelligence 136: 29-59.
G. Biswas and R. Kapadia and X. W. Yu. 1997. Combined qualitative-quantitative steady-state diagnosis of continuous-valued systems. IEEE Systems, Man, and Cybernetics, Part A: Systems and Humans 27(2): 167-185.
Gautam Biswas, Stefanos Manganaris, and Xudong Yu. 1993. Extending component connection modeling for analyzing complex physical systems. IEEE Expert 8(1): 48-57, February 1993.
[biswas@vuse.vanderbilt.edu]
G. Biswas, K. Krishnamurthy, and P.K. Basu 1991. Applying qualitative reasoning techniques for analysis and evaluation in structural design. Seventh IEEE Conference on AI Applications, Miami Beach, FL, Feb. 26-28, 1991, pp. 265-268.
[biswas@vuse.vanderbilt.edu]
A. C. Capelo, L. Ironi and S. Tentoni. 1993. A model-based system for the classification and analysis of materials. Intelligent Systems Engineering 2(3): 145-158, 1993.
Materials science (rheology).
[liliana@supers1.ian.pv.cnr.it]
C. A. Catino and L. H. Ungar. 1994. Model-based approach to automated hazard identification of chemical plants. AIChE Journal 41(1): 97-109.
[ungar@central.cis.upenn.edu]
David T. Dalle Molle and T. F. Edgar. 1989. Qualitative modeling of chemical reaction systems. In M. Mavrovouniotis (Ed.), Artificial Intelligence Applications in Process Engineering, Academic Press, 1989.
[dtdallemolle@amoco.com]
H. de Jong, M. Page, C. Hernandez and J. Geiselmann. 2001. Qualitative simulation of genetic regulatory networks: method and application. Proceedings IJCAI-2001.
Hidde de Jong and Frank van Raalte. Comparative envisionment construction: a technique for the comparative analysis of dynamical systems. Artificial Intelligence 115(2): 145-214, 1999.
Hidde de Jong. Computer-Supported Analysis of Scientific Measurements. PhD thesis, University of Twente, Enschede, The Netherlands, 1998.
Oskar Dressler and Hartmut Freitag. 1994. Prediction sharing across time and contexts. AAAI-94.
[dressler@zfe.siemens.de]
Adam Farquhar and Giorgio Brajnik. 1994. A semi-quantitative physics compiler. Working Papers of the Eighth International Workshop on Qualitative Reasoning (QR'94).
Modeling a system of lakes and dams.
[axf@ksl.stanford.edu]
Yang Gao and Hugh F. Durrant-Whyte. 1994. Integrating qualitative simulation for numerical data fusion methods. Working Papers of the Eighth International Workshop on Qualitative Reasoning (QR'94).
E. Gazi, L. H. Ungar, and W. D. Seider. 1994. Controller verification using qualitative reasoning. ADCHEM Proceedings.
[ungar@central.cis.upenn.edu]
A. S. Glass, P. Gruber, M. Roos and J. Todtli. 1994. Preliminary evaluation of a qualitative model-based fault detector for a central air-handling unit. Proceedings of the 3rd IEEE Conference on Control Applications, Strathclyde University, Glasgow, August 24-26, 1994.
Thomas R. Gruber and Patrice O. Gautier. 1993. Machine generated explanations of engineering models: a compositional modeling approach. IJCAI-93.
[gruber@ksl.stanford.edu]
K. R. Heidtke and S. Schulze-Kremer. 1998. Design and implementation of a qualitative simulation model of lambda phage infection. Bioinformatics 14(1): 81-91.
S. B. Jorgensen and K. M. Hangos. 1995. Grey box modelling for control: qualitative models as a unifying framework. Int. J. Adaptive Control and Signal Processing 9: 547-562.
L. Ironi, M. Stefanelli and G. Lanzola. 1990. Qualitative models in medical diagnosis. Artificial Intelligence in Medicine 2: 85-101, 1990.
Models of iron metabolism.
[liliana@supers1.ian.pv.cnr.it]
L. Ironi and M. Stefanelli. 1994. A framework for building and simulating qualitative models of compartmental systems. Computer Methods and Programs in Biomedicine 42: 233-254, 1994.
QCML - compartmental models, insulin-glucose system.
[liliana@supers1.ian.pv.cnr.it]
Y. Iwasaki & C. M. Low. Model generation and simulation of device behavior with continuous and discrete changes. Intelligent Systems Engineering 1(2), 1991. (Abstract)
[iwasaki@ksl.stanford.edu]
N. Kaul, G. Biswas, and B. Bhuva. 1992. Multi-level qualitative reasoning applied to CMOS digital circuits. Intl. Journal of AI in Engineering, vol. 7, pp. 125-137, 1992.
[biswas@vuse.vanderbilt.edu]
N. Kaul, G. Biswas, and B. Bhuva. 1994. An AI approach to multi-level, mixed-mode qualitative simulation of CMOS ICs. Computers and Electrical Engineering, An International Journal vol. 20, pp. 369-382, 1994.
[biswas@vuse.vanderbilt.edu]
Franz Lackinger and Wolfgang Nejdl. 1993. Diamon: a model-based troubleshooter based on qualitative reasoning. IEEE Expert 8(1): 33-40, February 1993. (Shorter version in IJCAI-91.)
Karl R. Lang and James C. Moore and Andrew B. Whinston. 1995. Computational systems for qualitative economics. Computational Economics 8: 1-26.
Steven R. LeClair and Frances L. Abrams. 1988. Qualitative process automation. Proceedings of the 27th IEEE Conference on Decision and Control, Austin, Texas, December 1988.
Pieter J. Mosterman and Gautam Biswas. 2000. A comprehensive methodology for building hybrid models of physical systems. Artificial Intelligence 121: 171-209.
Hwee Tou Ng. 1991. Model-based, multiple fault diagnosis of time-varying, continuous physical devices. IEEE Expert 6(6): 38-43, December 1991.
I. B. Ozyurt and L. O. Hall and A. K. Sunol. 1999. SQFDiag: semiquantitative model-based fault monitoring and diagnosis via episodic fuzzy rules. IEEE Systems, Man, and Cybernetics, Part A: Systems and Humans 29(3): 294-306.
S. Raghunathan. 1997. Qualitative reasoning in quantitative modeling. IEEE Systems, Man, and Cybernetics, Part A: Systems and Humans 27(5): 683-690.
[sraghun@cba.basu.edu]
Sharad Saxena and Amy Unruh. Diagnosis of semiconductor manufacturing equipment and processes. IEEE Trans. on Semiconductor Manufacturing 7(2): 220-232, May 1994.
[unruh@spdc.ti.com]
Cis Schut and Bert Bredeweg. An overview of approaches to qualitative model construction. Knowledge Engineering Review 11(1): 1-25, 1996.
Neil C. Rowe. Obtaining optimal mobile-robot paths with nonsmooth anisotropic cost functions using qualitative-state reasoning. Int. J. of Robotics Research 16(3): 375-399, 1997.
[rowe@cs.nps.navy.mil]
Robert B. Trelease and Jack Park. Qualitative process modeling of cell-cell-pathogen interactions in the immune system. Computer Methods and Programs in Biomedicine 51: 171-181, 1996.
[trelease@ucla.edu]
Y. Umeda, T. Tomiyama, H. Yoshikawa, and Y. Shimomura. A design methodology for self-maintenance machines. To appear IEEE Expert, Special issue on Embedded AI.
Self-maintaining MITA copier.
I. Vatcheva, O. Bernard, H. de Jong, J.-L. Gouze and N. J. I. Mars. 2001. Discrimination of semi-quantitative models by experiment selection: method and application in population biology. Proceedings IJCAI-2001.
J. M. Vinson, S. D. Grantham, and L. H. Ungar. 1992. Automatic rebuilding of qualitative models for diagnosis. IEEE Expert, August 1992.
[ungar@central.cis.upenn.edu]
J. M. Vinson and L. H. Ungar. 1995. Dynamic process monitoring and fault diagnosis with qualitative models. IEEE Trans. on Systems, Man, and Cybernetics 25(1): 181-189, January 1995..
[ungar@central.cis.upenn.edu]

Advances in Qualitative Simulation

A. Bandelj, I. Bratko, D. Suc. 2002. Qualitative simulation with CLP. In Proceedings of the Sixteenth International Workshop on Qualitative Reasoning, (QR2002), Sitges, Spain, 2002.
P. A. Fishwick, N. H. Narayanan, J. Sticklen, and A. Bonarini. 1994. A multimodel approach to reasoning and simulation. IEEE Trans. on Systems, Man, and Cybernetics 24(10): 1433-1449, October 1994.
Wilfried Grossman and Hannes Werthner. 1993. A stochastic approach to qualitative simulation using Markov processes. IJCAI-93.
Michael Hofbaur and Nico Dourdoumas. 2001. Lyapunov based reasoning methods. IEEE Trans. on Systems, Man, and Cybernetics, Part A: Systems and Humans 31(6): 546-558.
Abul Hossain and Kumar S. Ray. 1997. An extension of QSIM with qualitative curvature. Artificial Intelligence 96(2): 303-350.
Roy Leitch and Qiang Shen. 1993. Prioritising behaviours in qualitative simulation. IJCAI-93.
[rrl@cee.hw.ac.uk]
Marco Platzner, Bernhard Rinner, Reinhold Weiss. 1994. A distributed computer architecture for qualitative simulation based on a multi-DSP and FPGAs. Euromicro Workshop on Parallel and Distributed Processing, Jan. 1995.
Parallel hardware implementation of the QSIM algorithm.
[{marco,rinner,rweiss}@iti.tu-graz.ac.at]
A. C. Cem Say. 1999. Making use of contradictory behavior information in qualitative reasoning. IEEE Trans. on Pattern Analysis and Machine Intelligence 21: 781-786.
A. C. Cem Say. 1998. L'Hopital's filter for QSIM. IEEE Trans. on Pattern Analysis and Machine Intelligence 20: 1-8.
A. C. Cem Say and Selahattin Kuru. 1997. Postdiction using qualitative simulation. IEEE Trans. on Systems Man and Cybernetics A 27(1): 84-95.
A. C. Cem Say and Selahattin Kuru. 1996. Qualitative system identification: deriving structure from behavior. Artificial Intelligence 83(1): 75-141.
A. C. Cem Say and Selahattin Kuru. 1993. Improved filtering for the QSIM algorithm. IEEE Trans. on Pattern Analysis and Machine Intelligence 15(9): 967-971, September 1993.
A. C. Cem Say and Melih Doyuran. 1994. The representative power of quantity spaces and correspondences. In C. Bozsahin, U. Halici, K. Oflazer, N. Yalabik (Eds.), Third Turkish Symposium on Artificial Intelligence & Neural Networks (TAINN III), Middle East Technical University, Ankara.
Q. Shen and R. Leitch. 1992. On extending the quantity space in qualitative reasoning. Artificial Intelligence in Engineering 7: 167-173, 1992.
[rrl@cee.hw.ac.uk]
Q. Shen and R. Leitch. 1993. Fuzzy qualitative simulation. IEEE Transactions on Systems, Man, and Cybernetics 23: 1038-1061, 1993.
[rrl@cee.hw.ac.uk]
Hiroshi Tanaka and Shusaku Tsumoto. 1994. Qualitative reasoning of a temporally hierarchical system based on infinitesimal analysis. Working Papers of the Eighth International Workshop on Qualitative Reasoning (QR'94).
Daniel Weld. 1988. Comparative Analysis. Artificial Intelligence 36(3): 333-373.
Daniel Weld. 1990. Exaggeration. Artificial Intelligence 43(3): 311-368.
[weld@cs.washington.edu]

Bibliography of QR Applications

Robert Milne and Louise Trave-Massuyes. 1993. Application oriented qualitative reasoning. Working Papers of the Seventh International Workshop on Qualitative Reasoning (QR'93).
[rmilne@cix.compulink.co.uk; louise@laas.fr]

[QR home]

BJK