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

  1. 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.

  2. 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.

  3. 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.

  4. 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.

  5. 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