Modelling and verification of weighted spiking neural systems

This paper presents spiking neural P systems with weighted synapses, a class of distributed parallel neural-like computing models, abstracted from the way in which the complex system of neurons processes information and communicates to ensure a proper functioning of the brain. Neurons communicate with each other through synapses endowed with an integer weight denoting the number of synapses for each pair of connected neurons. We translate the spiking neural P systems with weighted synapses into a class of timed safety automata, proving that such a translation is formally correct. This relationship allows the verification of several kinds of properties, both qualitative and quantitative, using tools and techniques developed for timed automata.

[1]  Wang Yi,et al.  Timed Automata: Semantics, Algorithms and Tools , 2003, Lectures on Concurrency and Petri Nets.

[2]  Oscar H. Ibarra,et al.  On spiking neural P systems , 2006, Natural Computing.

[3]  Gexiang Zhang,et al.  Weighted Fuzzy Reasoning Spiking Neural P Systems: Application to Fault Diagnosis in Traction Power Supply Systems of High-Speed Railways , 2015 .

[4]  Henry N. Adorna,et al.  A Spiking Neural P System Simulator Based on CUDA , 2011, Int. Conf. on Membrane Computing.

[5]  Gabriel Ciobanu,et al.  Simple, Enhanced and Mutual Mobile Membranes , 2009, Trans. Comp. Sys. Biology.

[6]  Xiangxiang Zeng,et al.  Spiking Neural P Systems with Weighted Synapses , 2011, Neural Processing Letters.

[7]  Gabriel Ciobanu,et al.  Properties of enhanced mobile membranes via coloured Petri nets , 2012, Inf. Process. Lett..

[8]  Gheorghe Paun.  Spiking Neural P Systems with Astrocyte-Like Control , 2007, J. Univers. Comput. Sci..

[9]  Francisca Santana Robles,et al.  Coloured Petri Nets Basic Concepts, Analysis Methods and Practical Use , 2015 .

[10]  Gabriel Ciobanu,et al.  On the relationship between membranes and ambients , 2008, Biosyst..

[11]  Davide Sangiorgi,et al.  Communicating and Mobile Systems: the π-calculus, , 2000 .

[12]  Gabriel Ciobanu,et al.  P transducers , 2009, New Generation Computing.

[13]  Cosimo Laneve,et al.  Formal molecular biology , 2004, Theor. Comput. Sci..

[14]  Mihai Ionescu,et al.  Some Applications of Spiking Neural P Systems , 2008, Comput. Informatics.

[15]  Luca Cardelli,et al.  Brane Calculi , 2004, CMSB.

[16]  Gabriel Ciobanu,et al.  Verification of membrane systems with delays via Petri nets with delays , 2015, Theor. Comput. Sci..

[17]  Alfonso Rodríguez-Patón,et al.  Tissue P systems , 2003, Theor. Comput. Sci..

[18]  Gabriel Ciobanu,et al.  Describing the Immune System Using Enhanced Mobile Membranes , 2007, FBTC@CONCUR.

[19]  Howard Bowman,et al.  Analysing neurobiological models using communicating automata , 2014, Formal Aspects of Computing.

[20]  Gabriel Ciobanu,et al.  Enhanced Mobile Membranes: Computability Results , 2010, Theory of Computing Systems.

[21]  Gabriel Ciobanu,et al.  A Web-Based P Systems Simulator and Its Parallelization , 2005, UC.

[22]  Karlis Cerans,et al.  Decidability of Bisimulation Equivalences for Parallel Timer Processes , 1992, CAV.

[23]  Gheorghe Paun,et al.  Computing with Membranes , 2000, J. Comput. Syst. Sci..

[24]  A. Föhrenbach,et al.  SIMPLE++ , 2000, OR Spectr..

[25]  Luca Cardelli,et al.  BioAmbients: an abstraction for biological compartments , 2004, Theor. Comput. Sci..

[26]  Robin Milner,et al.  Communicating and mobile systems - the Pi-calculus , 1999 .

[27]  Mario J. Pérez-Jiménez,et al.  A P-Lingua Based Simulator for Spiking Neural P Systems , 2011, Int. Conf. on Membrane Computing.

[28]  Kurt Jensen,et al.  Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods , 1992 .

[29]  Kim G. Larsen,et al.  A Tutorial on Uppaal , 2004, SFM.

[30]  Henry N. Adorna,et al.  An Improved GPU Simulator for Spiking Neural P Systems , 2011, 2011 Sixth International Conference on Bio-Inspired Computing: Theories and Applications.

[31]  Kurt Jensen,et al.  Coloured Petri Nets , 1997, Monographs in Theoretical Computer Science An EATCS Series.

[32]  Gabriel Ciobanu,et al.  Translating Mobile Ambients into P Systems , 2007, Electron. Notes Theor. Comput. Sci..

[33]  Gheorghe Paun,et al.  Spiking Neural P Systems with Anti-Spikes , 2009, Int. J. Comput. Commun. Control.

[34]  Giancarlo Mauri,et al.  On the Computational Power of Spiking Neural P Systems , 2007, Int. J. Unconv. Comput..