Spiking neural P systems: matrix representation and formal verification

被引：0
|
作者：
Marian Gheorghe
Raluca Lefticaru
Savas Konur
Ionuţ Mihai Niculescu
Henry N. Adorna
机构：
[1] University of Bradford,Department of Computer Science
[2] University of Piteşti,Faculty of Science
[3] University of Philippines Diliman,Department of Computer Science (Algorithms and Complexity)
来源：
Journal of Membrane Computing | 2021年 / 3卷
关键词：
Membrane computing; Spiking neural P systems; Petri nets; Kernel P systems; k;  ; Formal verification;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Structural 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.
引用
收藏
页码：133 / 148
页数：15
相关论文
共 50 条
  • [41] Neuroevolution of Spiking Neural P Systems
    Custode, Leonardo Lucio
    Mo, Hyunho
    Iacca, Giovanni
    APPLICATIONS OF EVOLUTIONARY COMPUTATION (EVOAPPLICATIONS 2022), 2022, : 435 - 451
  • [42] Spiking Neural P Systems with Weights
    Wang, Jun
    Hoogeboom, Hendrik Jan
    Pan, Linqiang
    Paun, Gheorghe
    Perez-Jimenez, Mario J.
    NEURAL COMPUTATION, 2010, 22 (10) : 2615 - 2646
  • [43] Relating Transition P Systems and Spiking Neural P Systems
    Juayong, Richelle Ann B.
    Hernandez, Nestine Hope S.
    Cabarle, Francis George C.
    Adorna, Henry N.
    UNCONVENTIONAL COMPUTATION AND NATURAL COMPUTATION, 2013, 7956 : 259 - 260
  • [44] Formal Verification and Testing Based on P Systems
    Gheorghe, Marian
    Ipate, Florentin
    Dragomir, Ciprian
    MEMBRANE COMPUTING, 2010, 5957 : 54 - +
  • [45] Neural Networks in Imandra: Matrix Representation as a Verification Choice
    Desmartin, Remi
    Passmore, Grant
    Kommendentskaya, Ekaterina
    SOFTWARE VERIFICATION AND FORMAL METHODS FOR ML-ENABLED AUTONOMOUS SYSTEMS, FOMLAS 2022, NSV 2022, 2022, 13466 : 78 - 95
  • [46] FORMAL VERIFICATION OF P SYSTEMS USING SPIN
    Ipate, Florentin
    Lefticaru, Raluca
    Tudose, Cristina
    INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2011, 22 (01) : 133 - 142
  • [47] An Integrated Approach to P Systems Formal Verification
    Gheorghe, Marian
    Ipate, Florentin
    Lefticaru, Raluca
    Dragomir, Ciprian
    MEMBRANE COMPUTING, 2010, 6501 : 226 - +
  • [48] SOME APPLICATIONS OF SPIKING NEURAL P SYSTEMS
    Ionescu, Mihai
    Sburlan, Dragos
    COMPUTING AND INFORMATICS, 2008, 27 : 515 - 528
  • [49] Compositional semantics of spiking neural P systems
    Barbuti, Roberto
    Maggiolo-Schettini, Andrea
    Milazzo, Paolo
    Tini, Simone
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2010, 79 (06): : 304 - 316
  • [50] Spiking Neural P Systems with Weighted Synapses
    Pan, Linqiang
    Zeng, Xiangxiang
    Zhang, Xingyi
    Jiang, Yun
    NEURAL PROCESSING LETTERS, 2012, 35 (01) : 13 - 27
12345