- Herbert Kay. 1999?
SQSIM: A Simulator for Imprecise ODE Models.
Computers and Chemical Engineering, in press.
This is the definitive journal article describing SQSIM.
- Herbert Kay. 1997.
Robust identification using semiquantitative methods.
IFAC Symposium on Fault Detection, Supervision and Safety
for Technical Processes (SAFEPROCESS'97), Hull, UK, 26-28 August 1997.
Describes SQUID, a new system identification method that uses
refutation rather than search to identify a model of a physical
system. By ruling out implausible models rather than searching for
the best model that fits the data, SQUID is more robust in the face
of uninformative data and structural model uncertainty than are
traditional identification methods.
- Herbert Kay. 1996.
Refining Imprecise Models and Their Behaviors.
Doctoral dissertation, Department of Computer Sciences, The University of Texas
at Austin, December 1996.
[Abstract]
Describes new methods for semi-quantitative simulation (SQSim) and
semi-quantitative system identification (SQUID).
- Herbert Kay.
SQSIM: A Simulator for Imprecise ODE Models.
Technical Report AI96-247, Artificial Intelligence Laboratory,
The University of Texas at Austin, Austin, Texas, 78712, March 1996.
Describes SQSim, an extended version of the QSIM simulator that computes
numerical bounds on imprecisely-defined ODE models.
- Herbert Kay and Benjamin Kuipers.
Numerical behavior envelopes for qualitative models.
In Proceedings of the Eleventh National Conference on Artificial
Intelligence (AAAI-93), pages 606-613, 1993. MIT Press.
Describes the dynamic envelope envelope method as implemented in NSIM,
an extension to QSIM that generates predictions for semiquantitative
models.
- Herbert Kay and Lyle H. Ungar.
Deriving monotonic function envelopes from observations.
In Working Papers from the Seventh International Workshop on
Qualitative Reasoning about Physical Systems. pages 117-123,
Orcas Island, Washington, 1993.
Describes the SQUID (SemiQUantitative IDentification) method for
constructing bounds on a semiquantitative model of a continuous
system by using measurements from the system.
- Herbert Kay.
A qualitative model of the space shuttle reaction control system.
Technical Report AI92-188, Artificial Intelligence Laboratory,
The University of Texas at Austin, Austin, Texas, 78712, September 1992.
Describes a QSIM model of the space shuttle's reaction control system.
The QSIM model is also available.
- Herbert Kay.
Monitoring and diagnosis of multi-tank flows using qualitative reasoning.
Master's thesis. The University of Texas at Austin. May, 1991.
Describes the NSIM algorithm and applies it to the problem of monitoring
a high vacuum chamber during pumpdown.