MIME-Version: 1.0
Server: CERN/3.0
Date: Monday, 06-Jan-97 22:48:26 GMT
Content-Type: text/html
Content-Length: 2625
Last-Modified: Friday, 22-Mar-96 23:31:46 GMT
Bert Kay's Papers
Bert Kay's Papers
- 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.
BKay