In this work, we attempt to bring together the origins, main results, and recent advances on discrete-event simulation of continuous-time systems. Starting from the early approaches that aimed to represent continuous-time dynamics within the discrete-event system specification (DEVS) formalism framework, the work shows how these ideas gave place to the formalization of the quantized state system (QSS) family of numerical integration algorithms. Then, we describe the QSS algorithms, their properties, their extensions, and the main practical software tools implementing them. We also present a selection of simulation examples illustrating the main features and advantages through comparisons with state-of-the-art continuous-time simulation solvers.
ZeiglerBPPraehoferHKimTG. Theory of modeling and simulation. Cambridge, MA: Academic press, 2000.
2.
ZeiglerBPMuzyAKofmanE. Theory of modeling and simulation: discrete event & iterative system computational foundations. Cambridge, MA: Academic press, 2018.
3.
HairerENørsettSPWannerG. Solving ordinary differential equations I. Nonstiff problems. New York: Springer, 1993.
4.
WannerGHairerE. Solving ordinary differential equations II. Stiff and differential-algebraic problems. vol. 375. New York: Springer, 1996.
5.
CellierFEKofmanE. Continuous system simulation. New York: Springer, 2006.
ZeiglerBPSongHSKimTG, et al. DEVS framework for modelling, simulation, analysis, and design of hybrid systems. In: AntsaklisPKohnWNerodeA, et al. (eds) Hybrid systems II. New York: Springer, pp. 529–551.
8.
ZeiglerBPLeeJS. Theory of quantized systems: formal basis for DEVS/HLA distributed simulation environment. In: SistiAF (ed.) Enabling technology for simulation science II, vol 3369. Bellingham, WA: SPIE, pp. 49–58.
GiambiasiNEscudeBGhoshS. GDEVS: a generalized discrete event specification for accurate modeling of dynamic systems. In: Proceedings 5th International Symposium on Autonomous Decentralized Systems, Dallas, TX, 26–28 March 2001, pp. 464–469. New York: IEEE.
11.
GiambiasiNCarmonaJC. Generalized discrete event abstraction of continuous systems: GDEVS formalism. Simul Model Practice Theory2006; 14: 47–70.
12.
BarrosFJ. Towards a theory of continuous flow models. Int J General Syst2002; 31: 29–40.
13.
BarrosFJZeiglerBP. Model interoperability in the discrete event paradigm: representation of continuous models. In: BekeyGAKoganBY (eds) Modeling and simulation: theory and practice. A memorial volume for professor Walter J Karplus (1927–2001). New York: Springer, 2003, pp. 103–126.
14.
KofmanEJuncoS. Quantized-state systems: a DEVS approach for continuous system simulation. Trans Soc Model Simul Int2001; 18: 123–132.
15.
KofmanE. A second-order approximation for DEVS simulation of continuous systems. Simulation2002; 78: 76–89.
16.
KofmanE. A third order discrete event method for continuous system simulation. Latin Am Appl Res2006; 36: 101–108.
17.
MigoniGKofmanECellierF. Quantization-based new integration methods for stiff ordinary differential equations. Simulation2012; 88: 387–407.
18.
MigoniGBortolottoMKofmanE, et al. Linearly implicit quantization-based integration methods for stiff ordinary differential equations. Simul Model Pract Theory2013; 35: 118–136.
19.
FritzsonPEngelsonV. Modelica—A unified object-oriented language for system modeling and simulation (Lecture Notes in Computer Science). In: ECOOP '98—object-oriented programming 12th European conference, Brussels, 20–24 July 1998, pp. 67–90. New York: Springer.
20.
PraehoferH. System theoretic formalisms for combined discrete-continuous system simulation. Int J General Syst1991; 19: 226–240.
21.
PraehoferHAuernigFReisingerG. An environment for DEVS-based multiformalism simulation in common Lisp/CLOS. Discrete Event Dynam Syst1993; 3: 119–149.
22.
ZacharewiczG. Generalized discrete event system specification: a state-of-the-art study. Simulation2022; 98: 507–517.
23.
ZhengGTonnelierAMartinezD. Voltage-stepping schemes for the simulation of spiking neural networks. J Comput Neurosci2009; 26: 409–423.
24.
KaabiMGTonnelierAMartinezD. On the performance of voltage stepping for the simulation of adaptive, nonlinear integrate-and-fire neuronal networks. Neural Comput2011; 23: 1187–1204.
25.
BergeroFFernándezJKofmanE, et al. Time discretization versus state quantization in the simulation of a one-dimensional advection–diffusion–reaction equation. Simulation2016; 92: 47–61.
CastroRKofmanE. Activity of order n in continuous systems. Simulation2015; 91: 337–348.
28.
Di PietroFMigoniGKofmanE. Improving linearly implicit quantized state system methods. Simulation2019; 95: 127–144.
29.
MigoniGKofmanEBergeroF, et al. Quantization-based simulation of switched mode power supplies. Simulation2015; 91: 320–336.
30.
KofmanE. Relative error control in quantization based integration. Latin Am Appl Res2009; 39: 231–237.
31.
BergeroFKofmanE. PowerDEVS: a tool for hybrid system modeling and real-time simulation. Simulation2011; 87: 113–132.
32.
BeltrameTCellierFE. Quantised state system simulation in Dymola/Modelica using the DEVS formalism. In: Proceedings 5th international modelica conference, 4–5 September 2006, pp. 73–82. The Modelica Association, https://people.inf.ethz.ch/fcellier/Pubs/DEVS/modelica_06_beltrame.pdf
33.
D’AbreuMCWainerGA. M/CD++: modeling continuous systems using Modelica and DEVS. In: 13th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, Atlanta, GA, 27–29 September 2005, pp. 229–236. New York: IEEE.
34.
QuesnelGDubozRRamatE, et al. VLE: a multimodeling and simulation environment. In: Proceedings of the 2007 summer computer simulation conference, San Diego, CA, 16–19 July 2007, pp. 367–374. University Park, PA: Citeseer.
35.
FernándezJKofmanE. A stand-alone quantized state system solver for continuous system simulation. Simulation2014; 90: 782–799.
36.
MattssonSEElmqvistHOtterM. Physical system modeling with Modelica. Control Eng Pract1998; 6: 501–510.
37.
DormandJRPrincePJ. A family of embedded Runge-Kutta formulae. J Comput Appl Math1980; 6: 19–26.
38.
PetzoldLR. Description of DASSL: a differential/algebraic system solver. Technical Report, Sandia National Labs, Livermore, CA, 1982, https://www.osti.gov/biblio/5882821
39.
CohenSDHindmarshACDuboisPF. CVODE, a stiff/nonstiff ODE solver in C. Comput Phys1996; 10: 138–143.
40.
HindmarshACBrownPNGrantKE, et al. SUNDIALS: suite of nonlinear and differential/algebraic equation solvers. ACM Trans Math Softw2005; 31: 363–396.
41.
KofmanEFernándezJMarzoratiD. Compact sparse symbolic Jacobian computation in large systems of ODEs. Appl Math Comput2021; 403: 126181.
42.
FernándezJKofmanEBergeroF. A parallel quantized state system solver for ODEs. J Parallel Distrib Comput2017; 106: 14–30.
43.
FujimotoRM. Parallel and distributed simulation systems. In: Proceeding of the 2001 Winter simulation conference (Cat. No. 01CH37304), Arlington, VA, 9–12 December 2001, vol. 1, pp. 147–157. New York: IEEE.
44.
FujimotoRM. Research challenges in parallel and distributed simulation. ACM Trans Model Comput Simul2016; 26: 1–29.
45.
NutaroJOzmenO. Race conditions and data partitioning: risks posed by common errors to reproducible parallel simulations. Simulation2023; 99: 417–427.
46.
JaferSWainerG. Global lookahead management (GLM) protocol for conservative DEVS simulation. In: 2010 IEEE/ACM 14th international symposium on distributed simulation and real time applications, Fairfax, VA, 17–20 October 2010, pp. 141–148. New York: IEEE.
47.
JeffersonDR. Virtual time. ACM Trans Program Lang Syst1985; 7: 404–425.
NutaroJJ. Parallel discrete event simulation with application to continuous systems. PhD Thesis, The University of Arizona, Tucson, AZ, 2003.
50.
MaggioMStavåkerKDonidaF, et al. Parallel simulation of equation-based object-oriented models with quantized state systems on a GPU. In: The 7th international modelica conference, Como, 20–22 September 2009, pp. 251–260. Linköping: Linköping University Electronic Press.
51.
Di PietroFFernándezJMigoniG, et al. Mixed-mode state–time discretization in ODE numerical integration. J Comput Appl Math2020; 377: 112911.
52.
BakerCTPaulCAWilleDR. A bibliography on the numerical solution of delay differential equations. Technical Report Numerical Analysis Report No. 269, University of Manchester, Manchester, 1995.
ShampineLThompsonS. Solving DDEs in Matlab. Appl Numer Math2001; 37: 441–458.
55.
CorwinSPThompsonSWhiteSM. Solving ODEs and DDEs with impulses. JNAIAM J Numer Anal Indust Appl2008: 139–149.
56.
CastroRKofmanECellierFE. Quantization-based integration methods for delay-differential equations. Simul Model Pract Theory2011; 19: 314–336.
57.
ZhangZChenQ. Comparison of the Eulerian and Lagrangian methods for predicting particle transport in enclosed spaces. Atmos Environ2007; 41: 5236–5248.
58.
Gui-rongLMoubinL. Smoothed particle hydrodynamics: A meshfree particle method. Singapore: World Scientific Publishing, 2003.
59.
SantiLFernándezJKofmanE, et al. retQSS: a novel methodology for efficient modeling and simulation of particle systems in reticulated geometries. Comput Phys Commun2022; 270: 108157.
FritzsonPAronssonPLundvallH, et al. The OpenModelica modeling, simulation, and software development environment. Simul News Europe2005; 44: 8–16.
62.
RapaportDC. The art of molecular dynamics simulation. 2nd ed.Cambridge: Cambridge University Press, 2004.
63.
TskhakayaDMatyashKSchneiderR, et al. The particle-in- cell method. Contrib Plasma Phys2007; 47: 563–594.
64.
O’SullivanC. Particulate discrete element modelling: a geomechanics perspective. Boca Raton, FL: CRC Press, 2011.
65.
KuzdeuovAKarabayABaimukashevD, et al. A particle-based COVID-19 simulator with contact tracing and testing. IEEE Open J Eng Med Biol2021; 2: 111–117.
66.
PulvirentiMSimonellaS. A kinetic model for epidemic spread. Math Mech Complex Syst2020; 8: 249–260.
67.
LanzarottiERoslanFGroismanL, et al. A multi-aspect agent-based model of COVID-19: disease dynamics, contact tracing interventions and shared space-driven contagions. In: 2021 Winter Simulation Conference (WSC), Phoenix, AZ, 12–15 December 2021. New York: IEEE.
68.
SchmidtMBakkerRShenK, et al. A multi-scale layer-resolved spiking network model of resting-state dynamics in macaque visual cortical areas. PLOS Comput Biol2018; 14: e1006359.
69.
PotjansTCDiesmannM. The cell-type specific cortical microcircuit: relating structure and activity in a full-scale spiking network model. Cerebral Cortex2014; 24: 785–806.
70.
HanselDMatoGMeunierC, et al. On numerical simulations of integrate-and-fire neural networks. Neural Comput1998; 10: 467–483.
71.
ShelleyMJTaoL. Efficient and accurate time-stepping schemes for integrate-and-fire neuronal networks. J Comput Neurosci2001; 11: 111–119.
72.
BretteRRudolphMCarnevaleT, et al. Simulation of networks of spiking neurons: a review of tools and strategies. J Comput Neurosci2007; 23: 349–398.
73.
MorrisonADiesmannM. Maintaining causality in discrete time neuronal network simulations. In: MorrisonADiesmannM (eds) Lectures in supercomputational neurosciences. New York: Springer, 2007, pp. 267–278.
MarzoratiDFernándezJKofmanE. Efficient connection processing in equation–based object–oriented models. Appl Math Comput2022; 418: 126842.
76.
BraunRFritzsonD. Numerically robust co-simulation using transmission line modeling and the functional mock-up interface. Simulation2022; 98: 1057–1070.
77.
FlorosX. Exploiting model structure for efficient hybrid dynamical systems simulation. PhD Thesis, ETH Zurich, Zurich, 2014.
78.
GholizadehNHoodJMDougalRA. Evaluation of linear implicit quantized state system method for analyzing mission performance of power systems. J Defense Model Simul2023; 20: 159–170.
79.
MalikARoopP. A dynamic quantized state system execution framework for hybrid automata. Nonline Anal: Hybrid Syst2020; 36: 100870.
80.
ShahmohammadimehrjardiMWainerGWuM, et al. PID control using quantized state systems in RT-DEVS frameworks. In: 2023 Annual Modeling and Simulation Conference (ANNSIM), Hamilton, ON, Canada, 23–26 May 2023, pp. 171–183. New York: IEEE.
81.
Soto-FrancésVMSarabia-EscriváEJPinazo-OjerJM, et al. Exploring the use of traditional heat transfer functions for energy simulation of buildings using discrete events and quantized-state-based integration. J Build Perform Simul2020; 13: 247–263.
82.
LiPLiSYuH, et al. Quantized event-driven simulation for integrated energy systems with hybrid continuous-discrete dynamics. Appl Energ2022; 307: 118268.
83.
SanzVUrquiaA. Combining PDEVS and Modelica for describing agent-based models. Simulation2023; 99: 455–474.
