Toward a Theory of Superdense Time in Simulation Models

We develop a theory of superdense time that encompasses existing uses of superdense time in discrete event simulations and points to new forms that have not previously been explored. A central feature of our development is a set of axioms for superdense time. The sufficiency of these axioms is demonstrated by using them to prove that a general model of a discrete event simulation procedure, expressed in terms of a mathematical system, constitutes a state transition function. Several forms of superdense time, both known and novel, are shown to satisfy the axioms.

[1]  Edward A. Lee,et al.  Operational Semantics of Hybrid Systems , 2005, HSCC.

[2]  Robert Rönngren,et al.  On event ordering in parallel discrete event simulation , 1999, Proceedings Thirteenth Workshop on Parallel and Distributed Simulation. PADS 99. (Cat. No.PR00155).

[3]  Edward A. Lee,et al.  Beyond Zeno: Get on with It! , 2006, HSCC.

[4]  Fernando J. Barros,et al.  On the representation of time in modeling & simulation , 2016, 2016 Winter Simulation Conference (WSC).

[5]  Timothy Bourke,et al.  Non-standard semantics of hybrid systems modelers , 2012, J. Comput. Syst. Sci..

[6]  James J. Nutaro,et al.  Building Software for Simulation: Theory and Algorithms, with Applications in C++ , 2010 .

[7]  Kyu Ho Park,et al.  Ordering of simultaneous events in distributed DEVS simulation , 1997, Simul. Pract. Theory.

[8]  Roberto Baldoni,et al.  Exploiting Intra-Object Dependencies in Parallel Simulation , 1999, Inf. Process. Lett..

[9]  Sean Luke,et al.  MASON: A Multiagent Simulation Environment , 2005, Simul..

[10]  Bernard P. Zeigler,et al.  Theory of Modelling and Simulation , 1979, IEEE Transactions on Systems, Man and Cybernetics.

[11]  Michael J. North,et al.  Complex adaptive systems modeling with Repast Simphony , 2013, Complex Adapt. Syst. Model..

[12]  Jean-François Raskin,et al.  An Introduction to Hybrid Automata , 2005, Handbook of Networked and Embedded Control Systems.

[13]  Zohar Manna,et al.  From Timed to Hybrid Systems , 1991, REX Workshop.

[14]  Hessam S. Sarjoughian,et al.  Superdense time trajectories for DEVS simulation models , 2015, SpringSim.

[15]  Daniel G. Bobrow,et al.  Modeling Time in Hybrid Systems: How Fast Is "Instantaneous"? , 1995, IJCAI.

[16]  Gabriel A. Wainer,et al.  Multiscale representation of simulated time , 2018, Simul..

[17]  David Broman,et al.  Hybrid co-simulation: it’s about time , 2018, Software & Systems Modeling.

[18]  Sean Luke,et al.  MASON : A Multi-Agent Simulation Environment , 2008 .

[19]  David R. Jefferson,et al.  Virtual time , 1985, ICPP.

[20]  Richard M. Fujimoto,et al.  Parallel and Distribution Simulation Systems , 1999 .

[21]  Martin J. Gander,et al.  50 Years of Time Parallel Time Integration , 2015 .

[22]  Bernard P. Zeigler,et al.  Theory of Modelling and Simulation , 1979, IEEE Transactions on Systems, Man, and Cybernetics.

[23]  Edward A. Lee.  Constructive Models of Discrete and Continuous Physical Phenomena , 2014, IEEE Access.

[24]  Pieter J. Mosterman,et al.  A hyperdense semantic domain for hybrid dynamic systems to model different classes of discontinuities , 2014, HSCC.

[25]  Mihajlo D. Mesarovic,et al.  Abstract Systems Theory , 1989 .

[26]  Jean-Pierre Müller,et al.  Towards a Formal Semantics of Event-Based Multi-agent Simulations , 2009, MABS.

[27]  Michael A. Arbib,et al.  A mathematical theory of systems engineering: The elements , 1970 .

[28]  Hessam S. Sarjoughian,et al.  Design of Distributed Simulation Environments: A Unified System-Theoretic and Logical Processes Approach , 2004, Simul..

[29]  Bernard P. Zeigler,et al.  Theory of modeling and simulation , 1976 .

[30]  M. Arbib,et al.  An approach to general systems theory , 1972, IEEE Transactions on Automatic Control.