Quantization-based simulation of spiking neurons: theoretical properties and performance analysis

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-thres...

Full description

Bibliographic Details
Authors: Bergonzi, Mariana, Fernandez, Joaquin, Castro, Rodrigo Daniel, Muzy, Alexandre, Kofman, Ernesto Javier
Format: article
Status:Published version
Publication Date:2023
Country:Argentina
Institution:Consejo Nacional de Investigaciones Científicas y Técnicas
Repository:CONICET Digital (CONICET)
Language:English
OAI Identifier:oai:ri.conicet.gov.ar:11336/231433
Online Access:http://hdl.handle.net/11336/231433
Access Level:Open access
Keyword:DISCONTINUITY HANDLING
EVENT-DRIVEN SIMULATION
HYBRID SYSTEMS
QUANTIZED STATE SYSTEMS
SPIKING NEURAL NETWORKS
https://purl.org/becyt/ford/1.2
https://purl.org/becyt/ford/1
Description
Summary: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.