A formal framework for spiking neural P systems - Université d'Évry
Journal Articles Journal of Membrane Computing Year : 2020

A formal framework for spiking neural P systems

Rudolf Freund
Artiom Alhazov
Linqiang Pan

Abstract

Spiking neural P systems are a class of distributed parallel computing models, inspired by the way in which neurons process information and communicate with each other by means of spikes. In 2007, Freund and Verlan developed a formal framework for P systems to capture most of the essential features of P systems and to define their functioning in a formal way. In this work, we present an extension of the formal framework related to spiking neural P systems by considering the applicability of each rule to be controlled by specific conditions on the current contents of the cells. The main objective of this extension is to also capture spiking neural P systems in the formal framework. Another goal of our extension is to incorporate the notions of input and output. Finally, we also show that in the case of spiking neural P systems, the rules have a rather simple form and in that way spiking neural P systems correspond to vector addition systems where the application of rules is controlled by semi-linear sets.
Fichier principal
Vignette du fichier
SpikingFF.pdf (280.82 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Licence
Copyright

Dates and versions

hal-04032280 , version 1 (25-04-2023)

Licence

Copyright

Identifiers

Cite

Sergey Verlan, Rudolf Freund, Artiom Alhazov, Sergiu Ivanov, Linqiang Pan. A formal framework for spiking neural P systems. Journal of Membrane Computing, 2020, 2 (4), pp.355-368. ⟨10.1007/s41965-020-00050-2⟩. ⟨hal-04032280⟩
32 View
61 Download

Altmetric

Share

More