Advertisement

Using Genetic Algorithms and Model Checking for P Systems Automatic Design

  • Cristina Tudose
  • Raluca Lefticaru
  • Florentin Ipate
Part of the Studies in Computational Intelligence book series (SCI, volume 387)

Abstract

Membrane computing is a recently developed research field, whose models, P systems, are bio-inspired computational models, abstracted from the structure and the functioning of living cells. Their applications are various and have been reported in biology, bio-medicine, economics, approximate optimization and computer graphics. However, it is a difficult task to design a P system which solves a given problem, especially because of their characteristics, such as nondeterminism, parallelism, possible presence of active membranes. In this paper we propose an approach to P systems automatic design, which uses genetic algorithms and model checking. More precisely, we use a type of fitness function which performs several simulations of the P system, in order to assess its adequacy to realize the given task, complemented by formal verification of the model.

Keywords

Genetic Algorithm Particle Swarm Optimization Model Check System Automatic Design Division Rule 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Andrei, O., Ciobanu, G., Lucanu, D.: Executable specifications of P systems. In: Mauri, G., Păun, G., Jesús Pérez-Jímenez, M., Rozenberg, G., Salomaa, A. (eds.) WMC 2004. LNCS, vol. 3365, pp. 126–145. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  2. 2.
    Cardona, M., Colomer, M.A., Margalida, A., Pérez-Hurtado, I., Pérez-Jiménez, M.J., Sanuy, D.: A P system based model of an ecosystem of some scavenger birds. In: Păun, G., Pérez-Jiménez, M.J., Riscos-Núñez, A., Rozenberg, G., Salomaa, A. (eds.) WMC 2009. LNCS, vol. 5957, pp. 182–195. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  3. 3.
    Cecilia, J.M., García, J.M., Guerrero, G.D., del Amor, M.A.M., Pérez-Hurtado, I., Pérez-Jiménez, M.J.: Simulating a P system based efficient solution to SAT by using GPUs. Journal of Logic and Algebraic Programming 79(6), 317–325 (2010)MathSciNetMATHCrossRefGoogle Scholar
  4. 4.
    Díaz-Pernil, D., Pérez-Hurtado, I., Pérez-Jiménez, M.J., Riscos-Núñez, A.: A P-lingua programming environment for membrane computing. In: Corne, D.W., Frisco, P., Păun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2008. LNCS, vol. 5391, pp. 187–203. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  5. 5.
    Escuela, G., Gutiérrez-Naranjo, M.A.: An application of genetic algorithms to membrane computing. In: Eighth Brainstorming Week on Membrane Computing, pp. 101–108 (2010), http://www.gcn.us.es/8BWMC/volume/08GEscuela.pdf
  6. 6.
    Huang, X., Zhang, G., Ipate, F.: Evolutionary design of a simple membrane system. In: Proc. of Twelfth International Conference on Membrane Computing, CMC12 (to appear 2011)Google Scholar
  7. 7.
    Ipate, F., Gheorghe, M., Lefticaru, R.: Test generation from P systems using model checking. Journal of Logic and Algebraic Programming 79(6), 350–362 (2010)MathSciNetMATHCrossRefGoogle Scholar
  8. 8.
    Ipate, F., Lefticaru, R., Tudose, C.: Formal verification of P systems using Spin. International Journal of Foundations of Computer Science 22(1), 133–142 (2011)MathSciNetMATHCrossRefGoogle Scholar
  9. 9.
    Johnson, C.: Genetic programming with fitness based on model checking. In: Ebner, M., O’Neill, M., Ekárt, A., Vanneschi, L., Esparcia-Alcázar, A.I. (eds.) EuroGP 2007. LNCS, vol. 4445, pp. 114–124. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  10. 10.
    Kari, L., Rozenberg, G.: The many facets of natural computing. Communications of the ACM 51(10), 72–83 (2008)CrossRefGoogle Scholar
  11. 11.
    Lefticaru, R., Ipate, F., Tudose, C.: Automated model design using genetic algorithms and model checking. In: BCI 2009: Proceedings of the 2009 Fourth Balkan Conference in Informatics, pp. 79–84. IEEE Computer Society, Los Alamitos (2009)CrossRefGoogle Scholar
  12. 12.
    Lefticaru, R., Ipate, F., Gheorghe, M.: Model checking based test generation from P systems using P-Lingua. Romanian Journal of Information Science and Technology 13(2), 153–168 (2010)Google Scholar
  13. 13.
    Lefticaru, R., Ipate, F., Gheorghe, M., Zhang, G.: Tuning P Systems for Solving the Broadcasting Problem. In: Păun, G., Pérez-Jiménez, M.J., Riscos-Núñez, A., Rozenberg, G., Salomaa, A. (eds.) WMC 2009. LNCS, vol. 5957, pp. 354–370. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  14. 14.
    Lefticaru, R., Tudose, C., Ipate, F.: Towards automated verification of P systems using Spin. In: Ninth Brainstorming Week on Membrane Computing, pp. 237–250 (2011), http://www.gcn.us.es/9BWMC/volume/16Lefticaru_psys_spin.pdf
  15. 15.
    Martínez-del-Amor, M.A., Pérez-Hurtado, I., Pérez-Jiménez, M.J., Riscos-Núñez, A.: A P-Lingua based simulator for tissue P systems. Journal of Logic and Algebraic Programming 79(6), 374–382 (2010)MathSciNetMATHCrossRefGoogle Scholar
  16. 16.
    Meffert, K., Meseguer, J., Martí, E.D., Meskauskas, A., Vos, J., Rotstan, N.: JGAP-Java Genetic Algorithms and Genetic Programming Package, http://jgap.sf.net (last visited, July 2011)
  17. 17.
    Mitchell, M.: An Introduction to Genetic Algorithms. MIT Press, Cambridge (1998)MATHGoogle Scholar
  18. 18.
    P-Lingua website, http://www.p-lingua.org (last visited, July 2011)
  19. 19.
    Păun, G.: Computing with membranes. Journal of Computer and System Sciences 61(1), 108–143 (2000)MathSciNetMATHCrossRefGoogle Scholar
  20. 20.
    Păun, G.: P systems with active membranes: Attacking NP-complete problems. Journal of Automata, Languages and Combinatorics 6(1), 75–90 (2001)MathSciNetMATHGoogle Scholar
  21. 21.
    Păun, G., Rozenberg, G., Salomaa, A. (eds.): The Oxford Handbook of Membrane Computing. Oxford University Press, Oxford (2010)MATHGoogle Scholar
  22. 22.
    Romero-Campero, F.J., Gheorghe, M., Bianco, L., Pescini, D., Jesús Pérez-Jímenez, M., Ceterchi, R.: Towards probabilistic model checking on P systems using PRISM. In: Hoogeboom, H.J., Păun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2006. LNCS, vol. 4361, pp. 477–495. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  23. 23.
    Zaharie, D., Ciobanu, G.: Distributed evolutionary algorithms inspired by membranes in solving continuous optimization problems. In: Hoogeboom, H.J., Păun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2006. LNCS, vol. 4361, pp. 536–553. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  24. 24.
    Zhang, G., Cheng, J., Gheorghe, M.: An approximate algorithm combining P systems and ant colony optimization for traveling salesman problems, Eighth Brainstorming Week on Membrane Computing, pp. 321–340 (2010), http://www.gcn.us.es/8BWMC/volume/25ACOPS_Latex.pdf
  25. 25.
    Zhou, F., Zhang, G., Rong, H., Gheorghe, M., Cheng, J., Ipate, F., Lefticaru, R.: A particle swarm optimization based on P systems. In: Sixth International Conference on Natural Computation, pp. 3003–3007 (2010)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Cristina Tudose
    • 1
  • Raluca Lefticaru
    • 1
  • Florentin Ipate
    • 1
  1. 1.Department of Computer ScienceUniversity of PitestiPitestiRomania

Personalised recommendations