Object-Oriented Simulation with Hierarchical, Modular Models

Preface1 Dimensions of Knowledge Representation in Simulation Environments 1.1 Introduction 1.2 Knowledge Representation Schemes and Formalisms 1.3 Simulation Model Specification Formalisms 1.4 AI Knowledge Representation Schemes 1.5 Representation and Knowledge 1.6 System-Theoretic Representation 1.7 Modular, Hierarchical Models and Object-Oriented Paradigms Contrasted 1.8 Framework for Knowledge Representation in Simulation 1.9 What Kinds of Modelling and Simulation Knowledge Are There? 1.10 Endomorphic Models, Simulations, and Agents2 Basics 2.1 Object-Oriented Programming Concepts 2.2 The System Entity Structure/Model Base 2.3 Independent Testability 2.4 Artificial Worlds Example 2.5 SES Pruning and Model Synthesis3 DEVS Formalism and Devs-Scheme 3.1 Discrete Event Dynamic Systems 3.2 Brief Review of the DEVS Formalism 3.3 Basic Models 3.4 Coupled Models 3.5 DEVS-Scheme Simulation Environment4 Atomic-Models: Simple Processor Example 4.1 Performance of Simple Architectures 4.2 A Simple Processor Model 4.3 Normal Form Atomic Model Specification 4.4 DEVS-Scheme Atomic Model Implementation of Simple Processor 4.5 Simulation of Atomic Models 4.6 Stand-Alone Testing of an Atomic Model 4.7 Simple Processor with Buffering and Random Processing Times5 Digraph-Models and Experimental Frames 5.1 Experimental Frame for Simple Computer Architectures 5.2 Development of Digraph-Models 5.3 Co-Ordinator of Coupled-Models 5.4 Applicability of Frames to Models: Model Instrumentation6 A Model Base for Simple Multicomputer Architectures 6.1 Co-Ordinators and Architectures 6.2 Testing the Architectures7 System Entity Structures 7.1 System Entity Structure Definitions and Axioms 7.2 Using the System Entity Structure in DEVS-Scheme 7.3 System Entity Structure Organization of Model Bases 7.4 Operations on Hierarchical Model Structures: Flatting and Deepening8 Advanced Devs Concepts and Kernel-Models 8.1 More Advanced Processor Models 8.2 Kernel-Models: Homogeneous Structures 8.3 Example: Parallel Processor Broadcast Architecture 8.4 Methods Make-new and Make-class 8.5 System Entity Structure Representation of Kernel Models 8.6 Multilayered Models and Distributed Experimental Frames9 Rule-Based Specification of Atomic-Models 9.1 Activities as Rules 9.2 Class Forward-Models 9.3 Inheritance and Specialization 9.4 Specialization and Multiple Entities 9.5 DEVS-Scheme Methodology Reviewed10 A Robot-Managed Laboratory of the Future 10.1 Multilevel Hierarchical Robot Model 10.2 Space Management for Mobile Components 10.3 Robot Cognition System 10.4 Robot-Managed Laboratory Model11 Endomorphy: Models within Intelligent Agents 11.1 Approach to Endomorphy: Multifacetted Modelling Methodology 11.2 Process Laboratory Model 11.3 Robot Models: Designing Model-Plan Units 11.4 DEVS Representation of Dynamic Systems 11.5 Obtaining the Characteristic Functions of the DEVS Model 11.6 Robot Fluid Handling MPUs 11.7 Table-Models: Deriving Internal Models from External Models 11.8 Windows in Table-Models: Parameter Sensitivity Analysis12 Endomorphy: Model Usage within Intelligent Agents 12.1 Event-Based Control 12.2 Using DEVS Models of Processes to Construct Event-Based Control Models 12.3 Introspection and Super-Simulation 12.4 Table-Models: Command Sequence Planning 12.5 Breakdown Diagnosis 12.6 Testing MPU Designs 12.7 Summary: Methodology for Event-Based Control13 Model Base Management and Endomorphic Systems 13.1 Reuse of Pruned Entity Structures 13.2 Hierarchical Reuse of PES Versions 13.3 Partitioned System Entity Structures 13.4 Context Sensitive Pruning 13.5 Model Coherence and Context Sensitive Constraint Rules 13.6 Model Bases in Endomorphic Systems and Intelligent Agents 13.7 Minsky's Views on Models and Knowledge14 DEVS-Scheme in the Larger Scheme of Things 14.1 Layers of DEVS-Scheme 14.2 Other Properties, Other Views15 Epilogue: The Challenge of High Autonomy SystemsA Advanced Concepts and Facilities A.1 Continuous Model Extensions to DEVS-Scheme A.2 Simulation of Multi-Formalism Non-Homogeneous Networks A.3 Distributed Simulation of DEVS Models A.4 Automated Hierarchical Model Simplification A.5 Variable Structure Models A.6 Using Object-Oriented Concepts to Support Extensibility of Layer 1 with Respect to Layer 2 A.7 Converting Non-Modular to Modular FormB DEVS and GSMP: Some Relations B.1 Some Simple Behaviors of DEVS B.2 Proof that the DEVS Behaviors Require Uncountable State Sets B.3 Expressing GSMP within DEVSBibliographyIndex