research-article

A Survey of Nature-Inspired Computing: Membrane Computing

Authors:

David Orellana-Martín,

Mario J. Pérez-Jiménez,

Ignacio PéRez-HurtadoAuthors Info & Claims

ACM Computing Surveys (CSUR), Volume 54, Issue 1

Article No.: 22, Pages 1 - 31

https://doi.org/10.1145/3431234

Published: 11 February 2021 Publication History

Abstract

Nature-inspired computing is a type of human-designed computing motivated by nature, which is based on the employ of paradigms, mechanisms, and principles underlying natural systems. In this article, a versatile and vigorous bio-inspired branch of natural computing, named membrane computing is discussed. This computing paradigm is aroused by the internal membrane function and the structure of biological cells. We first introduce some basic concepts and formalisms of membrane computing, and then some basic types or variants of P systems (also named membrane systems) are presented. The state-of-the-art computability theory and a pioneering computational complexity theory are presented with P system frameworks and numerous solutions to hard computational problems (especially NP-complete problems) via P systems with membrane division are reported. Finally, a number of applications and open problems of P systems are briefly described.

References

[1]

Leonard M. Adleman. 1994. Molecular computation of solutions to combinatorial problems. Science 266, 5187 (1994), 1021--1024.

Digital Library

[2]

Artiom Alhazov, Rudolf Freund, Alberto Leporati, Marion Oswald, and Claudio Zandron. 2006. (Tissue) P systems with unit rules and energy assigned to membranes. Fundamenta Informaticae 74, 4 (2006), 391--408.

Digital Library

[3]

Artiom Alhazov, Rudolf Freund, and Marion Oswald. 2005. Symbol/membrane complexity of P systems with symport/antiport rules. In Lecture Notes in Computer Science, Vol. 3850 (2005), 96--113.

Digital Library

[4]

Artiom Alhazov and Tseren-Onolt Ishdorj. 2004. Membrane operations in P systems with active membranes. In Proceedings of the 2nd Brainstorming Week on Membrane Computing, Sevilla, ETS de Ingeniería Informática, 2-7 de Febrero, 2004 37-44. (2004).

[5]

Artiom Alhazov, Carlos Martín-Vide, and Linqiang Pan. 2003. Solving a PSPACE-complete problem by recognizing P systems with restricted active membranes. Fundamenta Informaticae 58 (11 2003), 67--77.

[6]

Artiom Alhazov, Carlos Martín-Vide, and Linqiang Pan. 2004. Solving Graph Problems by P Systems with Restricted Elementary Active Membranes. Springer Berlin, Berlin, 1--22.

[7]

Artiom Alhazov and Linqiang Pan. 2004. Polarizationless P systems with active membranes. Grammars 7, 1 (2004), 141--159.

[8]

Artiom Alhazov, Linqiang Pan, and Gheorghe Păun. 2004. Trading polarizations for labels in P systems with active membranes. Acta Informatica 41, 2--3 (2004), 111--144.

Digital Library

[9]

Artiom Alhazov and Mario J. Pérez-Jiménez. 2007. Uniform solution of QSAT using polarizationless active membranes. In Machines, Computations, and Universality, Jérôme Durand-Lose and Maurice Margenstern (Eds.). Springer Berlin, Berlin, 122--133.

[10]

Artiom Alhazov and Yurii Rogozhin. 2006. Towards a characterization of P systems with minimal symport/antiport and two membranes. In Lecture Notes in Computer Science, vol. 4361, Springer, (2006), 135--153.

[11]

Francesco Bernardini and Marian Gheorghe. 2005. Cell communication in tissue P systems: Universality results. Soft Computing 9, 9 (2005), 640--649.

Digital Library

[12]

Francesco Bernardini and Andrei Păun. 2003. Universality of minimal symport/antiport: Five membranes suffice. In Lecture Notes in Computer Science, vol. 2933. Springer, (2003), 43--54.

[13]

Francesco Bernardini, Francisco J. Romero-Campero, Marian Gheorghe, and Mario J. Pérez-Jiménez. 2006. A modeling approach based on P systems with bounded parallelism. In Lecture Notes in Computer Science, vol. 4361. Springer, (2006), 49--65.

[14]

Cătălin Buiu and Andrei George Florea. 2019. Membrane computing models and robot controller design, current results and challenges. Journal of Membrane Computing 1, 4 (2019), 262--269.

[15]

Catalin Buiu, Cristian Vasile, and Octavian Arsene. 2012. Development of membrane controllers for mobile robots. Information Sciences 187 (2012), 33--51. Issue 1.

Digital Library

[16]

Francis George C. Cabarle, Henry N. Adorna, Min Jiang, and Xiangxiang Zeng. 2017. Spiking neural P systems with scheduled synapses. IEEE Transactions on Nanobioscience 16, 8 (2017), 792--801.

[17]

Francis George C. Cabarle, Henry N. Adorna, Mario J. Pérez-Jiménez, and Tao Song. 2015. Spiking neural P systems with structural plasticity. Neural Computing and Applications 26, 8 (2015), 1905--1917.

Digital Library

[18]

Leandro Nunes Castro, Leandro Nunes De Castro, and Jonathan Timmis. 2002. Artificial Immune Systems: A New Computational Intelligence Approach. Springer Science 8 Business Media.

[19]

Matteo Cavaliere. 2002. Evolution--communication P systems. In Lecture Notes in Computer Science, vol. 2597. Springer (2002), 134--145.

[20]

Matteo Cavaliere, Oscar H. Ibarra, Gheorghe Păun, Omer Egecioglu, Mihai Ionescu, and Sara Woodworth. 2009. Asynchronous spiking neural P systems. Theoretical Computer Science 410, 24--25 (2009), 2352--2364.

Digital Library

[21]

Rodica Ceterchi, Radu Gramatovici, Nataša Jonoska, and K. G. Subramanian. 2003. Tissue-like P systems with active membranes for picture generation. Fundamenta Informaticae 56, 4 (2003), 311--328.

Digital Library

[22]

Haiming Chen, Rudolf Freund, Mihai Ionescu, Gheorghe Păun, and Mario J. Pérez-Jiménez. 2007. On string languages generated by spiking neural P systems. Fundamenta Informaticae 75, 1--4 (2007), 141--162.

[23]

Haiming Chen, Mihai Ionescu, Tseren-Onolt Ishdorj, Andrei Păun, Gheorghe Păun, and Mario J. Pérez-Jiménez. 2008. Spiking neural P systems with extended rules: Universality and languages. Natural Computing 7, 2 (2008), 147--166.

Digital Library

[24]

A. Hepzibah Christinal, Daniel Díaz-Pernil, and T. Mathu. 2018. A uniform family of tissue P systems with protein on cells solving 3-coloring in linear time. Natural Computing 17, 2 (2018), 311--319.

Digital Library

[25]

Gabriel Ciobanu, Linqiang Pan, Gheorghe Păun, and Mario J. Pérez-Jiménez. 2007. P systems with minimal parallelism. Theoretical Computer Science 378, 1 (2007), 117--130.

Digital Library

[26]

Erzsébet Csuhaj-Varjú and Sergey Verlan. 2011. On generalized communicating P systems with minimal interaction rules. Theoretical Computer Science 412, 1--2 (2011), 124--135.

Digital Library

[27]

Erzsébet Csuhaj-Varjú and Sergey Verlan. 2017. Computationally complete generalized communicating P systems with three cells. In Lecture Notes in Computer Science, vol. 10725. Springer (2017), 118--128.

[28]

Daniel Díaz-Pernil, Miguel A. Gutiérrez-Naranjo, Mario J. Pérez-Jiménez, and Agustín Riscos-Núñez. 2008. A uniform family of tissue P systems with cell division solving 3-COL in a linear time. Theoretical Computer Science 404, 1--2 (2008), 76--87.

Digital Library

[29]

Daniel Díaz-Pernil, Mario J. Pérez Jiménez, Agustín Riscos Núñez, and Álvaro Romero-Jiménez. 2008. Computational efficiency of cellular division in tissue-like membrane systems. Romanian Journal of Information Science and Technology 11, 3 (2008), 229--241.

[30]

Daniel Díaz-Pernil, Mario J. Pérez-Jiménez, and Álvaro Romero-Jiménez. 2009. Efficient simulation of tissue-like P systems by transition cell-like P systems. Natural Computing 8, 4 (2009), 797--806.

Digital Library

[31]

Andrei George Florea and Cătălin Buiu. 2017. Membrane Computing for Distributed Control of Robotic Swarms: Emerging Research and Opportunities. Pennsylvania: IGI Global.

[32]

Andrei George Florea and Cătălin Buiu. 2017. Modelling multi-robot interactions using a generic controller based on numerical P systems and ROS. In IEEE Proceedings of 2017 9th International Conference on Electronics, Computers and Artificial Intelligence (ECAI). IEEE Press, 1--6.

[33]

Andrei George Florea and Cătălin Buiu. 2018. A distributed approach to the control of multi-robot systems using XP colonies. Integrated Computer-Aided Engineering 25 (2018), 15--29. Issue 1.

[34]

David B. Fogel. 2006. Evolutionary Computation: Toward a New Philosophy of Machine Intelligence. Vol. 1. John Wiley 8 Sons.

[35]

Rudolf Freund, Lila Kari, Marion Oswald, and Petr Sosík. 2005. Computationally universal P systems without priorities: Two catalysts are sufficient. Theoretical Computer Science 330, 2 (2005), 251--266.

Digital Library

[36]

Rudolf Freund and Marion Oswald. 2002. P systems with activated/prohibited membrane channels. In Lecture Notes in Computer Science, vol. 2597 (2002). Springer, 261--269.

[37]

Rudolf Freund and Andrei Păun. 2002. Membrane systems with symport/antiport rules: Universality results. In Lecture Notes in Computer Science, vol. 2597 (2002). Springer, 270--287.

[38]

Rudolf Freund and Andrei Păun. 2005. P systems with active membranes and without polarizations. Soft Computing 9, 9 (2005), 657--663.

Digital Library

[39]

Rudolf Freund, Gheorghe Păun, and Mario J. Pérez-Jiménez. 2005. Tissue P systems with channel states. Theoretical Computer Science 330, 1 (2005), 101--116.

Digital Library

[40]

Pierluigi Frisco, Gordon Govan, and Alberto Leporati. 2012. Asynchronous P systems with active membranes. Theoretical Computer Science 429 (2012), 74--86.

Digital Library

[41]

Pierluigi Frisco and Hendrik Jan Hoogeboom. 2002. Simulating counter automata by P systems with symport/antiport. In Lecture Notes in Computer Science, vol. 2597 (2002). Springer, 288--301.

[42]

Michael R. Garey and David S. Johnson. 1979. Computers and Intractability. A Guide to the Theory of NP-Completeness. W.H. Freeman and Company.

Digital Library

[43]

Rosa Gutiérrez-Escudero, Mario J. Pérez-Jiménez, and Miquel Rius-Font. 2010. Characterizing tractability by tissue-like P systems. In Lecture Notes in Computer Science, vol. 5957 (2010). Springer, 289--300.

[44]

Miguel Gutiérrez-Naranjo, Mario J. Pérez-Jiménez, and Agustín Riscos-Núñez. 2005. A fast P system for finding a balanced 2-partition. Soft Computing 9 (2005), 673--678.

Digital Library

[45]

Miguel A. Gutiérrez-Naranjo, Mario J. Pérez-Jiménez, Agustín Riscos-Núñez, and Francisco J. Romero-Campero. 2006. On the power of dissolution in P systems with active membranes. In Lecture Notes in Computer Science, vol. 3850 (2006). Springer, 224--240.

[46]

Miguel A. Gutiérrez-Naranjo, Mario J. Pérez-Jiménez, Agustín Riscos Núñez, and Francisco J. Romero-Campero. 2007. Characterizing tractability by cell-like membrane systems (Formal models, languages and applications), M. Mukund, K. G. Subramanian, and K. Rangarajan (Eds.). World Scientific, 137--154.

[47]

Yangyang He, Tao Wang, Kang Huang, G. Zhang, and Mario J. Pérez-Jiménez. 2015. Fault diagnosis of metro traction power systems using a modified fuzzy reasoning spiking neural P system. Romanian Journal of Information Science and Technology 18, 3 (2015), 256--272.

[48]

Oscar H. Ibarra and Hsu-Chun Yen. 2006. Deterministic catalytic systems are not universal. Theoretical Computer Science 363, 2 (2006), 149--161.

Digital Library

[49]

Mihai Ionescu, Gheorghe Păun, and Takashi Yokomori. 2006. Spiking neural P systems. Fundamenta Informaticae 71, 2, 3 (2006), 279--308.

[50]

Tseren-Onolt Ishdorj and Mihai Ionescu. 2004. Replicative--distribution rules in P systems with active membranes. In Lecture Notes in Computer Science, vol. 3407 (2004). Springer, 68--83.

[51]

Richelle Ann B. Juayong and Henry N. Adorna. 2015. Relating computations in non-cooperative transition P systems and evolution-communication P systems with energy. Fundamenta Informaticae 136, 3 (2015), 209--217.

Digital Library

[52]

Richelle Ann B. Juayong and Henry N. Adorna. 2018. On simulating cooperative transition P systems in evolution--communication P systems with energy. Natural Computing 17, 2 (2018), 333--343.

Digital Library

[53]

Jozef Kelemen, Alica Kelemenová, and Gheorghe Păun. 2004. Preview of P colonies: A biochemically inspired computing model. In Workshop and Tutorial Proceedings of the 9th International Conference on the Simulation and Synthesis of Living Systems (Alife IX). Boston, Massachusetts, 82--86.

[54]

James Kennedy. 2006. Swarm intelligence. In Handbook of Nature-Inspired and Innovative Computing. Springer, 187--219.

[55]

Shankara Narayanan Krishna. 2007. On the computational power of flip-flop proteins on membranes. In Lecture Notes in Computer Science, vol. 4497 (2007), 695--704.

Digital Library

[56]

Shankara Narayanan Krishna, Marian Gheorghe, Florentin Ipate, Erzsébet Csuhaj-Varjú, and Rodica Ceterchi. 2017. Further results on generalised communicating P systems. Theoretical Computer Science 701 (2017), 146--160.

Digital Library

[57]

Shankara Narayanan Krishna and Andrei Păun. 2004. Results on catalytic and evolution-communication P systems. New Generation Computing 22, 4 (2004), 377--394.

Digital Library

[58]

Shankara Narayanan Krishna and Rama Raghavan. 1999. A variant of P systems with active membranes: Solving NP-complete problems. Romanian Journal of Information Science and Technology 2, 4 (1999), 305--394.

[59]

Christopher G. Langton. 1997. Artificial Life: An Overview. MIT Press.

[60]

Liucheng Liu, Wenmei Yi, Qian Yang, Hong Peng, and Jun Wang. 2019. Numerical P systems with Boolean condition. Theoretical Computer Science 785 (2019), 140--149.

Digital Library

[61]

Carlos Martín-Vide, Gheorghe Păun, Juan Pazos, and Alfonso Rodríguez-Patón. 2003. Tissue P systems. Theoretical Computer Science 296, 2 (2003), 295--326.

Digital Library

[62]

Madhu Mutyam and Kamala Krithivasan. 2001. P systems with membrane creation: Universality and efficiency. In Lecture Notes in Computer Science, vol. 2055 (2001), Springer, 276--287.

[63]

Murphy Niall and Woods Damien. 2014. Uniformity is weaker than semi-uniformity for some membrane systems. Fundamenta Informaticae 134, 1--2 (2014), 129--152.

[64]

Michael A. Nielsen and Isaac Chuang. 2010. Quantum Computation and Quantum Information. Cambridge University Press.

[65]

Linqiang Pan, Gheorghe Păun, and Bosheng Song. 2016. Flat maximal parallelism in P systems with promoters. Theoretical Computer Science 623 (2016), 83--91.

Digital Library

[66]

Linqiang Pan, Gheorghe Păun, Gexiang Zhang, and Ferrante Neri. 2017. Spiking neural P systems with communication on request. International Journal of Neural Systems 27, 8 (2017), 1--13.

[67]

Linqiang Pan and Mario J. Pérez-Jiménez. 2010. Computational complexity of tissue-like P systems. Journal of Complexity 26, 3 (2010), 296--315.

Digital Library

[68]

Linqiang Pan, Bosheng Song, Luis Valencia-Cabrera, and Mario J. Pérez-Jiménez. 2018. The computational complexity of tissue P systems with evolutional symport/antiport rules. Complexity 2018 (2018).

[69]

Linqiang Pan, Jun Wang, and Hendrik Jan Hoogeboom. 2012. Spiking neural P systems with astrocytes. Neural Computation 24, 3 (2012), 805--825.

Digital Library

[70]

Linqiang Pan, Yanfeng Wang, Suxia Jiang, and Bosheng Song. 2017. Flat maximal parallelism in tissue P systems with promoters. Romanian Journal of Information Science and Technology 20, 1 (2017), 42--56.

[71]

Linqiang Pan, Zhiqiang Zhang, Tingfang Wu, and Jinbang Xu. 2017. Numerical P systems with production thresholds. Theoretical Computer Science 673 (2017), 30--41.

[72]

Andrei Păun and Gheorghe Păun. 2002. The power of communication: P systems with symport/antiport. New Generation Comput. 20, 3 (2002), 295--306.

Digital Library

[73]

Andrei Păun, Gheorghe Păun, and Grzegorz Rozenberg. 2002. Computing by communication in networks of membranes. International Journal of Foundations of Computer Science 13, 6 (2002), 779--798.

[74]

Andrei Păun, Mihaela Păun, Alfonso Rodríguez-Patón, and Manuela Sidoroff. 2011. P systems with proteins on membranes: A survey. International Journal of Foundations of Computer Science 22, 1 (2011), 39--53.

[75]

Andrei Păun and Bianca Popa. 2006. P systems with proteins on membranes. Fundamenta Informaticae 72, 4 (2006), 467--483.

Digital Library

[76]

Andrei Păun and Bianca Popa. 2006. P systems with proteins on membranes and membrane division. In Lecture Notes in Computer Science, vol. 4036 (2006). Springer, 292--303.

[77]

Andrei Păun and Alfonso Rodríguez-Patón. 2007. On flip-flop membrane systems with proteins. In Lecture Notes in Computer Science, vol. 4860 (2007). Springer, 414--427.

[78]

Gheorghe Păun. 2000. Computing with membranes. J. Comput. System Sci. 61, 1 (2000), 108--143.

Digital Library

[79]

Gheorghe Păun. 2001. P systems with active membranes: Attacking NP complete problems. Journal of Automata, Languages and Combinatorics 6, 1 (2001), 75--90.

Digital Library

[80]

Gheorghe Păun. 2002. Membrane Computing. An Introduction. Springer-Verlag.

[81]

Gheorghe Păun and Radu Păun. 2006. Membrane computing and economics: Numerical P systems. Fundamenta Informaticae 73, 1, 2 (2006), 213--227.

[82]

Gheorghe Păun, Mario J. Pérez-Jiménez, and Agustín Riscos-Núñez. 2008. Tissue P systems with cell division. International Journal of Computers Communications 8 Control 3, 3 (2008), 295--303.

[83]

Gheorghe Păun, Mario J. Pérez-Jiménez, and Grzegorz Rozenberg. 2006. Spike trains in spiking neural P systems. International Journal of Foundations of Computer Science 17, 4 (2006), 975--1002.

[84]

Gheorghe Păun, Grzegorz Rozenberg, and Arto Salomaa. 2010. The Oxford Handbook of Membrane Computing. Oxford University Press.

[85]

Ana Pavel, Octavian Arsene, and Catalin Buiu. 2010. Enzymatic numerical P systems-a new class of membrane computing systems. In 2010 IEEE 5th International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA 2010). IEEE, Liverpool, United Kingdom, 1331--1336.

[86]

Hong Peng, Tingting Bao, Xiaohui Luo, Jun Wang, Xiaoxiao Song, Agustín Riscos-Núñez, and Mario J. Pérez-Jiménez. 2020. Dendrite P systems. Neural Networks 127 (2020), 110--120.

[87]

Hong Peng and Jun Wang. 2019. Coupled neural P systems. IEEE Transactions on Neural Networks and Learning Systems 30, 6 (2019), 1672--1682.

[88]

Hong Peng, Jun Wang, Jun Ming, Peng Shi, Mario J. Pérez-Jiménez, Wenping Yu, and Chengyu Tao. 2017. Fault diagnosis of power systems using intuitionistic fuzzy spiking neural P systems. IEEE Transactions on Smart Grid 9, 5 (2017), 4777--4784.

[89]

Hong Peng, Jun Wang, Mario J. Pérez-Jiménez, Hao Wang, Jie Shao, and Tao Wang. 2013. Fuzzy reasoning spiking neural P system for fault diagnosis. Information Sciences 235 (2013), 106--116.

Digital Library

[90]

Ignacio Pérez-Hurtado, Miguel Á Martinez-del Amor, Zhang Gexiang, Ferrante Neri, and Mario J. Pérez-Jiménez. 2020. A membrane parallel rapidly-exploring random tree algorithm for robotic motion planning. Integrated Computer-Aided Engineering 27 (2020), 121--138. Issue 2.

[91]

Ignacio Pérez-Hurtado, Mario J. Pérez-Jiménez, Gexiang Zhang, and David Orellana-Martín. 2018. Simulation of rapidly-exploring random trees in membrane computing with P-Lingua and automatic programming. International Journal of Computers, Communications and Control 13 (2018), 1007--1031. Issue 6.

[92]

Mario J. Pérez-Jiménez and Agustín Riscos-Núñez. 2005. Solving the Subset-Sum problem by active membranes. New Generation Computing 23, 4 (2005), 367--384.

[93]

Mario J. Pérez-Jiménez and Agustín Riscos-Núñez. 2004. A linear-time solution to the knapsack problem using P systems with active membranes. In Lecture Notes in Computer Science, vol. 2933 (2004). Springer, 250--268.

[94]

Mario J. Pérez-Jiménez, Agustín Riscos-Núñez, M Rius-Font, and Francisco J. Romero-Campero. 2013. A polynomial alternative to unbounded environment for tissue P systems with cell division. International Journal of Computer Mathematics 90, 4 (2013), 760--775.

Digital Library

[95]

Mario J. Pérez-Jiménez and Francisco J. Romero-Campero. 2004. An efficient family of P systems for packing items into bins. Journal of Universal Computer Science 10, 5 (2004), 650--670.

[96]

Mario J. Pérez-Jiménez and Francisco J. Romero-Campero. 2005. Attacking the common algorithmic problem by recognizer P systems. In Lecture Notes in Computer Science, vol. 3354 (2005). Springer, 304--315.

[97]

Mario J. Pérez-Jiménez, Álvaro Romero-Jiménez, and Fernando Sancho-Caparrini. 2003. Complexity classes in cellular computing with membranes. Natural Computing 2, 3 (2003), 265--285.

Digital Library

[98]

Mario J. Pérez-Jiménez, Álvaro Romero-Jiménez, and Fernando Sancho-Caparrini. 2003. Decision P systems and the P≠NP conjecture. In Lecture Notes in Computer Science, vol. 2597 (2003). Springer, 388--399.

[99]

Mario J. Pérez-Jiménez, Álvaro Romero-Jiménez, and Fernando Sancho-Caparrini. 2006. A polynomial complexity class in P systems using membrane division. Journal of Automata, Languages and Combinatorics 11, 4 (2006), 423--434.

[100]

Antonio E. Porreca, Giancarlo Mauri, and Claudio Zandron. 2006. Complexity classes for membrane systems. Informatique théorique et applications 40, 2 (2006), 141--162.

[101]

Grzegorz Rozenberg and Salomaa Arto. 1997. Handbook of Formal Languages. Springer-Verlag.

Digital Library

[102]

Bosheng Song and Linqiang Pan. 2015. Computational efficiency and universality of timed P systems with active membranes. Theoretical Computer Science 567 (2015), 74--86.

Digital Library

[103]

Bosheng Song and Linqiang Pan. 2016. The computational power of tissue-like P systems with promoters. Theoretical Computer Science 641 (2016), 43--52.

Digital Library

[104]

Bosheng Song, Linqiang Pan, and Mario J. Pérez-Jiménez. 2016. Tissue P systems with protein on cells. Fundamenta Informaticae 144, 1 (2016), 77--107.

[105]

