Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Toward a Theory of Superdense Time in Simulation Models

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. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png ACM Transactions on Modeling and Computer Simulation (TOMACS) Association for Computing Machinery

Toward a Theory of Superdense Time in Simulation Models

Download PDF
13 pages

Loading next page...
 
/lp/association-for-computing-machinery/toward-a-theory-of-superdense-time-in-simulation-models-Eafur9Thv0
Publisher
Association for Computing Machinery
Copyright
Copyright © 2020 Public Domain
ISSN
1049-3301
eISSN
1558-1195
DOI
10.1145/3379489
Publisher site
See Article on Publisher Site

Abstract

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.

Journal

ACM Transactions on Modeling and Computer Simulation (TOMACS) – Association for Computing Machinery

Published: May 31, 2020

Keywords: Systems theory

References

  • On the representation of time in modeling simulation
    Barros, F. J.
  • Non-standard semantics of hybrid systems modelers
    Benveniste, Albert; Bourke, Timothy; Caillaud, Benoît; Pouzet, Marc
  • Hybrid co-simulation: it’s about time
    Cremona, Fabio; Lohstroh, Marten; Broman, David; Lee, Edward A.; Masin, Michael; Tripakis, Stavros
  • Parallel and Distribution Simulation Systems (1st ed
    Fujimoto, Richard M.
  • 50 years of time parallel time integration
    Gander, Martin J.
  • Multiscale representation of simulated time
    Goldstein, Rhys; Khan, Azam; Dalle, Olivier; Wainer, Gabriel
  • Modeling time in hybrid systems: How fast is instantaneous? In International Workshop on Qualitative Reasoning
    Iwasaki, Yumi; Farquhar, Adam; Saraswat, Vijay; Bobrow, Daniel; Vineet,
  • Virtual time
    Jefferson, David
  • Ordering of simultaneous events in distributed DEVS simulation
    Kim, Ki Hyung; Seong, Yeong Rak; Kim, Tag Gon; Park, Kyu Ho
  • An Approach to General Systems Theory
    Klir, George J.
  • Constructive models of discrete and continuous physical phenomena
    Lee, Edward A.
  • Operational semantics of hybrid systems
    Lee, Edward A.; Zheng, Haiyang
  • MASON: A multi-agent simulation environment
    Luke, Sean; Cioffi-Revilla, Claudio; Panait, Liviu; Sullivan, Keith; Balan, Gabriel
  • From timed to hybrid systems
    Maler, Oded; Manna, Zohar; Pnueli, Amir
  • Abstract Systems Theory
    Mesarovic, Mihailo D.; Takahara, Yasuhiko
  • A hyperdense semantic domain for hybrid dynamic systems to model different classes of discontinuities
    Mosterman, Pieter J.; Simko, Gabor; Zander, Justyna; Han, Zhi
  • Towards a formal semantics of event-based multi-agent simulations
    Müller, Jean-Pierre
  • Complex adaptive systems modeling with repast simphony
    North, M. J.; Collier, N. T.; Ozik, J.; Tatara, E.; Altaweel, M.; Macal, C. M.; Bragen, M.; Sydelko, P.
  • Design of distributed simulation environments: A unified system-theoretic and logical processes approach
    Nutaro, James; Sarjoughian, Hessam
  • Building Software for Simulation: Theory and Algorithms with Applications in C++
    Nutaro, James J.
  • Theory of Modeling and Simulation, 2nd Edition
    Praehofer, Bernard P. Zeigler Herbert; Kim, Tag Gon
  • Exploiting intra-object dependencies in parallel simulation
    Quaglia, Francesco; Baldoni, Roberto
  • An introduction to hybrid automata
    Raskin, Jean-François
  • On event ordering in parallel discrete event simulation
    Ronngren, R.; Liljenstam, M.
  • Superdense time trajectories for DEVS simulation models
    Sarjoughian, Hessam S.; Sundaramoorthi, Savitha
  • A Mathematical Theory of Systems Engineering: The Elements
    Wymore, A. Wayne
  • Theory of Modelling and Simulation
    Zeigler, Bernard P.
  • Beyond zeno: Get on with it! In Hybrid Systems: Computation and Control, João P
    Zheng, Haiyang; Lee, Edward A.; Ames, Aaron D.