Skip to main content
SpringerLink
Log in

Test-Driven Simulation of Robots Controlled by Enzymatic Numerical P Systems Models

  • Conference paper
  • First Online:
Simulation Tools and Techniques (SIMUtools 2023)

Included in the following conference series:

  • 34 Accesses

Abstract

The simulation of robots behavior and the use of robust models are very important for building controllers. Testing is an important aspect in this process. In this paper, a test-driven approach for designing robot controllers based on enzymatic numerical P systems models is introduced. Four such models are defined and tested using three distinct scenarios. The paper reveals an effective way of using modelling, simulation and testing in a coherent way.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 64.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 84.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Bobe, R.T., Ipate, F., Niculescu, I.M.: Modelling and search-based testing of robot controllers using enzymatic numerical p systems. In: Cheval, H., Leuştean, L., Sipoş, A. (eds.) Proceedings 7th Symposium on Working Formal Methods, Bucharest, Romania, 21–22 September 2023. Electronic Proceedings in Theoretical Computer Science, vol. 389, pp. 1–10. Open Publishing Association (2023). https://doi.org/10.4204/EPTCS.389.1

  2. Deb, K., Pratap, A., Agarwal, S., Meyarivan, T.: A fast and elitist multiobjective genetic algorithm: NSGA-II. IEEE Trans. Evol. Comput. 6(2), 182–197 (2002). https://doi.org/10.1109/4235.996017

    Article  Google Scholar 

  3. Florea, A.G., Buiu, C.: Modelling multi-robot interactions using a generic controller based on numerical P systems and ROS. In: 2017 9th International Conference on Electronics, Computers and Artificial Intelligence (ECAI), pp. 1–6 (2017). https://doi.org/10.1109/ECAI.2017.8166411

  4. Gambi, A., Jahangirova, G., Riccio, V., Zampetti, F.: SBST tool competition 2022. In: Proceedings of the 15th Workshop on Search-Based Software Testing, pp. 25–32 (2022). https://doi.org/10.1145/3526072.3527538

  5. George, B., Williams, L.: A structured experiment of test-driven development. Inf. Softw. Technol. 46(5), 337–342 (2004). https://doi.org/10.1016/j.infsof.2003.09.011

    Article  Google Scholar 

  6. Humeniuk, D., Antoniol, G., Khomh, F.: AmbieGen tool at the SBST 2022 tool competition. In: Proceedings of the 15th Workshop on Search-Based Software Testing, pp. 43–46 (2022). https://doi.org/10.1145/3526072.3527531

  7. Humeniuk, D., Khomh, F., Antoniol, G.: AmbieGen: a search-based framework for autonomous systems testing. arXiv preprint arXiv:2301.01234 (2023). https://doi.org/10.48550/arXiv.2301.01234

  8. Khari, M., Kumar, P.: An extensive evaluation of search-based software testing: a review. Soft Comput. Fusion Found. Methodol. Appl. 23(6), 1933–1946 (2019). https://doi.org/10.3233/ICA-190616

    Article  Google Scholar 

  9. Michel, O.: Cyberbotics Ltd. Webots\(^{\rm TM}\): professional mobile robot simulation. Int. J. Adv. Robot. Syst. 1(1), 5 (2004). https://doi.org/10.5772/5618

  10. Mondada, F., et al.: The e-puck, a robot designed for education in engineering. In: Proceedings of the 9th Conference on Autonomous Robot Systems and Competitions, pp. 59–65. IPCB: Instituto Politécnico de Castelo Branco (2009)

    Google Scholar 

  11. Pavel, A., Arsene, O., Buiu, C.: Enzymatic numerical P systems - a new class of membrane computing systems. In: 2010 IEEE Fifth International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA), pp. 1331–1336. IEEE (2010). https://doi.org/10.1109/BICTA.2010.5645071

  12. Pérez-Hurtado, I., Martínez-del Amor, M.A., Zhang, G., Neri, F., Pérez-Jiménez, M.J.: A membrane parallel rapidly-exploring random tree algorithm for robotic motion planning. Integr. Comput.-Aided Eng. 27(2), 121–138 (2020). https://doi.org/10.3233/ICA-190616

    Article  Google Scholar 

  13. Păun, G.: Membrane Computing: An Introduction. Springer, Heidelberg (2002). https://doi.org/10.1007/978-3-642-56196-2

    Book  Google Scholar 

  14. Păun, G., Păun, R.: Membrane computing and economics: numerical P systems. Fundam. Inform. 73(1–2), 213–227 (2006). http://content.iospress.com/articles/fundamenta-informaticae/fi73-1-2-20

  15. Păun, G., Rozenberg, G., Salomaa, A. (eds.): The Oxford Handbook of Membrane Computing. Oxford University Press, Oxford (2010)

    Google Scholar 

  16. Webots reference manual. https://cyberbotics.com/doc/reference/proto

  17. Florea, A.G., Buiu, C.: PeP - an open-source software simulator of numerical P systems and numerical P systems with enzymes (2017). https://github.com/andrei91ro/pep

  18. Github project. https://github.com/radubobe/Research/tree/main/Modelling

  19. Github simulation results folder. https://github.com/radubobe/Research/tree/main/Modelling

  20. Hellstrom, T.: Kinematics equations for differential drive and articulated steering. Umea University (2011). https://www8.cs.umu.se/kurser/5DV122/HT13/material/Hellstrom-ForwardKinematics.pdf

  21. Simulation of E-puck controlled by Enzymatic Numerical P Systems models in Webots. https://youtu.be/FA7snrqaKKs

  22. Wang, X., et al.: Design and implementation of membrane controllers for trajectory tracking of nonholonomic wheeled mobile robots. Integr. Comput.-Aided Eng. 23(1), 15–30 (2016). https://doi.org/10.3233/ICA-150503

    Article  Google Scholar 

  23. Whitley, D., Rana, S., Dzubera, J., Mathias, K.E.: Evaluating evolutionary algorithms. Artif. Intell. 85(1–2), 245–276 (1996). https://doi.org/10.1016/0004-3702(95)00124-7

    Article  Google Scholar 

  24. Zhang, G., Pérez-Jiménez, M.J., Gheorghe, M.: Real-Life Applications with Membrane Computing. Springer, Cham (2017). https://doi.org/10.1007/s00500-017-2906-y

    Book  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Faculty of Mathematics and Computer Science, University of Bucharest, Str Academiei 14, 010014, Bucharest, Romania

    Radu Traian Bobe, Florentin Ipate & Ionuţ Mihai Niculescu

  2. Faculty of Engineering and Informatics, University of Bradford, Bradford, West Yorkshire, BD7 1DP, UK

    Marian Gheorghe

Authors
  1. Radu Traian Bobe
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Marian Gheorghe
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Florentin Ipate
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Ionuţ Mihai Niculescu
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Radu Traian Bobe .

Editor information

Editors and Affiliations

  1. Universidad de Sevilla, Sevilla, Spain

    José-Luis Guisado-Lizar

  2. Universidad de Sevilla, Sevilla, Sevilla, Spain

    Agustín Riscos-Núñez

  3. Universidad de Sevilla, Sevilla, Spain

    María-José Morón-Fernández

  4. Carleton University, Ottawa, IL, USA

    Gabriel Wainer

Rights and permissions

Reprints and permissions

Copyright information

© 2024 ICST Institute for Computer Sciences, Social Informatics and Telecommunications Engineering

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Bobe, R.T., Gheorghe, M., Ipate, F., Niculescu, I.M. (2024). Test-Driven Simulation of Robots Controlled by Enzymatic Numerical P Systems Models. In: Guisado-Lizar, JL., Riscos-Núñez, A., Morón-Fernández, MJ., Wainer, G. (eds) Simulation Tools and Techniques. SIMUtools 2023. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, vol 519. Springer, Cham. https://doi.org/10.1007/978-3-031-57523-5_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-57523-5_5

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-57522-8

  • Online ISBN: 978-3-031-57523-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation