Building a hybrid DEVS and GRASS model using a composable cellular automaton

Abstract

Modeling and simulation is pervasive throughout many different disciplines. As computing technology has provided more capability, the systems being modeled and simulated have grown larger and more complex. Often times, these large systems are managed as interacting subsystems. When it is necessary for the simulation to allow disparate subsystems to maintain their independence, then a hybrid model of the subsystems should be used. Furthermore, to ease the burden of verification and validation of simulation results, a proven system theoretical modeling specification should be used. However, many communities have already adopted nonsystem theoretical software solutions and established a group of domain experts familiar with these tools. This paper provides two things: a formal approach to building a hybrid model, and a discussion of how to incorporate a nonsystem theoretical software implementation into a proven framework. The first is done through the implementation of a Knowledge Interchange Broker (KIB) as an Interaction Model (IM). The second is accomplished by exemplifying the use of the IM in an agent-environment hybrid model. In the hybrid model, the agent is implemented in the Discrete-event System (DEVS) specification and the environment is implemented in the Geographical Resources Analysis Support System (GRASS) using a Composable Cellular Automaton (CCA) specification. This concept has been successfully applied to both example models and an interdisciplinary research project where the interactions between human activities and landscape processes are studied.

A knowledge interchange broker composition modeling framework for simulating water, energy, and water-energy nexus systems

“…This formalism accounts for the differences between the syntaxes and semantics of the composed modeling formalisms. 24 The KIB abstraction based on the poly-formalism method specifies the interactions between the composed models. 20 The conceptual basis of the KIB is that disparities between different model types should be accounted for with a model with its syntax and semantics, thus enabling modular modeling of the interactions between the composed models.…”

“…An early realization of the KIB is for parallel DEVS and Composable Cellular Automata (CCA) modeling formalisms. 51,24 Socioecological IMs are developed for agent models using DEVS and for the environment using Discrete-Event Composable Cellular Automata (CCA-DEVS). IMs can be developed based on Parallel DEVS restricted to have natural numbers and infinity as time base.…”

“…This formalism accounts for the differences between the syntaxes and semantics of the composed modeling formalisms. 24…”

Composition of Geographic-Based Component Simulation Models

“…Previous work for knowledge interchange broker (KIB) components emphasized the use of a KIB to control the interactions of combined models. Mayer and Sarjoughian describe the process of using a KIB to separate the agent and landscape operations of a simulation [16]. The KIB described here is different from the previous KIB.…”