Daniel J. Clancy and Benjamin Kuipers. Model Decomposition and Simulation. QR-94 45--54 Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Qualitative Modeling of the Impact of the Environment on Early .. - Guerrin Dumas (Correct)
.... current version was made by partitioning this model into two connected QDEs via transitions on shared variables (principally dissolved oxygen rate and quantity of fine sediments) This decomposition was performed by hand (the causal structure was already known) not automatically as described by Clancy and Kuipers (1994). Thanks to this, a typical simulation generates only a few behaviors (3 behaviors in the example presented below) exhibiting relevant distinctions. Hence, the slower and the faster models are alternately simulated according to timescale abstraction principles: ffl the slower process views the ....
Clancy, D., and Kuipers, B. 1994. Model decomposition and simulation. In Proc. 8th Int. Workshop on Qualitative Reasoning (QR'94), Nara, Japan.
Abstracting Qualitative Behavior Graphs - Richard Mallory Bruce Self-citation (Kuipers) (Correct)
....states maintain a variety of distinctions that are uninteresting, and a number of methods have been developed to eliminate these distinctions through abstractions. For Qsim simulations [10, 11] these methods include chatter elimination [1] behavior aggregation [8, 1] and model decomposition [2]. Each identifies and reduces or eliminates a specific class of uninteresting distinctions. These methods make important or essential contributions to the tractibility of qualitative simulation. However, even with these techniques and others a qualitative model of modest size may still produce an ....
....These criteria can be quite simple and still reveal a lot about the behaviors. The utility of this approach is easier to see if we start with an example and then generalize the results. We will use the model of the glucose insulin regulatory system in the human body presented in Figure 1. See [9, 2]. The model contains the amounts of glucose and of insulin in the blood and the interactions between them that affect their respective rates of production and elimination. The model was simulated with Qsim by perturbing it from an equilibrium state so that glucose was above the equilibrium value ....
Daniel J. Clancy and Benjamin Kuipers. Model Decomposition and Simulation. QR-94 45--54
Comprehending Complex Behavior Graphs through Abstraction - Richard Mallory Bruce (1996) (8 citations) Self-citation (Kuipers) (Correct)
....that are uninteresting, and a number of methods have been developed to eliminate these distinctions through abstractions. For Qsim simulations [Kuipers 86, Kuipers 94] these methods include chatter elimination [Clancy 93] behavior aggregation [Fouche 91, Clancy 93] and model decomposition [Clancy 94] Each identifies and reduces or eliminates a specific class of uninteresting distinctions. These methods make important or essential contributions to the tractability of qualitative simulation. Chatter elimination, in particular, is essential for many Qsim simulations. However, even with these ....
....criteria can be quite simple and still reveal much about the behaviors. The utility of this approach is easier to see if we start with an example and then generalize the results. We will use the model of the glucose insulin regulatory system in the human body presented in Figure 1. See [Ironi 94, Clancy 94] The model contains the amounts of glucose and of insulin in the blood and the interactions between them that affect their respective rates of production and elimination. The model was simulated with Qsim by perturbing it from an equilibrium state so that glucose was above the equilibrium value ....
Daniel J. Clancy and Benjamin Kuipers. Model Decomposition and Simulation. QR-94 45--54
Comprehending Complex Behavior Graphs through Abstraction - Richard Mallory Bruce (1996) (8 citations) Self-citation (Kuipers) (Correct)
....and a number of methods have been developed to abstract away these distinctions. For Qsim simulations (Kuipers 1986; Kuipers 1994) these methods include chatter elimination (Clancy Kuipers 1993) behavior aggregation (Fouch e Kuipers 1991; Clancy Kuipers 1993) and model decomposition (Clancy Kuipers 1994). Each identifies and reduces or eliminates a specific class of uninteresting distinctions. These methods make important or essential contributions to the tractability of qualitative simulation. Chatter elimination, in particular, is essential for many Qsim simulations. However, even with these ....
....criteria are often quite simple and easy to provide. The utility of this approach is easier to see if we start with an example and then generalize the results. We will use the model of the glucose insulin regulatory system in the human body presented in Figure 1. See (Ironi Stefanelli 1994; Clancy Kuipers 1994). The model contains the amounts of glucose and insulin in the blood and the interactions between them that affect their respective rates of production and elimination. It was simulated with Qsim by perturbing it from an equilibrium state so that glucose was above the equilibrium value but ....
Clancy, D. J., and Kuipers, B. J. 1994. Model Decomposition and Simulation. Proceedings of the Eighth International Workshop on Qualitative Reasoning about Physical Systems, Nara, Japan, 45--54.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC