Spiking neural P systems: matrix representation and formal verification-Reference-Cited by-同舟云学术

Spiking neural P systems: matrix representation and formal verification

Published:2021-04-27 Issue:2 Volume:3 Page:133-148
ISSN:2523-8906
Container-title:Journal of Membrane Computing
language:en
Short-container-title:J Membr Comput

Author:

Gheorghe Marian,Lefticaru Raluca^ORCID,Konur Savas,Niculescu Ionuţ Mihai,Adorna Henry N.

Abstract

AbstractStructural and behavioural properties of models are very important in development of complex systems and applications. In this paper, we investigate such properties for some classes of SN P systems. First, a class of SN P systems associated to a set of routing problems are investigated through their matrix representation. This allows to make certain connections amongst some of these problems. Secondly, the behavioural properties of these SN P systems are formally verified through a natural and direct mapping of these models into kP systems which are equipped with adequate formal verification methods and tools. Some examples are used to prove the effectiveness of the verification approach.

Funder

Engineering and Physical Sciences Research Council

DOST-ERDT

Publisher

Springer Science and Business Media LLC

Link

https://link.springer.com/content/pdf/10.1007/s41965-021-00075-1.pdf

Reference55 articles.

1. Abbink, H., et al. (2004). Automated support for adaptive incident management. In: Proc. of the 1st Int. workshop on information systems for crisis response and management, ISCRAM’04. Brussels (pp. 153–170).

2. Adorna, H. N. (2019). Matrix representations of spiking neural P systems: Revisited. In: G. Păun (Ed.) Proceedings of the 20th Int. conference on membrane computing, CMC20, August 5–8, 2019, Curtea de Argeş, Romania, Editura BIBLIOSTAR, Râmnicu Vâlcea, 2019 (pp. 227–247).

3. Agrigoroaiei, O., & Ciobanu, G. (2009). Dual P systems. In: Corne, D. et al (Ed.) 9th Worskhop on membrane computing, LNCS 5391 (pp. 955–107).

4. Agrigoroaiei, O., & Ciobanu, G. (2010). Reversing computation in membrane systems. Journal of Logic and Algebraic Programming, 79(3–5), 278–288.

5. Alhazov, A., & Miorita, K. (2010). On reversibility and determinism in P systems. In: G. Păun et al. (Ed.) 10th Worskhop on membrane computing, LNCS 5957 (pp. 158–158).

Cited by 14 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Application of spiking neural P systems with autapses in coordinated control of multi-microgrid;Journal of Membrane Computing;2024-07-18

2. Thinking about spiking neural P systems: some theories, tools, and research topics;Journal of Membrane Computing;2024-04-29

3. Languages generated by numerical P systems with thresholds;Theoretical Computer Science;2024-03

4. Implementing perceptrons by means of water-based computing;Journal of Membrane Computing;2024-02-27

5. Matrix Representation of Virus Machines;Lecture Notes in Computer Science;2024