Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
research-article

Automatic Runtime Adaptation for Component-Based Simulation Algorithms

Published: 19 October 2015 Publication History

Abstract

The state and structure of a model may vary during a simulation and, thus, also its computational demands. Adapting simulation algorithms to these demands at runtime can therefore improve their performance. While this is a general and cross-cutting concern, only few simulation systems offer reusable support for this kind of runtime adaptation. We present a flexible and generic mechanism for the runtime adaptation of component-based simulation algorithms. It encapsulates simulation algorithms applicable to a given problem and employs reinforcement learning to explore the algorithms’ performance during a simulation run. We evaluate our approach on a modeling formalism from computational biology and on a benchmark model defined in PDEVS, thereby investigating a broad range of options for improving its learning capabilities.

Supplementary Material

APPENDICES and SUPPLEMENTS (a7-helms-apndx.pdf)
Online Appendix to: Automatic Runtime Adaptation for Component-based Simulation Algorithms

References

[1]
Ryan P. Adams and David J. C. MacKay. 2007. Bayesian Online Changepoint Detection. Technical Report. University of Cambridge. arXiv:0710.3742{stat.ML}
[2]
Warren Armstrong, Peter Christen, Eric McCreath, and Alistair P. Rendell. 2006. Dynamic algorithm selection using reinforcement learning. In Proceedings of the International Workshop on Integrating AI and Data Mining (AIDM’06). 18--25.
[3]
Peter Auer, Nicolò Cesa-Bianchi, and Paul Fischer. 2002. Finite-time analysis of the multiarmed bandit problem. Machine Learning 47, 2--3 (May 2002), 235--256.
[4]
Peter Auer, Nicolò Cesa-Bianchi, Yoav Freund, and Robert E. Schapire. 1995. Gambling in a rigged casino: The adversarial multi-armed bandit problem. In Proceedings of the 36th Annual Symposium on Foundations of Computer Science. 322--331.
[5]
Diana M. Ball and Stephen M. Hoyt. 1990. The adaptive Time-Warp concurrency control algorithm. In Proceedings of the SCS Multiconference on Distributed Simulation. 174--177.
[6]
Andrea Bonarini, Alessandro Lazaric, and Marcello Restelli. 2007. Reinforcement learning in complex environments through multiple adaptive partitions. In AI*IA 2007: Artificial Intelligence and Human-Oriented Computing. Vol. 4733. Springer Berlin Heidelberg, 531--542.
[7]
Azzedine Boukerche and Sajal K. Das. 1997. Dynamic load balancing strategies for conservative parallel simulations. In Proceedings of the 11th Workshop on Parallel and Distributed Simulation (PADS’97). 20--28.
[8]
François E. Cellier and Ernesto Kofman. 2010. Continuous System Simulation. Springer.
[9]
Samir R. Das. 1996. Adaptive protocols for parallel discrete-event simulation. In Proceedings of the Winter Simulation Conference (WSC’96). 186--193.
[10]
Olivier Decroly and Albert Goldbeter. 1982. Birhythmicity, chaos, and other patterns of temporal self-organization in a multiply regulated biochemical system. In Proceedings of the National Academy of Sciences USA. 6917--6921.
[11]
Roland Ewald. 2010. Automatic Algorithm Selection for Complex Simulation Problems. Ph.D. Dissertation. University of Rostock.
[12]
Roland Ewald, Stefan Leye, and Adelinde M. Uhrmacher. 2009. An efficient and adaptive mechanism for parallel simulation replication. In Proceedings of the 23rd Workshop on Principles of Advanced and Distributed Simulation (PADS’09). 104--113.
[13]
Richard M. Fujimoto and Maria Hybinette. 1997. Computing global virtial time in shared-memory multiprocessors. ACM Transactions on Modeling and Computer Simulation (TOMACS) 7, 4, 425--446.
[14]
Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. 1995. Design Patterns: Elements of Reusable Object-oriented Software. Addison-Wesley Professional.
[15]
Daniel T. Gillespie. 1977. Exact stochastic simulation of coupled chemical reactions. Journal of Physical Chemistry 81, 25, 2340--2361.
[16]
Carla P. Gomes and Bart Selman. 2001. Algorithm portfolios. Artificial Intelligence 126, 1--2, 43--62.
[17]
Fiete Haack, Heiko Lemcke, Roland Ewald, Tareck Rharass, and Adelinde M. Uhrmacher. 2015. Spatio-temporal model of endogenous ROS and Raft-Dependent WNT/Beta-catenin signaling driving cell fate commitment in human neural progenitor cells. PLoS Computational Biology 11, 3, e1004106.
[18]
Tobias Helms. 2012. Adaptive Laufzeit-Konfiguration von ML-Rules Simulationen. Master’s thesis. University of Rostock.
[19]
Tobias Helms, Roland Ewald, Stefan Rybacki, and Adelinde M. Uhrmacher. 2013. A generic adaptive simulation algorithm for component-based simulation systems. In Proceedings of the 27th Workshop on Principles of Advanced and Distributed Simulation (PADS’13). 11--22.
[20]
Tobias Helms, Jan Himmelspach, Carsten Maus, Olivier Röwer, Johannes Schützel, and Adelinde M. Uhrmacher. 2012. Toward a language for the flexible observation of simulations. In Proceedings of the Winter Simulation Conference (WSC’12). 418:1--418:12.
[21]
Tobias Helms, Martin Luboschik, Heidrun Schumann, and Adelinde M. Uhrmacher. 2013. An approximate execution of rule-based multi-level models. In Proceedings of the 11th International Conference on Computational Methods in Systems Biology (CMSB’13). 19--32.
[22]
Jan Himmelspach and Adelinde M. Uhrmacher. 2007a. Plug’n simulate. In Proceedings of the 40th Annual Simulation Symposium (ANSS’07). 137--143.
[23]
Jan Himmelspach and Adelinde M. Uhrmacher. 2007b. The event queue problem and PDEVS. In Proceedings of the SpringSim’07, DEVS Integrative M&S Symposium. 257--264.
[24]
Holger H. Hoos. 2012. Programming by optimization. Communications of the ACM 55, 2, 70--80.
[25]
Bernardo A. Huberman, Rajan M. Lukose, and Tad Hogg. 1997. An economics approach to hard computational problems. Science 275, 51--54.
[26]
Matthias Jeschke and Roland Ewald. 2008. Large-scale design space exploration of SSA. In Proceedings of the 6th International Conference on Computational Methods in Systems Biology (CMSB’08). 211--230.
[27]
Tackseung Jun. 2004. A survey on the bandit problem with switching costs. De Economist 152, 513--541. Issue 4.
[28]
Kenji Kira and Larry A. Rendell. 1992. The feature selection problem: Traditional methods and a new algorithm. In Proceedings of the 10th National Conference on Artificial Intelligence (AAAI’92). 129--134.
[29]
Michail G. Lagoudakis, Michael L. Littman, and Ronald E. Parr. 2001. Selecting the right algorithm. In Proceedings of the 2001 AAAI Fall Symposium Series (AAAI’01). 74--75.
[30]
Ivan S. K. Lee and Henry Y. K. Lau. 2004. Adaptive state space partitioning for reinforcement learning. Engineering Applications of Artificial Intelligence 17, 6, 577--588.
[31]
Michael Lees, Brian Logan, Chen Dan, Ton Oguara, and Georgios K. Theodoropoulos. 2005. Decision-theoretic throttling for optimistic simulations of multi-agent systems. In Proceedings of the 9th International Symposium on Distributed Simulation and Real Time Applications (DS-RT’05). 171--178.
[32]
Carsten Maus, Stefan Rybacki, and Adelinde M. Uhrmacher. 2011. Rule-based multi-level modeling of cell biological systems. BMC Systems Biology 5, 166.
[33]
Orianne Mazemondet, Mathias John, Stefan Leye, Arndt Rolfs, and Adelinde M. Uhrmacher. 2012. Elucidating the sources of β-catenin dynamics in human neural progenitor cells. PLoS ONE 7, 8, e42792.
[34]
Philip K. McKinley, Seyed M. Sadjadi, Eric P. Kasten, and Betty H. C. Cheng. 2004. Composing adaptive software. Computer 37, 7, 56--64.
[35]
Sina Meraji, Carl Tropper, and Wei Zang. 2010. A multi-state Q-learning approach for the dynamic load balancing of time warp. In Proceedings of the 24th Workshop on Principles of Advanced and Distributed Simulation (PADS’10). 1--8.
[36]
Andrew W. Moore and Christopher G. Atkeson. 1995. The parti-game algorithm for variable resolution reinforcement learning in multidimensional state-spaces. Machine Learning 21, 3, 199--233.
[37]
David M. Nicol and Paul F. Reynolds Jr. 1990. Optimal dynamic remapping of data parallel computations. IEEE Transactions on Computing. 39, 2, 206--219.
[38]
Jörg Nievergelt, Hans Hinterberger, and Kenneth C. Sevcik. 1984. The grid file: An adaptable, symmetric multikey file structure. ACM Transactions on Database Systems 9, 1, 38--71.
[39]
Avinash C. Palaniswamy and Philip A. Wilsey. 1993. Adaptive bounded time windows in an optimistically synchronized simulator. In Proceedings of the 3rd Great Lakes Symposium on Design Automation of High Performance VLSI Systems. 114--118.
[40]
Krzysztof Pawlikowski, Hae-Duck J. Jeong, and Jong-Suk R. Lee. 2002. On credibility of simulation studies of telecommunication networks. IEEE Communications Magazine 40, 1, 132--139.
[41]
Stuart I. Reynolds. 2000. Decision boundary partitioning: Variable resolution model-free reinforcement learning. In Proceedings of the 17th International Conference on Machine Learning (ICML-2000). 783--790.
[42]
Pannagadatta Shivaswamy and Thorsten Joachims. 2012. Multi-armed bandit problems with history. In International Conference on Artificial Intelligence and Statistics, Vol. 22. 1046--1054.
[43]
Lisa M. Sokol and Brian K. Stucky. 1990. MTW: Eperimental results for a constrained optimistic scheduling paradigm. In Distributed Simulation. Vol. 22. SCS, 169--173.
[44]
Richard S. Sutton and Andrew G. Barto. 1998. Reinforcement Learning: An Introduction. MIT Press.
[45]
Adelinde M. Uhrmacher, Jan Himmelspach, and Roland Ewald. 2011. Effective and efficient modeling and simulation with DEVS variants. In Discrete-Event Modeling and Simulation: Theory and Applications. CRC Press, Taylor and Francis, 139--176.
[46]
Joannès Vermorel and Mehryar Mohri. 2005. Multi-armed bandit algorithms and empirical evaluation. In Proceedings of the 16th European Conference on Machine Learning (ECML’05). 437--448.
[47]
Roberto Vitali, Alessandro Pellegrini, and Francesco Quaglia. 2010. Autonomic log/restore for advanced optimistic simulation systems. In Proceedings of the International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS). 319--327.
[48]
Bernard P. Zeigler, Tag Gon Kim, and Herbert Praehofer. 2000. Theory of Modeling and Simulation (2nd ed.). Academic Press, Inc.