Bosheng Song, Mario J. Pérez-Jiménez, Gheorghe Păun, and Linqiang Pan. 2016. Tissue P systems with channel states working in the flat maximally parallel way. IEEE Transactions on Nanobioscience 15, 7 (2016), 645--656.

[106]

Bosheng Song, Xiangxiang Zeng, Min Jiang, and Mario J. Pérez-Jiménez. 2021. Monodirectional tissue P systems with promoters. IEEE Transactions on Cybernetics 51, 1 (2021), 438--450.

[107]

Bosheng Song, Xiangxiang Zeng, and Alfonso Rodríguez-Patón. 2021. Monodirectional tissue P systems with channel states. Information Sciences 546 (2021), 206--219.

[108]

Bosheng Song, Cheng Zhang, and Linqiang Pan. 2017. Tissue-like P systems with evolutional symport/antiport rules. Information Sciences 378 (2017), 177--193.

Digital Library

[109]

Tao Song, Luis F. Macías-Ramos, Linqiang Pan, and Mario J. Pérez-Jiménez. 2014. Time-free solution to SAT problem using P systems with active membranes. Theoretical Computer Science 529 (2014), 61--68.

Digital Library

[110]

Tao Song, Linqiang Pan, Keqin Jiang, Bosheng Song, and Wei Chen. 2013. Normal forms for some classes of sequential spiking neural P systems. IEEE Transactions on Nanobioscience 12, 3 (2013), 255--264.

[111]

Petr SosÍk. 2003. The power of catalysts and priorities in membrane systems. Grammars 6, 1 (2003), 13--24.

[112]

Petr Sosík, Andrei Păun, and Alfonso Rodríguez-Patón. 2013. P systems with proteins on membranes characterize PSPACE. Theoretical Computer Science 488 (2013), 78--95.

[113]

Petr Sosík and Alfonso Rodríguez-Patón. 2006. P systems with active membranes characterize PSPACE. In Lecture Notes in Computer Science, vol. 4287 (2006), 33--46.

Digital Library

[114]

Cristian Ioan Vasile, Ana Brânduşa Pavel, Ioan Dumitrache, and Gheorghe Păun. 2012. On the power of enzymatic numerical P systems. Acta Informatica 49, 6 (2012). Springer, 395--412.

Digital Library

[115]

Sergey Verlan, Francesco Bernardini, Marian Gheorghe, and Maurice Margenstern. 2006. Computational completeness of tissue P systems with conditional uniport. In Lecture Notes in Computer Science, vol. 4361 (2006). Springer, 521--535.

[116]

Sergey Verlan, Francesco Bernardini, Marian Gheorghe, and Maurice Margenstern. 2008. Generalized communicating P systems. Theoretical Computer Science 404, 1--2 (2008), 170--184.

Digital Library

[117]

Jun Wang, Hendrik Jan Hoogeboom, Linqiang Pan, Gheorghe Păun, and Mario J. Pérez-Jiménez. 2010. Spiking neural P systems with weights. Neural Computation 22, 10 (2010), 2615--2646.

Digital Library

[118]

Jun Wang, Hong Peng, Wenping Yu, Jun Ming, Mario J. Pérez-Jiménez, Chengyu Tao, and Xiangnian Huang. 2019. Interval-valued fuzzy spiking neural P systems for fault diagnosis of power transmission networks. Engineering Applications of Artificial Intelligence 82 (2019), 102--109.

Digital Library

[119]

Tao Wang, Gexiang Zhang, and Mario J. Pérez-Jiménez. 2014. Fault diagnosis models for electric locomotive systems based on fuzzy reasoning spiking neural P systems. In Lecture Notes in Computer Science, vol. 8961 (2014). Springer, 385--395.

[120]

Tao Wang, Gexiang Zhang, Mario J. Pérez-Jiménez, and Jixiang Cheng. 2015. Weighted fuzzy reasoning spiking neural P systems: Application to fault diagnosis in traction power supply systems of high-speed railways. Journal of Computational and Theoretical Nanoscience 12, 7 (2015), 1103--1114.

[121]

Tao Wang, Gexiang Zhang, Haina Rong, and Mario J. Pérez-Jiménez. 2014. Application of fuzzy reasoning spiking neural P systems to fault diagnosis. International Journal of Computers Communications 8 Control 9, 6 (2014), 786--799.

[122]

Tao Wang, Gexiang Zhang, Junbo Zhao, Zhengyou He, Jun Wang, and Mario J. Pérez-Jiménez. 2014. Fault diagnosis of electric power systems based on fuzzy reasoning spiking neural P systems. IEEE Transactions on Power Systems 30, 3 (2014), 1182--1194.

[123]

Xun Wang, Tao Song, Faming Gong, and Pan Zheng. 2016. On the computational power of spiking neural P systems with self-organization. Scientific Reports 6 (2016), 27624.

[124]

Xueyuan Wang, Gexiang Zhang, Xiantai Gou, Prithwineel Paul, Ferrante Neri, Haina Rong, Qiang Yang, and Hua Zhang. 2020. Multi-behaviors coordination controller design with enzymatic numerical P systems for robots. Integrated Computer-Aided Engineering (2020), 1--22.

