×

Accuracy evaluation of numerical methods used in state-of-the-art simulators for spiking neural networks. (English) Zbl 1446.92052

Summary: With the various simulators for spiking neural networks developed in recent years, a variety of numerical solution methods for the underlying differential equations are available. In this article, we introduce an approach to systematically assess the accuracy of these methods. In contrast to previous investigations, our approach focuses on a completely deterministic comparison and uses an analytically solved model as a reference. This enables the identification of typical sources of numerical inaccuracies in state-of-the-art simulation methods. In particular, with our approach we can separate the error of the numerical integration from the timing error of spike detection and propagation, the latter being prominent in simulations with fixed timestep. To verify the correctness of the testing procedure, we relate the numerical deviations to theoretical predictions for the employed numerical methods. Finally, we give an example of the influence of simulation artefacts on network behaviour and spike-timing-dependent plasticity (STDP), underlining the importance of spike-time accuracy for the simulation of STDP.

MSC:

92B20 Neural networks for/in biological studies, artificial life and related topics

References:

[1] Thompson, S.
[2] Song, S., Miller, K., & Abbott, L. (2000). Competitive Hebbian learning through spike-timing-dependent synaptic plasticity. Nature Neuroscience, 3(9), 919-926.
[3] Shelley, M., & Tao, L. (2001). Efficient and accurate time-stepping schemes for integrate-and-fire neuronal networks. Journal of Computational Neuroscience, 11, 111-119.
[4] Runge, C. (1895). Über die numerische Auflösung von Differentialgleichungen. Mathematische Annalen, XLVI, 167-178. · JFM 26.0341.01
[5] Rudolph, M., & Destexhe, A. (2006). How much can we trust neural simulation strategies? Neurocomputing, 70(2007), 1966-1969.
[6] Rotter, S., & Diesmann, M. (1999). Exact digital simulation of time-invariant linear systems with applications to neuronal modeling. Biological Cybernetics, 81, 381-402. · Zbl 0958.92004
[7] Rodgers, J. L., & Nicewander, W. A. (1988). Thirteen ways to look at the correlation coefficient. The American Statistician, 42, 59-66.
[8] Pfister, J. P., & Gerstner, W. (2006). Triplets of spikes in a model of spike timing-dependent plasticity. Journal of Neuroscience, 26(38), 9673-9682.
[9] Pecevski, D., Natschläger, T., & Schuch, K. (2009). PCSIM: A parallel simulation environment for neural circuits fully integrated with Python. Frontiers on Neuroinformatics, 3(11), 1-15. doi:10.3389/neuro.11.011.2009.
[10] Naud, R., Marcille, N., Clopath, C., & Gerstner, W. (2008). Firing patterns in the adaptive exponential integrate-and-fire model. Biological Cybernetics, 99, 335-347. · Zbl 1161.92012
[11] Morrison, A., Straube, S., Plesser, H., & Diesmann, M. (2007). Exact subthreshold integration with continuous spike times in discrete-time neural network simulations. Neural Computation, 19, 47-79. · Zbl 1116.92016
[12] Morrison, A., Mehring, C., Geisel, T., Aertsen, A., & Diesmann, M. (2005). Advancing the boundaries of high-connectivity network simulation with distributed computing. Neural Computation, 17, 1776-1801. · Zbl 1112.68494
[13] Morrison, A., Diesmann, M., & Gerstner, W. (2008). Phenomenological models of synaptic plasticity based on spike timing. Biological Cybernetics, 98, 459-478. · Zbl 1145.92306
[14] Mehring, C., Hehl, U., Kubo, M., Diesmann, M., & Aertsen, A. (2003). Activity dynamics and propagation of synchronous spiking in locally connected random networks. Biological Cybernetics, 88, 395-408. · Zbl 1083.92006
[15] Mayr, C., Partzsch, J., & Schüffny, R. (2010). Rate and pulse based plasticity governed by local synaptic state variables. Frontiers in Computational Neuroscience, 2, 1-28. doi:10.3389/fnsyn.2010.00033.
[16] Mattia, M., & Del Giudice, P. (2000). Efficient event-driven simulation of large networks of spiking neurons and dynamical synapses. Neural Computation, 12, 2305-2329.
[17] Masuda, N., & Kori, H. (2007). Formation of feedforward networks and frequency synchrony by spike-timing-dependent plasticity. Journal of Computational Neuroscience, 22, 327-345.
[18] Mangoldt, H. V., & Knopp, K. (1958). Einführung in die Höhere Mathematik, Bd. III. Stuttgart: Hirzel.
[19] Maass, W., Natschläger, T., & Markram, H. (2002). Real-time computing without stable states: A new framework for neural computation based on perturbations. Neural Computation, 14(11), 2531-2560. · Zbl 1057.68618
[20] Lundqvist, M., Rehn, M., Djurfeldt, M., & Lansner, A. (2006). Attractor dynamics in a modular network model of neocortex. Network: Computation in Neural Systems, 17(3), 253-276.
[21] Lax, P. D., & Richtmyer, R. D. (1956). Survey of the stability of linear finite difference equations. Communications on Pure and Applied Mathematics, 9, 267-293. · Zbl 0072.08903
[22] Kutta, M. (1901). Beitrag zur näherungsweisen Integration totaler Differentialgleichungen. Zeitschrift für Mathematik und Physik, 46, 435-452. · JFM 32.0316.02
[23] Kundert, K. S. (1995). The designer’s guide to Spice and Spectre. Norwell: Kluwer Academic. · Zbl 0834.94002
[24] Kumar, A., Schrader, S., Aertsen, A., & Rotter, S. (2008). The high-conductance state of cortical networks. Neural Computation, 20, 1-43. doi:10.1162/neco.2008.20.1.1. · Zbl 1149.92307
[25] Koch, C., & Segev, I. (1998). Methods in neuronal modeling: From ions to networks. Cambridge: MIT Press.
[26] Kahaner, D., Lawkins, W., & Thompson, S. (1989). On the use of rootfinding ODE software for the solution of a common problem in nonlinear dynamical systems. Journal of Computational and Applied Mathematics, 28, 219-230. · Zbl 0685.65060
[27] Jolivet, R., Schürmann, F., Berger, T., Naud, R., Gerstner, W., & Roth, A. (2008). The quantitative single-neuron modeling competition. Biological Cybernetics, 99, 417-426. · Zbl 1161.92009
[28] Hindmarsh, A. C., Brown, P. N., Grant, K. E., Lee, S. L., Serban, R., Shumaker, D. E., et al. (2005). SUNDIALS, suite of nonlinear and differential/algebraic equation solvers. ACM Transactions on Mathematical Software, 31, 363-396. · Zbl 1136.65329
[29] Hindmarsh, A. C. (1983). ODEPACK, a systematized collection of ODE solvers. IMACS Transactions on Scientific Computation, 1, 55-64.
[30] Hiebert, K. L., & Shampine, L. F. (1980). Implicitly defined output points for solutions of ODEs. Sandia Report SAND80-0180.
[31] Heun, K. (1900). Neue Methode zur approximativen Integration der Differentialgleichungen einer unabhängigen Variable. Zeitschrift für Mathematik und Physik, 45, 23-38. · JFM 31.0333.02
[32] Henrici, P. (1962). Discrete variable methods in ordinary differential equations. New York: Wiley. · Zbl 0112.34901
[33] Hairer, E., & Wanner, G. (2002). Solving ordinary differential equations II: Stiff and differential-algebraic problems. New York: Springer. · Zbl 0729.65051
[34] Hairer, E., Nørsett, S. P., & Wanner, G. (1993). Solving ordinary differential equations I: Nonstiff problems. New York: Springer. · Zbl 0789.65048
[35] Goodman, D., & Brette, R. (2009). The Brian simulator. Frontiers in Neuroscience, 3(2), 192-197.
[36] Gewaltig, M., & Diesmann, M. (2007). NEST. Scholarpedia, 2(4), 1430.
[37] Gerstner, W., & Kistler, W. (2002). Spiking neuron models: Single neurons, populations, plasticity. Cambridge: Cambridge University Press. · Zbl 1100.92501
[38] Gear, C. W. (1971). Numerical initial value problems in ordinary differential equations. Englewood Cliffs: Prentice-Hall. · Zbl 1145.65316
[39] Gear, C., Hsu, H., & Petzold, L. (1981). Differential-algebraic equations revisited. In Proceedings in numerical methods for solving stiff initial value problems. Oberwolfach.
[40] Davison, A., Brüderle, D., Eppler, J., Kremkow, J., Mueller, E., Pecevski, D., et al. (2009). PyNN: A common interface for neuronal network simulators. Frontiers in Neuroinformatics 2(11), 1-10. doi:10.3389/neuro.11.011.2008.
[41] Curtiss, C. F., & Hirschfelder, J. O. (1952). Integration of stiff equations. Proceedings of the National Academy of Sciences of the United States of America, 38(3), 235-243. · Zbl 0046.13602
[42] Crank, J., & Nicolson, P. (1947). A practical method for numerical evaluation of solutions of partial differential equations of the heat-conduction type. Advances in Computational Mathematics, 6(1), 207-226. · Zbl 0866.65054
[43] Carnevale, N., & Hines, M. (2006). The NEURON book. Cambridge: Cambridge University Press.
[44] Butera, R. J., & McCarthy, M. L. (2004). Analysis of real-time numerical integration methods applied to dynamic clamp experiments. Journal of Neural Engineering, 1, 187-194.
[45] Brunel, N. (2000). Dynamics of sparsely connected networks of excitatory and inhibitory spiking neurons. Journal of Computational Neuroscience, 8, 183-208. · Zbl 1036.92008
[46] Brown, P., Hindmarsh, A., & Petzold, L. (1998). Consistent initial condition calculation for differential-algebraic systems. SIAM Journal on Scientific Computing, 19(5), 1495-1512. · Zbl 0915.65079
[47] Brette, R., Rudolph, M., et al. (2007). Simulation of networks of spiking neurons: A review of tools and strategies. Journal of Computational Neuroscience, 23(3), 349-398.
[48] Brette, R. (2006). Exact simulation of integrate-and-fire models with synaptic conductances. Neural Computation, 18, 2004-2027. · Zbl 1121.92012
[49] Brenan, K. E., Campbell, S. L., & Petzold, L. R. (1989). Numerical solution of initial-value problems in differential-algebraic equations. Society for Industrial Mathematics. · Zbl 0699.65057
[50] Bhalla, U. S., Bilitcha, D. H., & Bowera, J. M. (1992). Rallpacks: A set of benchmarks for neuronal simulators. Trends in Neurosciences, 15, 453-458.
[51] Arnol’d, V. I. (1978). Ordinary differential equations. Cambridge: MIT Press. · Zbl 0956.34503
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.