Cited By

View all
  • (2024)Context, Composition, Automation, and Communication: The C2AC Roadmap for Modeling and SimulationACM Transactions on Modeling and Computer Simulation10.1145/367322634:4(1-51)Online publication date: 13-Aug-2024
  • (2022)Generating Fast Specialized Simulators for Stochastic Reaction Networks via Partial EvaluationACM Transactions on Modeling and Computer Simulation10.1145/348546532:2(1-25)Online publication date: 4-Mar-2022
  • (2021)Exploiting provenance and ontologies in supporting best practices for simulation experimentsProceedings of the Winter Simulation Conference10.5555/3522802.3522965(1-12)Online publication date: 13-Dec-2021
  • Show More Cited By

Index Terms

  1. Automatic Runtime Adaptation for Component-Based Simulation Algorithms

      Recommendations

      Comments

      Information & Contributors

      Information

      Published In

      cover image ACM Transactions on Modeling and Computer Simulation
      ACM Transactions on Modeling and Computer Simulation  Volume 26, Issue 1
      Special Issue on PADS
      December 2015
      210 pages
      ISSN:1049-3301
      EISSN:1558-1195
      DOI:10.1145/2798338
      Issue’s Table of Contents
      Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

      Publisher

      Association for Computing Machinery

      New York, NY, United States

      Publication History

      Published: 19 October 2015
      Accepted: 01 September 2015
      Revised: 01 May 2015
      Received: 01 January 2014
      Published in TOMACS Volume 26, Issue 1

      Permissions

      Request permissions for this article.

      Check for updates

      Author Tags

      1. Adaptive algorithms
      2. component-based simulation software
      3. reinforcement learning

      Qualifiers

      • Research-article
      • Research
      • Refereed

      Funding Sources

      • German research foundation (DFG)

      Contributors

      Other Metrics

      Bibliometrics & Citations

      Bibliometrics

      Article Metrics

      • Downloads (Last 12 months)21
      • Downloads (Last 6 weeks)0
      Reflects downloads up to 16 Oct 2024

      Other Metrics

      Citations

      Cited By

      View all
      • (2024)Context, Composition, Automation, and Communication: The C2AC Roadmap for Modeling and SimulationACM Transactions on Modeling and Computer Simulation10.1145/367322634:4(1-51)Online publication date: 13-Aug-2024
      • (2022)Generating Fast Specialized Simulators for Stochastic Reaction Networks via Partial EvaluationACM Transactions on Modeling and Computer Simulation10.1145/348546532:2(1-25)Online publication date: 4-Mar-2022
      • (2021)Exploiting provenance and ontologies in supporting best practices for simulation experimentsProceedings of the Winter Simulation Conference10.5555/3522802.3522965(1-12)Online publication date: 13-Dec-2021
      • (2021)Exploiting Provenance and Ontologies In Supporting Best Practices For Simulation Experiments: A Case Study On Sensitivity Analysis2021 Winter Simulation Conference (WSC)10.1109/WSC52266.2021.9715362(1-12)Online publication date: 12-Dec-2021
      • (2020)A content analysis-based approach to explore simulation verification and identify its current challengesPLOS ONE10.1371/journal.pone.023292915:5(e0232929)Online publication date: 13-May-2020
      • (2019)Multi-Level Modeling and Simulation of Cellular Systems: An Introduction to ML-RulesModeling Biomolecular Site Dynamics10.1007/978-1-4939-9102-0_6(141-160)Online publication date: 4-Apr-2019
      • (2017)Semantics and Efficient Simulation Algorithms of an Expressive Multilevel Modeling LanguageACM Transactions on Modeling and Computer Simulation10.1145/299849927:2(1-25)Online publication date: 18-May-2017
      • (2017)Developing and validating a multi-level ecological model of eastern Baltic cod ( Gadus morhua ) in the Bornholm Basin – A case for domain-specific languagesEcological Modelling10.1016/j.ecolmodel.2017.07.012361(49-65)Online publication date: Oct-2017
      • (2017)Conceptual ModelingResearch Challenges in Modeling and Simulation for Engineering Complex Systems10.1007/978-3-319-58544-4_3(23-44)Online publication date: 19-Aug-2017
      • (2016)Population-based CTMCS and agent-based modelsProceedings of the 2016 Winter Simulation Conference10.5555/3042094.3042258(1253-1264)Online publication date: 11-Dec-2016
      • Show More Cited By

      View Options

      Get Access

      Login options

      Full Access

      View options

      PDF

      View or Download as a PDF file.

      PDF

      eReader

      View online with eReader.

      eReader

      Media

      Figures

      Other

      Tables

      Share

      Share

      Share this Publication link

      Share on social media