@article{bergonzi_quantization-based_2024,

title = {Quantization-based simulation of spiking neurons: theoretical properties and performance analysis},

author = {Mariana Bergonzi and Joaquín Fernández and Rodrigo Castro and Alexandre Muzy and Ernesto Kofman},

url = {https://doi.org/10.1080/17477778.2023.2284143},

doi = {10.1080/17477778.2023.2284143},

issn = {1747-7778},

year  = {2024},

date = {2024-01-01},

urldate = {2025-07-01},

journal = {Journal of Simulation},

volume = {18},

number = {5},

pages = {789–812},

abstract = {In this work we present an exhaustive analysis of the use of Quantized State Systems (QSS) algorithms for the discrete event simulation of Leaky Integrate and Fire models of spiking neurons. Making use of some properties of these algorithms, we first derive theoretical error bounds for the sub-threshold dynamics as well as estimates of the computational costs as a function of the accuracy settings. Then, we corroborate those results on different simulation experiments, where we also study how these algorithms scale with the size of the network and its connectivity. The results obtained show that the QSS algorithms, without any type of optimisation or specialisation, obtain accurate results with low computational costs even in large networks with a high level of connectivity.},

note = {Publisher: Taylor & Francis 

_eprint: https://doi.org/10.1080/17477778.2023.2284143},

keywords = {discontinuity handling, event-driven simulation, Hybrid systems, Quantized State Systems, spiking neural networks},

pubstate = {published},

tppubtype = {article}

}

@article{castro_integrative_2015,

title = {An integrative approach for hybrid modeling, simulation and control of data networks based on the DEVS formalism},

author = {Rodrigo Castro and Ernesto Kofman},

doi = {10.1016/B978-0-12-800887-4.00018-3},

year  = {2015},

date = {2015-01-01},

journal = {Modeling and Simulation of Computer Networks and Systems: Methodologies and Applications},

pages = {505–551},

abstract = {In this chapter we present recently developed theoretical and practical tools for the modeling and simulation (M&S) of hybrid systems with a focus on data networks. An integrative methodology based on the Discrete EVent Systems specification (DEVS) permits the M&S of complex systems by choosing the most convenient representation paradigm for each subsystem, allowing discrete time, discrete event and continuous models to coexist. In particular, we focus on designing and studying Quality of Service (QoS) controllers for data networks at diverse granularity levels, enabling the adoption of control theory, and aiming at the final implementation of algorithms in real-time hardware.},

note = {ISBN: 9780128011584},

keywords = {DEVS simulation, Hybrid modeling, Network control, Quantized State Systems},

pubstate = {published},

tppubtype = {article}

}