A formal framework for spiking neural P systems - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Journal of Membrane Computing Année : 2020

A formal framework for spiking neural P systems

Rudolf Freund
Artiom Alhazov
Linqiang Pan

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Licence : Copyright (Tous droits réservés)

Dates et versions

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

Identifiants

Citer

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⟩
14 Consultations
23 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More