[125]

Xueyuan Wang, Gexiang Zhang, Ferrante Neri, Tao Jiang, Junbo Zhao, Marian Gheorghe, Florentin Ipate, and Raluca Lefticaru. 2016. Design and implementation of membrane controllers for trajectory tracking of nonholonomic wheeled mobile robots. Integrated Computer-Aided Engineering 23 (2016), 15--30. Issue 1.

Digital Library

[126]

Xueyuan Wang, Gexiang Zhang, Junbo Zhao, Haina Rong, Florentin Ipate, and Raluca Lefticaru. 2015. A modified membrane-inspired algorithm based on particle swarm optimization for mobile robot path planning. International Journal of Computers, Communications and Control 10 (2015), 732--745. Issue 5.

[127]

Stephen Wolfram. 2002. A New Kind of Science. Vol. 5. Wolfram media, Champaign, IL.

Digital Library

[128]

Tingfang Wu, Andrei Păun, Zhiqiang Zhang, and Linqiang Pan. 2018. Spiking neural P systems with polarizations. IEEE Transactions on Neural Networks and Learning Systems 29, 8 (2018), 3349--3360.

[129]

Tingfang Wu, Zhiqiang Zhang, Gheorghe Păun, and Linqiang Pan. 2016. Cell-like spiking neural P systems. Theoretical Computer Science 623 (2016), 180--189.

Digital Library

[130]

Jianhua Xiao, Ying Liu, Shuai Zhang, and Ping Chen. 2017. An adaptive membrane evolutionary algorithm for solving constrained engineering optimization problems. Journal of Universal Computer Science 23 (2017), 652--672.

[131]

Guojiang Xiong, Dongyuan Shi, Lin Zhu, and Xianzhong Duan. 2013. A new approach to fault diagnosis of power systems using fuzzy reasoning spiking neural P systems. Mathematical Problems in Engineering 2013 (2013).

[132]

Claudio Zandron, Claudio Ferretti, and Giancarlo Mauri. 2000. Solving NP-complete problems using P systems with active membranes. Unconventional Models of Computation (2000), 289--301.

[133]

Claudio Zandron, Alberto Leporati, Claudio Ferretti, Giancarlo Mauri, and Mario J Pérez-Jiménez. 2008. On the computational efficiency of polarizationless recognizer P systems with strong division and dissolution. Fundamenta Informaticae 87, 1 (2008), 79--91.

Digital Library

[134]

Gexiang Zhang, Jixiang Cheng, Marian Gheorghe, and Qi Meng. 2013. A hybrid approach based on differential evolution and tissue membrane systems for solving constrained manufacturing parameter optimization problems. Applied Soft Computing 13 (2013), 1528--1542.

Digital Library

[135]

Gexiang Zhang, Marian Gheorghe, and Yuquan Li. 2012. A membrane algorithm with quantum-inspired subalgorithms and its application to image processing. Natural Computing 11 (2012), 701--717.

Digital Library

[136]

Gexiang Zhang, Chunxiu Liu, and Haina Rong. 2010. Analyzing radar emitter signals with membrane algorithms. Mathematical and Computer Modelling 52 (2010), 1997--2010.

Digital Library

[137]

Gexiang Zhang, Mario Pérez-Jiménez, and Marian Gheorghe. 2017. Real-life Applications with Membrane Computing. Vol. 25. Springer.

[138]

Xingyi Zhang, Bin Luo, Xianyong Fang, and Linqiang Pan. 2012. Sequential spiking neural P systems with exhaustive use of rules. BioSystems 108, 1--3 (2012), 52--62.

[139]

Xingyi Zhang, Linqiang Pan, and Andrei Păun. 2015. On the universality of axon P systems. IEEE Transactions on Neural Networks and Learning Systems 26, 11 (2015), 2816--2829.

[140]

Zhiqiang Zhang and Linqiang Pan. 2016. Numerical P systems with thresholds. International Journal of Computers Communications 8 Control 11, 2 (2016), 292--304.

[141]

Zhiqiang Zhang, Tingfang Wu, Andrei Păun, and Linqiang Pan. 2016. Numerical P systems with migrating variables. Theoretical Computer Science 641 (2016), 85--108.

Digital Library

Cited By

Zhou KWang TChen XLeng Q(2024)A Fault Diagnosis Method for Power Systems Based on Temporal Tissue-Like P SystemsProtection and Control of Modern Power Systems10.23919/PCMP.2023.0001069:2(101-114)Online publication date: Mar-2024
https://doi.org/10.23919/PCMP.2023.000106
Zhang LXu FNeri F(2024)An Asynchronous Spiking Neural Membrane System for Edge DetectionInternational Journal of Neural Systems10.1142/S012906572450023034:06Online publication date: 16-Mar-2024
https://doi.org/10.1142/S0129065724500230
Song BHu CZeng X(2024)Monodirectional Tissue P Systems With Proteins on CellsIEEE Transactions on NanoBioscience10.1109/TNB.2024.340439623:3(518-523)Online publication date: Jul-2024
https://doi.org/10.1109/TNB.2024.3404396
Show More Cited By

