Simulation spectrum and stability models

In this paper, we define a continuum of modeling styles, ranging from collections of very simple agents on one end to collections of very complex agents at the other end, and a simulation support mechanism that makes them all interoperable with ordinary discrete event simulation programs (at the simulation level; application-domain interoperability is harder). We show how all of these simulations have a stability question, and how some can be arranged to avoid it, by applying the mathematical theory of branching processes to study and even manage the stability of the system. This theory gives a predictive model of the density of simulation objects and events, according to a stochastic model that can either be matched to the observed execution properties of the simulation at run time, or built before the simulation is built, according to its expected local behavior.

[1]  T. E. Harris,et al.  The Theory of Branching Processes. , 1963 .

[2]  Martin Gardner,et al.  Wheels, life, and other mathematical amusements , 1983 .

[3]  E. Berlekamp,et al.  Winning Ways for Your Mathematical Plays , 1983 .

[4]  D. Welsh Review: Theodore E. Harris, The Theory of Branching Processes , 1965 .

[5]  Master Gardener,et al.  Mathematical games: the fantastic combinations of john conway's new solitaire game "life , 1970 .

[6]  K. Athreya,et al.  Multi-Type Branching Processes , 1972 .

[7]  J. Stoer,et al.  Introduction to Numerical Analysis , 2002 .

[8]  C. Landauer Network and protocol modeling tools , 1984 .

[9]  Donald O. Walter,et al.  Some issues in model integration , 1990 .

[10]  T. E. Harris,et al.  The Theory of Branching Processes. , 1963 .

[11]  H. M. Taylor,et al.  An introduction to stochastic modeling , 1985 .

[12]  Herbert B. Enderton,et al.  Elements of Recursion Theory , 1977 .

[13]  Paul K. Davis,et al.  An Introduction to Variable-Resolution Modeling and Cross-Resolution Model Connection , 1993 .

[14]  Richard Bellman,et al.  On the Concepts of a Problem and Problem-Solving , 1960 .

[15]  William H. Press,et al.  Numerical recipes , 1990 .

[16]  A. Meystel Multiresolutional Architectures for Autonomous Systems with Incomplete and Inadequate Knowledge Representation , 1995 .

[17]  Michael R. Genesereth,et al.  Software agents , 1994, CACM.

[18]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.