This page holds some information about the various users of QSIM and their work.
Please send us additional information we should include (qsim-maintainers@cs.utexas.edu).
 

• Richard Mallory - University of Texas at Austin
• David R. Throop - Boeing
• Michael Hofbaur - Technical University Graz
• Hidde de Jong, Ivayla Vatcheva - University of Twente
• W. M. Kim Roddis - University of Kansas
• Francois Guerrin - INRA/CIRAD
• Liliana Ironi, Raffaella Guglielmann - IAN-CNR
• Claude Monteil - INP/ENSAT
• Oliver Moldenhauer, Gerhard Petschel-Held, Matthias Luedeke - Potsdam Institute for Climate Impact Research (PIK)

Name: Richard Mallory
Affiliation:University of Texas at Austin
Email: mallory@cs.utexas.edu

Project: Tools for Explaining Complex Qualitative Simulations
Keywords:
Description:

Thesis.  Constructing explanations of QSim simulations.  Includes model abstraction, behavior abstraction, and causal, natural language explanations of selected events in a behavior graph.

QSIM usage:
Tasks: simulation, system identification
Used tools: QSIM, QPC
System (QSIM; Lisp; OS): NQ, compiled from UT sources 23 Jul 97; Harlequin Lispworks 3.21; Unix

Name:  David R. Throop
Affiliation: Boeing
Email: david.r.throop@boeing.com

Project:
Keywords: Fault Detection, Isolation & Recovery
Description:

QSIM usage: not currently using QSIM
Tasks:
Used tools:
System (QSIM; Lisp; OS):

Name: Michael Hofbaur
Affiliation: Dept. of automatic control, Technical University Graz
Email: hofbaur@irt.tu-graz.ac.at

Project: QSIM for analysis and simulation of uncertain control systems
Keywords: uncertain dyn. systems, automatic control, stability analysis
WWW: http://www.cis.tu-graz.ac.at/irt/
Description:

QSIM usage:
Tasks: simulation, stability testing
Used tools: QSIM, Q2, NSIM, TeQSIM
System (QSIM; Lisp; OS): qsim4.0-alpha-4; Allegro CL V4.3.1; UNIX (Alpha-Workstation, Digital UNIX V4.0B)

Name: Hidde de Jong, Ivayla Vatcheva
Affiliation: University of Twente
Email:  hdejong@cs.utwente.nl, ivayla@cs.utwente.nl

Project: Plinius
Keywords: information extraction, analysis of scientific information
WWW: http://wwwis.cs.utwente.nl:8080/IS/
Description:

The model-based analysis of scientific experiments in order to resolve conflicts between measurements, identify systematic errors in measurements, and predict results of new experiments

QSIM usage:
Tasks: simulation, system identification
Used tools: QSIM, Q2, NSIM, NUMSIM
System (QSIM; Lisp; OS): 4.0; Lucid Common Lisp 4.2.1;Unix

Name: W. M. Kim Roddis
Affiliation: Civil and Environmental Engineering, University of Kansas
Email: roddis@ukans.edu

Project: QUALITATIVE REASONING ABOUT STEEL BRIDGE FATIGUE AND FRACTURE
Keywords:Engineering problem solving, steel bridge, fatigue and fracture
WWW: http://civil-env.ce.ukans.edu/fac_roddis.html
Description:

Engineering problem solving involves not only quantitative knowledge but also extensive heuristic knowledge of the behavior of physical systems.  Qualitative reasoning provides a means of bridging the gap between these disparate types of knowledge.  The strategy of using a connective qualitative reasoning layer manipulating engineering models to connect a heuristic and predominately symbolic layer with a quantitative layer that is numeric and largely procedural is applied to problem solving in the structural engineering domain of fatigue and fracture in steel highway bridges.  The testbed domain demonstrates the usefulness of qualitative reasoning for guiding quantitative analysis in an engineering context.

work completed 1992

QSIM usage:
Tasks: simulation, monitoring/diagnosis
Used tools: QSIM
System (QSIM; Lisp; OS):

Name: Francois Guerrin
Affiliation: INRA/CIRAD (French Public Institutes for Agricultural Research)
Email: guerrin@cirad.fr

Project:
Keywords: Water ecology, Salmon, hydrology, qsim
WWW:
Description:

Qsim was used in a previous project (1996-97) of modeling biological knowledge on the functioning of Salmon redds (places where spawning takes place)

QSIM usage:
Tasks: simulation
Used tools: QSIM
System (QSIM; Lisp; OS): 4.0;  Lucid Common Lisp; Unix

Name: Liliana Ironi, Raffaella Guglielmann
Affiliation: IAN-CNR
Email: liliana@supers1.ian.pv.cnr.it, raffy@phoenix.ian.pv.cnr.it

Project:
Keywords: automated modeling, system identification, causal explanation, knowledge acquisition, medical reasoning
WWW: www.ian.pv.cnr.it
Description:

The Qualitative Reasoning Research group at IAN has been active within the field since 1988 and has been mainly involved in projects concerning application domains which present different problems: Medicine and Material Science.

As far as the use of QSIM is concerned, the main research activities has dealt with:

• exploitation of QSIM models in a Medical Knowledge-Based System (M-KBS) for both diagnostic and therapeutic tasks;
• development of a framework (QCMF) for the generation and simulation of QSIM models of compartmental systems, and construction of a library of models which can be efficiently retrieved and used by a KBS for a given goal;
• development of an explanation facility within QCMF;
• exploitation of QCMF as a tool for the acquisition of pathophysiological knowledge to be used in a M-KBS;
• integration of QSIM models and fuzzy systems for nonlinear black-box system identification.

Other projects within the QR framework have dealt with:

• integration of both numerical and qualitative methods for the automated modelling of visco-elastic materials;
• development of qualitative simulation and experimental data interpretation methods:
• exploitation of QR techniques for parametric system identification

QSIM usage:
Tasks: simulation, system identification, monitoring/diagnosis
Used tools: QSIM
System (QSIM; Lisp; OS):  release from November 30, 1995; Lucid Common Lisp/SPARC; Solaris

Name:  Claude Monteil / Agrosystems Dynamics and Environment
Affiliation: INP/ENSAT (National High School of Agronomy of Toulouse)
Email: monteil@ensat.fr

Project: spatial simulation of prey/predator (aphidophagous) insects in heterogeneous cultivated area
Keywords: model simulation population landscape ecology environment
WWW:
Description:

QSIM usage:
Tasks: simulation
Used tools: QSIM
System (QSIM; Lisp; OS): v4.0a4; ACL v4.3 for Linux; Linux on PC

Name: QUESTIONS Project
Affiliation: Department of Integrated Systems Analysis, Potsdam Institute for Climate Impact Research (PIK)
Email: Oliver Moldenhauer, Gerhard Petschel-Held, Matthias Luedeke

Project: QUESTIONS
Keywords: Global environmental change, socio-economic models, political control options
WWW: http://www.pik-potsdam.de/~gerhard/icons.html
Description:

As part of our analysis of Global Change, we model typical patterns of human-nature-interaction qualitatively, i.e. we build models including socio-economic and environmental aspects. This is done in the framework of the so-called syndrome-approach (German Advisory Council on Global Change)

QSIM usage:
Tasks: simulation
Used tools: QSIM, Q2
System (QSIM; Lisp; OS): qsim4.0-alpha-4; Allegro CL 4.3; Linux on PC