Index Terms

A Survey of Nature-Inspired Computing: Membrane Computing
1. Theory of computation
  1. Models of computation

Recommendations

Membrane computing inspired protocol to enhance security in cloud network

The crucial threats and challenges prevailing in cloud computing are privacy and security. The main reason for these challenges encountered in cloud computing is its multi-tenancy nature and the subcontracting of infrastructures. Cloud services are ...
Context-Aware Computing and Nature-Inspired Computing: ICCASA and ICTCC 2020
Abstract
The part of this special issue with the title of “Context-aware Computing and Nature-inspired Computing: ICCASA and ICTCC 2020” edited by Prof. Phan Cong Vinh is presented to scientists, researchers, experts and students in the fields of context-...
An automatic clustering algorithm inspired by membrane computing

We develop a membrane clustering algorithm to deal with automatic clustering problem.We design a tissue-like membrane system with fully connected structure.We develop an improved velocity-position model. Membrane computing is a class of distributed ...

Comments

Information & Contributors

Information

Published In

cover image ACM Computing Surveys

ACM Computing Surveys Volume 54, Issue 1

January 2022

844 pages

ISSN:0360-0300

EISSN:1557-7341

DOI:10.1145/3446641

Editor:
Albert Zomaya
University of Sydney, Australia

Issue’s Table of Contents

Copyright © 2021 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 11 February 2021

Accepted: 01 October 2020

Revised: 01 September 2020

Received: 01 July 2020

Published in CSUR Volume 54, Issue 1

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article
Research
Refereed

Funding Sources

National Natural Science Foundation of China
Fundamental Research Funds for the Central Universities
Key Research and Development Program of Changsha
Hunan Provincial Natural Science Foundation of China

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

57
Total Citations
View Citations
593
Total Downloads

Downloads (Last 12 months)72
Downloads (Last 6 weeks)11

Reflects downloads up to 10 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Zhou KWang TChen XLeng Q(2024)A Fault Diagnosis Method for Power Systems Based on Temporal Tissue-Like P SystemsProtection and Control of Modern Power Systems10.23919/PCMP.2023.0001069:2(101-114)Online publication date: Mar-2024
https://doi.org/10.23919/PCMP.2023.000106
Zhang LXu FNeri F(2024)An Asynchronous Spiking Neural Membrane System for Edge DetectionInternational Journal of Neural Systems10.1142/S012906572450023034:06Online publication date: 16-Mar-2024
https://doi.org/10.1142/S0129065724500230
Song BHu CZeng X(2024)Monodirectional Tissue P Systems With Proteins on CellsIEEE Transactions on NanoBioscience10.1109/TNB.2024.340439623:3(518-523)Online publication date: Jul-2024
https://doi.org/10.1109/TNB.2024.3404396
Sudacevschi VMunteanu SAbabii VCărbune VBorozan OLungu I(2024)Using of Nature Inspired Computing Models for Mobile Robot Control2024 International Conference on Development and Application Systems (DAS)10.1109/DAS61944.2024.10541198(25-29)Online publication date: 23-May-2024
https://doi.org/10.1109/DAS61944.2024.10541198
Li YSong BLiu YZeng XHuang S(2024)Dynamic threshold spiking neural P systems with weights and multiple channelsTheoretical Computer Science10.1016/j.tcs.2024.1146971010(114697)Online publication date: Sep-2024
https://doi.org/10.1016/j.tcs.2024.114697
Liu JWang LZhang GVerlan SZhu M(2024)Universal enzymatic numerical P systems with small number of enzymatic rulesTheoretical Computer Science10.1016/j.tcs.2024.1146301004(114630)Online publication date: Jul-2024
https://doi.org/10.1016/j.tcs.2024.114630
Zhang LXu F(2024)Languages generated by numerical P systems with thresholdsTheoretical Computer Science10.1016/j.tcs.2023.114376988(114376)Online publication date: Mar-2024
https://doi.org/10.1016/j.tcs.2023.114376
de la Cruz RCabarle FAdorna H(2024)Steps toward a homogenization procedure for spiking neural P systemsTheoretical Computer Science10.1016/j.tcs.2023.114250981:COnline publication date: 4-Jan-2024
https://dl.acm.org/doi/10.1016/j.tcs.2023.114250
Paul PSosík P(2024)Solving the SAT problem using spiking neural P systems with coloured spikes and division rulesJournal of Membrane Computing10.1007/s41965-024-00153-06:3(222-233)Online publication date: 23-May-2024
https://doi.org/10.1007/s41965-024-00153-0
Caselmann JOrellana-Martín D(2024)A solution to the only one object problem with dissolution rulesJournal of Membrane Computing10.1007/s41965-024-00150-36:2(101-108)Online publication date: 1-May-2024
https://doi.org/10.1007/s41965-024-00150-3
Show More Cited By

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Article

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

HTML Format

View this article in HTML Format.

Media

Figures

Other

Tables

View Issue’s Table of Contents