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.
- F. J. Barros. 2016. On the representation of time in modeling simulation. In Proceedings of the 2016 Winter Simulation Conference (WSC). IEEE, Piscataway, NJ, 1571--1582.Google ScholarDigital Library
- Albert Benveniste, Timothy Bourke, Benoît Caillaud, and Marc Pouzet. 2012. Non-standard semantics of hybrid systems modelers. Journal of Computer and System Sciences 78, 3 (2012), 877--910.Google ScholarDigital Library
- Fabio Cremona, Marten Lohstroh, David Broman, Edward A. Lee, Michael Masin, and Stavros Tripakis. 2019. Hybrid co-simulation: it’s about time. Software 8 Systems Modeling 18, 3 (1 Jun 2019), 1655--1679.Google Scholar
- Richard M. Fujimoto. 1999. Parallel and Distribution Simulation Systems (1st ed.). John Wiley 8 Sons, Inc., New York, NY.Google Scholar
- Martin J. Gander. 2015. 50 years of time parallel time integration. In Multiple Shooting and Time Domain Decomposition Methods, Thomas Carraro, Michael Geiger, Stefan Körkel, and Rolf Rannacher (Eds.). Springer International Publishing, Cham, 69--113.Google Scholar
- Rhys Goldstein, Azam Khan, Olivier Dalle, and Gabriel Wainer. 2018. Multiscale representation of simulated time. Simulation 94, 6 (2018), 519--558.Google ScholarDigital Library
- Yumi Iwasaki, Adam Farquhar, Vijay Saraswat, Daniel Bobrow, and Vineet. 1995. Modeling time in hybrid systems: How fast is instantaneous? In International Workshop on Qualitative Reasoning. Morgan Kaufmann, 1773--1780.Google Scholar
- David Jefferson. 1985. Virtual time. ACM Transactions on Programming Languages and Systems 7, 3 (July 1985), 404--425.Google ScholarDigital Library
- Ki Hyung Kim, Yeong Rak Seong, Tag Gon Kim, and Kyu Ho Park. 1997. Ordering of simultaneous events in distributed DEVS simulation. Simulation Practice and Theory 5, 3 (1997), 253--268.Google ScholarCross Ref
- George J. Klir. 1969. An Approach to General Systems Theory. Van Nostrand Reinhold Co., New York.Google Scholar
- Edward A. Lee. 2014. Constructive models of discrete and continuous physical phenomena. IEEE Access 2 (2014), 797--821.Google ScholarCross Ref
- Edward A. Lee and Haiyang Zheng. 2005. Operational semantics of hybrid systems. In Proceedings of the 8th International Workshop on Hybrid Systems: Computation and Control (HSCC'05). Springer Berlin, 25--53.Google Scholar
- Sean Luke, Claudio Cioffi-Revilla, Liviu Panait, Keith Sullivan, and Gabriel Balan. 2005. MASON: A multi-agent simulation environment. Simulation: Transactions of the Society for Modeling and Simulation International 82, 7 (2005), 517--527.Google ScholarDigital Library
- Oded Maler, Zohar Manna, and Amir Pnueli. 1992. From timed to hybrid systems. In Proceedings of the Real-Time: Theory in Practice, REX Workshop. Springer-Verlag, London, 447--484.Google ScholarCross Ref
- Mihailo D. Mesarovic and Yasuhiko Takahara. 1989. Abstract Systems Theory. Springer, Berlin.Google Scholar
- Pieter J. Mosterman, Gabor Simko, Justyna Zander, and Zhi Han. 2014. A hyperdense semantic domain for hybrid dynamic systems to model different classes of discontinuities. In Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (HSCC’14). ACM, New York, 83--92.Google ScholarDigital Library
- Jean-Pierre Müller. 2009. Towards a formal semantics of event-based multi-agent simulations. In Multi-Agent-Based Simulation IX: International Workshop, MABS 2008, Revised Selected Papers. Springer Berlin, 110--126.Google ScholarDigital Library
- M. J. North, N. T. Collier, J. Ozik, E. Tatara, M. Altaweel, C. M. Macal, M. Bragen, and P. Sydelko. 2013. Complex adaptive systems modeling with repast simphony. Complex Adaptive Systems Modeling 1, 3 (2013), 26.Google ScholarCross Ref
- James Nutaro and Hessam Sarjoughian. 2004. Design of distributed simulation environments: A unified system-theoretic and logical processes approach. Simulation 80, 11 (Nov. 2004), 577--589.Google ScholarDigital Library
- James J. Nutaro. 2011. Building Software for Simulation: Theory and Algorithms with Applications in C++. Wiley, Hoboken, NJ.Google Scholar
- Bernard P. Zeigler Herbert Praehofer and Tag Gon Kim. 2000. Theory of Modeling and Simulation, 2nd Edition. Academic Press, San Diego, CA.Google Scholar
- Francesco Quaglia and Roberto Baldoni. 1999. Exploiting intra-object dependencies in parallel simulation. Information Processing Letters 70, 3 (1999), 119--125.Google ScholarDigital Library
- Jean-François Raskin. 2005. An introduction to hybrid automata. In Handbook of Networked and Embedded Control Systems, Dimitrios Hristu-Varsakelis and William S. Levine (Eds.). Birkhäuser Boston, Boston, MA, 491--517.Google Scholar
- R. Ronngren and M. Liljenstam. 1999. On event ordering in parallel discrete event simulation. In Proceedings of the 13th Workshop on Parallel and Distributed Simulation (PADS'99). IEEE Computer Society, Washington, D.C., 38--45.Google Scholar
- Hessam S. Sarjoughian and Savitha Sundaramoorthi. 2015. Superdense time trajectories for DEVS simulation models. In Proceedings of the Symposium on Theory of Modeling 8 Simulation: DEVS Integrative M8S Symposium (DEVS’15). Society for Computer Simulation International, San Diego, CA, 249--256.Google Scholar
- A. Wayne Wymore. 1967. A Mathematical Theory of Systems Engineering: The Elements. Krieger, New York.Google Scholar
- Bernard P. Zeigler. 1976. Theory of Modelling and Simulation. Wiley, New York.Google Scholar
- Haiyang Zheng, Edward A. Lee, and Aaron D. Ames. 2006. Beyond zeno: Get on with it! In Hybrid Systems: Computation and Control, João P. Hespanha and Ashish Tiwari (Eds.). Springer Berlin, 568--582.Google Scholar
Index Terms
- Toward a Theory of Superdense Time in Simulation Models
Recommendations
Conservative vs. optimistic parallel simulation of DEVS and Cell-DEVS: a comparative study
SCSC '10: Proceedings of the 2010 Summer Computer Simulation ConferenceThe conservative Parallel DEVS protocol offers a novel approach that allows conservative simulation of DEVS-based PDES systems. The protocol is based on the classical Chandy-Misra-Bryant synchronization mechanism, and it extends the DEVS abstract ...
Rigidity of Superdense Coding
The famous superdense coding protocol of Bennett and Wiesner demonstrates that it is possible to communicate two bits of classical information by sending only one qubit and using a shared EPR pair. Our first result is that an arbitrary protocol for ...
SuperDense Quantum Teleportation
Recent advances in experimental technique make SuperDense Teleportation (SDT) possible only now , ten years after my first proposal at an ISI Torino summer conference on Quantum Computing. The effect uses remote state preparation to send more state-...
Comments