Papers
Topics
Authors
Recent
Gemini 2.5 Flash
Gemini 2.5 Flash 84 tok/s
Gemini 2.5 Pro 57 tok/s Pro
GPT-5 Medium 23 tok/s
GPT-5 High 17 tok/s Pro
GPT-4o 101 tok/s
GPT OSS 120B 458 tok/s Pro
Kimi K2 206 tok/s Pro
2000 character limit reached

Benchmarking formalisms for dynamic structure system Modeling and Simulation (2404.03661v1)

Published 25 Jan 2024 in cs.SE and cs.CE

Abstract: Modeling and simulation of complex systems is key to explore systems dynamics. Many scientific approaches were developed to represent dynamic structure systems but most of these approaches are efficient for some kinds of systems and inefficient for others. Which approach can be adopted for different dynamic structure systems categories is a topic of interest for many researchers and until now has not been fully resolved. Therefore it is essential to explore the existing approaches, understand them, and identify gaps. To fulfil this goal, we identified criteria at stake for a smooth flow from model creation to its simulation for dynamic structure systems. Using these criteria, we benchmark the existing modeling formalisms focusing more on DEVS extensions, and use the results to identify approaches gaps and discuss them.

Definition Search Book Streamline Icon: https://streamlinehq.com
References (36)
  1. Applying a def-use approach on signal exchange to implement sysml model-based testing. In Pieter Van Gorp, Tom Ritter, and Louis M. Rose, editors, Modelling Foundations and Applications, pages 134–151, Berlin, Heidelberg, 2013. Springer Berlin Heidelberg.
  2. Fernando J. Barros. Dynamic structure discrete event system specification: A new formalism for dynamic structure modeling and simulation. In Proceedings of the 27th Conference on Winter Simulation, WSC ’95, page 781–785, USA, 1995. IEEE Computer Society.
  3. Fernando J. Barros. Abstract simulators for the dsde formalism. In Proceedings of the 30th Conference on Winter Simulation, WSC ’98, page 407–412, Washington, DC, USA, 1998. IEEE Computer Society Press.
  4. Fernando J. Barros. On the representation of dynamic topologies: The case for centralized and modular approaches. In Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative, DEVS ’14. Society for Computer Simulation International, 2014.
  5. Variable DEVS-variable structure modeling formalism: an adaptive computer architecture application. In Fifth Annual Conference on AI, and Planning in High Autonomy Systems, pages 185–191, December 1994.
  6. A formal framework for stochastic discrete event system specification modeling and simulation. SIMULATION, 86(10):587–611, 10 2010.
  7. Tae Ho Cho. Simulation methodology-based context-aware architecture design for behavior monitoring of systems. Symmetry, 12(9):1568, 2020.
  8. A. C.-H. Chow. Parallel DEVS: a parallel, hierarchical, modular modeling formalism and its distributed simulator. Transactions of the Society for Computer Simulation International, 13(2):55–67, December 1996.
  9. Parallel DEVS: a parallel, hierarchical, modular modeling formalism. In Proceedings of Winter Simulation Conference, pages 716–722, December 1994.
  10. Application of the Cell-DEVS Paradigm for Cell Spaces Modelling and Simulation. SIMULATION: Transactions of The Society for Modeling and Simulation International, 76(1):22–39, 2001.
  11. A SysML formal framework to combine discrete and continuous simulation for testing. In Michael Butler, Sylvain Conchon, and Fatiha Zaïdi, editors, Formal Methods and Software Engineering, Lecture Notes in Computer Science, pages 134–152. Springer International Publishing, 2015.
  12. Evolving dynamical networks: A formalism for describing complex systems. Complexity, 17(3):18–25, January 2012.
  13. Using formal methods with SysML in aerospace design and engineering. Annals of Mathematics and Artificial Intelligence, 63(1):53–102, September 2011.
  14. Extended dynamic structure DEVS. 21st European Modeling and Simulation Symposium, EMSS 2009, January 2009.
  15. M. Hause. The OMG Modelling Language (SYSML). In L. Ouwehand, editor, DASIA 2007 - Data Systems In Aerospace, volume 638 of ESA Special Publication, page 14, August 2007.
  16. Flexible experimentation and analysis for hybrid DEVS and MPC models. In Proceedings of the 2006 Winter Simulation Conference, pages 1863–1870, 12 2006. ISSN: 1558-4305.
  17. STDEVS, a novel formalism for modeling and simulation of stochastic discrete event systems. In Conference: Proceedings of AADECA 2006, January 2006.
  18. A methodology for variable structure system specification: Formalism, framework, and its application to atm‐based network system. ETRI Journal, 18, 1997.
  19. Modeling formalisms in systems biology. AMB Express, 1(1):45, April 2011.
  20. Jim Nutaro. Adevs: A Discrete EVent System simulator. https://web.ornl.gov/~nutarojj/adevs/.
  21. DEVS-based modeling and simulation in scientific and technical computing environments. In Conference: DEVS Integrative M&S Symposium (DEVS’06), April 2006.
  22. A stochastic DEVS wind turbine component model for wind farm simulation. In Proceedings of the 2010 Spring Simulation Multiconference, pages 1–8. Society for Computer Simulation International, April 2010.
  23. Hybrid systems modeling and verification with devs (wip). In Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative M&S Symposium, DEVS 13, San Diego, CA, USA, 2013. Society for Computer Simulation International.
  24. Emf-devs modeling. In Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium, TMS/DEVS ’12, San Diego, CA, USA, 2012. Society for Computer Simulation International.
  25. A simulation algorithm for dynamic structure DEVS modeling. In Proceedings of the 2006 Winter Simulation Conference, pages 815–822, 12 2006. ISSN: 1558-4305.
  26. CD++ - extended states. https://github.com/SimulationEverywhere/CDPP_ExtendedStates-codename-Santi, 2022.
  27. cadmium. https://github.com/SimulationEverywhere/cadmium, 2023.
  28. Extending the devs formalism with initialization information. ArXiv, abs/1802.04527, 2018.
  29. A. M. Uhrmacher. Dynamic structures in modeling and simulation: A reflective approach. ACM Trans. Model. Comput. Simul., 11(2):206–232, April 2001.
  30. The role of reflection in simulating and testing agents: An exploration based on the simulation system james. Applied Artificial Intelligence, 16(9):795–811, October 2002.
  31. Introducing variable ports and multi-couplings for cell biological modeling in DEVS. In Proceedings of the 2006 Winter Simulation Conference, pages 832–840, 12 2006. ISSN: 1558-4305.
  32. Gabriel A Wainer. Advanced cell-devs modeling applications: A legacy of norbert giambiasi. Simulation, 98(6):465–491, June 2022.
  33. Gabriel A. Wainer and R. Castro. A survey on the application of the cell-DEVS formalism. J. Cell. Autom., April 2010.
  34. yentl. yentl/PythonPDEVS. https://msdl.uantwerpen.be/git/yentl/PythonPDEVS.
  35. Theory of Modeling and Simulation: Discrete Event & Iterative System Computational Foundations. Academic press, December 2018.
  36. Theory of modeling and simulation, Third Edition. Academic press, 3rd edition, 2019.
List To Do Tasks Checklist Streamline Icon: https://streamlinehq.com

Collections

Sign up for free to add this paper to one or more collections.

User Circle Single Streamline Icon: https://streamlinehq.com Sign Up

Summary

We haven't generated a summary for this paper yet.

Ai Sparkles Streamline Icon: https://streamlinehq.com Summarize Now
Ai Generate Text Spark Streamline Icon: https://streamlinehq.com

Paper Prompts

Sign up for free to create and run prompts on this paper using GPT-5.

List Streamline Icon: https://streamlinehq.com Explore 10 Community Prompts
Dice Question Streamline Icon: https://streamlinehq.com

Follow-up Questions

We haven't generated follow-up questions for this paper yet.

Ai Sparkles Streamline Icon: https://streamlinehq.com Generate Now