Solving complexity and ambiguity problems within qualitative simulation
Daniel J. Clancy, Benjamin J. Kuipers · 1997
vii List of Tables xiv List of Figures xv Chapter 1 Introduction 1 1.1 Reducing the Complexity of a Simulation . . . . . . . . . . . . . . . 4 1.1.1 Model Decomposition and Simulation (DecSIM) . . . . . . . 8 1.1.2 Chatter abstraction techniques . . . . . . . . . . . . . . . . . 8 1.2 Focusing and Refining Ambiguous Behavioral Descriptions . . . . . . 10 1.2.1 Temporally Constrained QSIM (TeQSIM) . . . . . . . . . . . 10 1.3 Evaluation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 1.4 Overview . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 Chapter 2 Qualitative Simulation 14 2.1 Qualitative models . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 2.2 Qualitative states . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 2.3 Behavioral description . . . . . . . . . . . . . . . . . . . . . . . . . . 16 2.4 Qualitative constraints . . . . . . . . . . . . . . . . . . . . . . . . . . 18 2.5 Dynamic simulation . . . . . . . . ...