Skip to main content
SpringerLink
Log in

Development of Mobile Robots based on Wireless Robotic Components using UML and Hierarchical Colored Petri Nets

  • Short Paper
  • Published:
Journal of Intelligent & Robotic Systems Aims and scope Submit manuscript

Abstract

The paper presents the modeling, simulation, and implementation of mobile robots based on wireless robotic components (WRCs) through a model-based development framework that uses the Unified Modeling Language (UML) and Colored Petri Nets (CPNs). Each WRC is a standalone module composed of a wireless communication unit, a processing unit, and sensor(s)/actuator(s) to perform a specific function. The WRC architecture is described generically by UML diagrams to lead the development of WRC-based robotic systems. The proposed framework customizes the UML diagrams based on the analysis of the robot platform, its assigned task, and the operational environment. Then the WRC behavioral design specifications are translated to the formalism of CPNs. The developer complements the CPNs to generate a module per each WRC into a hierarchical CPN. The WRC architecture and the development framework are used to implement an Ackermann steering robot and differential drive robots to perform the tasks of wall-following and exploration while avoiding obstacles, respectively. The validation schema follows three phases: simulation, hardware-in-the-loop (HIL) simulation, and physical implementation of mobile robots configured with the appropriate WRCs. The experimental results validate the development framework using standard and formal modeling tools to guide the implementation of robotic systems build with WRCs.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

Data availability

All data and custom code support this study are available from the corresponding author, J. Gutiérrez, upon reasonable request.

References

  1. Kortenkamp, D., Simmons, R., Brugali, D.: Robotic systems architectures and programming. In: Siciliano, B., Khatib, O. (eds.) Springer Handbook of Robotics, Springer Handbooks, pp. 283–306. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-32552-1

    Chapter  Google Scholar 

  2. Arkin, R.C.: Behavior-Based Robotics. Cambridge University Press, New York (1998)

    Google Scholar 

  3. Chen, I.M., Yim, M.: Modular robots. In: Siciliano, B., Khatib, O. (eds.) Springer Handbook of Robotics, Springer Handbooks, pp. 531–542. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-32552-1

    Chapter  Google Scholar 

  4. Gilpin, K., Rus, D.: Modular robot systems. IEEE Robot. Autom. Mag. 17(3), 38–55 (2010). https://doi.org/10.1109/MRA.2010.937859

    Article  Google Scholar 

  5. Ahmadzadeh, H., Masehian, E., Asadpour, M.J.: Modular robotic systems: characteristics and applications. J. Intell. Robot. Syst. 81, 317–357 (2016). https://doi.org/10.1007/s10846-015-0237-8

    Article  Google Scholar 

  6. Brunete, A., Ranganath, A., Segovia, S., de Frutos, J.P., Hernando, M., Gambao, E.: Current trends in reconfigurable modular robots design. Int. J. Adv. Robot. Syst. 14(3), 1–21 (2017). https://doi.org/10.1177/1729881417710457

    Article  Google Scholar 

  7. Moubarak, P., Ben-Tzvi, P.: Modular and reconfigurable mobile robotics. Robot. Auton. Syst. 60(12), 1648–1663 (2012). https://doi.org/10.1016/j.robot.2012.09.002

    Article  Google Scholar 

  8. Seo, J., Paik, J., Yim, M.: Modular reconfigurable robotics. Annu. Rev. Control Robot. Auton. Syst. 2, 63–88 (2019). https://doi.org/10.1146/annurev-control-053018-023834

    Article  Google Scholar 

  9. Alattas, R.J., Patel, S., Sobh, T.M.: Evolutionary modular robotics: survey and analysis. J. Intell. Robot. Syst. 95, 815–828 (2019). https://doi.org/10.1007/s10846-018-0902-9

    Article  Google Scholar 

  10. Klančar, G., Zupančič, B., Karba, R.: Modelling and simulation of a group of mobile robots. Simul. Model. Pract. Theory. 15(6), 647–658 (2007). https://doi.org/10.1016/j.simpat.2007.02.002

    Article  Google Scholar 

  11. Harris, A., Conrad, J.M.: Survey of popular robotics simulators, frameworks, and toolkits. In: 2011 Proceedings of IEEE Southeastcon, pp. 243–249 (2011) https://doi.org/10.1109/SECON.2011.5752942

  12. Torres-Torriti, M., Arredondo, T., Castillo-Pizarro, P.: Survey and comparative study of free simulation software for mobile robots. Robotica. 34(04), 791–822 (2016). https://doi.org/10.1017/S0263574714001866

    Article  Google Scholar 

  13. Sharifi, M., Chen, X., Pretty, C., Clucas, D., Cabon-Lunel, E.: Modelling and simulation of a non-holonomic omnidirectional mobile robot for offline programming and system performance analysis. Simul. Model. Pract. Theory. 87, 155–169 (2018). https://doi.org/10.1016/j.simpat.2018.06.005

    Article  Google Scholar 

  14. Luckcuck, M., Farrell, M., Dennis, L., Dixon, C., Fisher, M.: Formal specification and verification of autonomous robotic systems: a survey. ACM Comput. Surv. 52(5), 1–41 (2019). https://doi.org/10.1145/3342355

    Article  Google Scholar 

  15. Ambler, S.: The Elements of UML 2.0 style. Cambridge University Press, Cambridge (2005). https://doi.org/10.1017/CBO9780511817533

    Book  Google Scholar 

  16. Lange, C.F.J., Chaudron, M.R.V., Muskens, J.: In practice: UML software architecture and design description. IEEE Softw. 23(2), 40–46 (2006). https://doi.org/10.1109/MS.2006.50

    Article  Google Scholar 

  17. Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use, EATCS Monographs on Theoretical Computer Science. Springer-Verlag, Berlin (1996). https://doi.org/10.1007/978-3-662-03241-1

    Book  Google Scholar 

  18. Van der Aalst, W., Stahl, C.: Colored Petri Nets: the language. In Modeling Business Processes: A Petri Net-Oriented Approach. Cambridge, MA: The MIT Press, pp. 169–204 (2011) https://doi.org/10.7551/mitpress/8811.001.0001

  19. Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User Guide, 2nd edn. Addison-Wesley, Westford, MA (2005)

    Google Scholar 

  20. Miles, R., Hamilton, K.: Learning UML 2.0. O’Reilly, California (2006)

    Google Scholar 

  21. Cook, S.: Looking Back at UML. Softw. Syst. Model. 11(4), 471–480 (2012). https://doi.org/10.1007/s10270-012-0256-x

    Article  Google Scholar 

  22. OMG: OMG Unified Modeling Language (OMG UML). Version 2.5.1. Object Management Group. Retrieved August 2, 2021. https://www.omg.org/spec/UML

  23. Miyazawa, A., Ribeiro, P., Li, W., Cavalcanti, A., Timmis, J., Woodcock, J.: RoboChart: modelling and verification of the functional behaviour of robotic applications. Softw. Syst. Model. 18, 3097–3149 (2019). https://doi.org/10.1007/s10270-018-00710-z

    Article  Google Scholar 

  24. Askarpour, M., Lestingi, L., Longoni, S., Iannacci, N., Rossi, M., Vicentini, F.: Formally-based model-driven development of collaborative robotic applications. J. Intell. Robot. Syst. 102, 59, (2021). https://doi.org/10.1007/s10846-021-01386-2

  25. Giua, A., Seatzu, C.: Petri nets for the control of discrete event systems. Softw. Syst. Model. 14, 693–701 (2015). https://doi.org/10.1007/s10270-014-0425-1

    Article  Google Scholar 

  26. Gehlot, V., Nigro, C.: An introduction to systems modeling and simulation with Colored Petri Nets, In: Proc. 2010 Winter Simul. Conf., pp. 104–118 (2010) https://doi.org/10.1109/WSC.2010.5679170

  27. Kucera, E., HrÃz, B.: Modelling of AS/RS using hierarchical and timed coloured petri nets, In: Proc. 23rd Intl. Conf. Robot. Alpe-Adria-Danube Region (RAAD), pp. 1–8 (2014) https://doi.org/10.1109/RAAD.2014.7002226

  28. Hu, H.S., Yang, Y., Liu, Y., Chen, C.: Supervisor design and simplification for automated manufacturing systems using colored petri nets, In: Proc. IEEE Intl. Conf. Robot. Autom. (ICRA), pp. 3826–3832 (2015) https://doi.org/10,1109/ICRA.2015.7139732

  29. Jensen, K., Kristensen, L.M., Wells, L.: Coloured Petri Nets and CPN tools for modelling and validation of concurrent systems. Int. J. Soft. Tools Tech. Transfer. 9(3–4), 213–254 (2007). https://doi.org/10.1007/s10009-007-0038-x

    Article  Google Scholar 

  30. Jensen, K., Kristensen, L.M.: Introduction to modelling and validation, In: Coloured Petri Nets Modelling and Validation of Concurrent Systems, 1st ed., pp.1–12 (2009) https://doi.org/10.1007/b95112

  31. Giglio, D.: A petri net model for an open path multi-AGV system, In: Proc. 11th Intl. Conf. Inf. Control, Autom. Robot. ICINCO, pp. 734–745 (2014) https://doi.org/10.5220/0005054807340745

  32. Farinelli, A., Raeissi, M.M., Marchi, N., Brooks, N., Scerri, P.: Interacting with team oriented plans in multi-robot systems. Auton. Agent. Multi-Agent Syst. 31(2), 332–361 (2017). https://doi.org/10.1007/s10458-016-9344-6

    Article  Google Scholar 

  33. Soares, J.A.C., Lima, B., Faria, J.P.: Automatic model transformation from UML sequence diagrams to coloured Petri nets. In: Proc. 6th Intl. Conf. Model-Driven Eng. and Soft. Develop. (MODEL SWARD 2018), Madeira, Portugal, pp. 668–679 (2018) https://doi.org/10.5220/006731806680679

  34. Tariq, O., Sang, J., Gulzar, K., Xiang, H.: Automated analysis of UML activity diagram using CPNs, In: Proc. 8th IEEE Intl. Conf. on Soft. Eng. and Service Science (ICSESS), pp. 134-138 (2017) https://doi.org/10.1109/ICSESS.2017.8342881

  35. Zhu, L., Wang, W.: UML diagrams to hierarchical colored Petri nets: an automatic software performance tool. Procedia Eng. 29, 2687–2692 (2012). https://doi.org/10.1016/j.proeng.2012.01.373

    Article  Google Scholar 

  36. Staines, T.S.: Intuitive mapping of UML 2 activity diagrams into fundamental modeling concept Petri nets diagrams and colored Petri nets. In: Proc. Eng. of Comp. Based Systems, 15th IEEE Intl. Conf. and Workshops (ECBS 2008), pp. 191–200 (2008) https://doi.org/10.1109/ECBS.2008.12

  37. Mkaouer, M.W., Kessentini, M.: Model transformation using multiobjetive optimization. Adv. Comput. 96, 161–202 (2014). https://doi.org/10.1016/B978-0-12-420232-0.00004-0

    Article  Google Scholar 

  38. Kelmar L., Khosla, P.: Automatic generation of kinematics for a reconfigurable modular manipulator system. In: Proc. IEEE International Conference on Robotics and Automation (ICRA) 2, pp. 663–668 (1988) https://doi.org/10.1109/ROBOT.1988.12135

  39. Paredis, C.J.J., Brown, H.B., Khosla, P.K.: A rapidly deployable manipulator system. In: Proc. IEEE International Conference on Robotics and Automation (ICRA), pp. 1434–1439 (1996) https://doi.org/10.1109/ROBOT.1996.506907

  40. Acaccia, G., Bruzzone, L., Razzoli, R.: A modular robotic system for industrial applications. Assem. Autom. 28(2), 151–162 (2008). https://doi.org/10.1108/01445150810863734

    Article  Google Scholar 

  41. Matsumaru, T.: Design and control of the modular robot system: TOMMS. In: Proc. IEEE International Conference on Robotics and Automation (ICRA), pp. 2125–2131 (1995) https://doi.org/10.1109/ROBOT.1995.525575

  42. Xu, W., Han, L., Wang, X., Yuan, H.: A wireless reconfigurable modular manipulator and its control system. Mechatronics. 73, 102470 (2021). https://doi.org/10.1016/j.mechatronics.2020.102470

    Article  Google Scholar 

  43. Pamecha, A., Ebert-Uphoff, I., Chirikjian, G.S.: Useful metrics for modular robot motion planning. IEEE Trans. on Robot. Autom. 13(4), 531–545 (1997). https://doi.org/10.1109/70.611311

    Article  MATH  Google Scholar 

  44. Tomita, K., Murata, S., Kurokawa, H., Yoshida, E., Kokaji, S.: Self-assembly and self-repair method for a distributed mechanical system. IEEE Trans. on Robot. Autom. 15(6), 1035–1045 (1999). https://doi.org/10.1109/70.817668

    Article  Google Scholar 

  45. Fukuda, T., Kawauchi, Y.: Cellular robotic system (CEBOT) as one of the realization of self-organizing intelligent universal manipulator. In: Proc. IEEE International Conference on Robotics and Automation (ICRA), pp. 662–667 (1990) https://doi.org/10.1109/ROBOT.1990.126059

  46. Castano, A., Behar, A., Will, P.M.: The Conro modules for reconfigurable robots. IEEE/ASME Trans. Mechatron. 7(4), 403–409 (2002). https://doi.org/10.1109/TMECH.2002.806233

    Article  Google Scholar 

  47. Reddy, C.H.S.S., Abhimanyu Godiyal, R., Zodage, T., Rane, T.: 2DxoPod – a modular robot for mimicking locomotion in vertebrates. J. Intell. Robot. Syst. 101, 23 (2021). https://doi.org/10.1007/s10846-020-01270-5

    Article  Google Scholar 

  48. Rus, D., Vona, M.: Crystalline robots: self-reconfiguration with compressible unit modules. Auton. Robots. 10, 107–124 (2001). https://doi.org/10.1023/A:1026504804984

    Article  MATH  Google Scholar 

  49. Murata, S., Yoshida, E., Kurokawa, H., Tomita, K., Kokaji, S.: Self-repairing mechanical systems. Auton. Robots. 10, 7–21 (2001). https://doi.org/10.1023/A:1026540318188

    Article  MATH  Google Scholar 

  50. Garcia, R.F.M., Hiller, J.D., Stoy, K., Lipson, H.: A vacuum-based bonding mechanism for modular robotics. IEEE Trans. Robot. 27(5), 876–890 (2011). https://doi.org/10.1109/TRO.2011.2153010

    Article  Google Scholar 

  51. Belke, C.H., Paik, J.: Mori: a modular Origami Robot. IEEE/ASME Trans. Mechatron. 22(5), 2153–2164 (2017). https://doi.org/10.1109/TMECH.2017.2697310

    Article  Google Scholar 

  52. da Silva Ferreira, M.A., Begazo, M.F.T., Lopes, G.C., de Oliveira, A.F., Colombini, E.L., da Silvia Simões, A.: Drone reconfigurable architecture (DRA): a multipurpose modular architecture for unmanned aerial vehicles (UAVs). J. Intell. Robot. Syst. 99, 517–534 (2020). https://doi.org/10.1007/s10846-019-01129-4

    Article  Google Scholar 

  53. Fujita, M., Kitano, H., Kageyama, K.: A reconfigurable robot platform, Robot. Auton. Syst. 29(2–3), 119–132 (1999). https://doi.org/10.1016/S0921-8890(99)00047-0

    Article  Google Scholar 

  54. Mondada, F., Franzi, E., Guignard, A.: The development of Khepera. In Proc. 1st Int. Khepera Workshop 64, pp. 7–14 (1999)

  55. Chocron, O., Bidaud, P.: Evolving walking robots for global task based design. In: Proceedings of the Congress on Evolutionary Computation 1, pp. 405–412 (1999) https://doi.org/10.1109/CEC.1999.781953

  56. Leger P.C., J. Bares.: Automated synthesis and optimization of Robot Configurations. In: Proceedings of the Proceedings of the 1998 ASME Design Engineering Technical Conferences, pp. 13–16 (1998) https://doi.org/10.1115/DETC98/MECH-5945

  57. Farritor, S., Dubowsky, S.: On modular design of field robotic systems. Auton. Robots. 10, 57–65 (2001). https://doi.org/10.1023/A:1026596403167

    Article  MATH  Google Scholar 

  58. Baca, J., Ferre, M., Aracil, R.: A heterogeneous modular robotic design for fast response to a diversity of tasks. Robot. Auton. Syst. 60(4), 522–531 (2012). https://doi.org/10.1016/j.robot.2011.11.013

    Article  Google Scholar 

  59. Brunete, A., Hernando, M., Gambao, E., Torres, J.E.: A behaviour-based control architecture for heterogeneous modular, multi-configurable, chained micro-robots. Robot. Auton. Syst. 60(12), 1607–1624 (2012). https://doi.org/10.1016/j.robot.2012.09.019

    Article  Google Scholar 

  60. Pio Negri, S., Basile, V., Valori, M., Gambino, B., Fassi, I., Tosatti, L.M.: A modular mobile robotic architecture for defects detection and repair in narrow tunnels of CFRP aeronautic components. Robot. Comput. Integr. Manuf. 55(A), 109–128 (2019). https://doi.org/10.1016/j.rcim.2018.07.011

    Article  Google Scholar 

  61. Andreev, V., Kim, V., Pryanichnikov, V.: A hierarchical modular architecture for reconfigurable mobile robots. In: Proceedings of the 30th DAAAM International Symposium, pp.1152–1159 (2019) https://doi.org/10.2507/30th.daaam.proceedings.162

  62. Innocenti Badano, B.M.: A Multi-Agent Architecture with Distributed Coordination for an Autonomous Robot. PhD Dissertation, Universitat de Girona, Spain (2009)

  63. Hwang, K., Lo, C., Liu, W.: A modular agent architecture for an autonomous robot. IEEE Trans. Instrum. Meas. 58(8), 2797–2806 (2009). https://doi.org/10.1109/TIM.2009.2016301

    Article  Google Scholar 

  64. Paulos, J., Eckenstein, N., Tosun, T., Seo, J., Davey, J., Greco, J., Kumar, V., Yim, M.: Automated self-assembly of large maritime structures by a team of robotic boats. IEEE Trans. Autom. Sci. Eng. 12(3), 958–968 (2015). https://doi.org/10.1109/TASE.2015.2416678

    Article  Google Scholar 

  65. Gabrich, B., Li, G., Yim, M.: ModQuad-DoF: a novel Yaw actuation for modular quadrotors. In: IEEE International Conference on Robotics and Automation (ICRA), pp. 8267–8273 (2020) https://doi.org/10.1109/ICRA40945.2020.9196735

  66. Quigley, M., Gerkey, B., Conley, K., Faust, J., Foote, T., Leibs, J., Berger, E., Wheeler, R., Ng, A.: ROS: an open-source robot operating system. In: ICRA Workshop on Open-Source Software 3, pp. 1–5 (2009)

  67. Mayoral, V., Hernández, A., Kojcev, R., Muguruza, I. Zamalloa, I., Usategi, L., Bilbao, A.: The shift in the robotics paradigm–the hardware robot operating system (H-ROS); an infrastructure to create interoperable robot components. In: NASA/ESA Conference on Adaptive Hardware and Systems, pp. 229–236 (2017) https://doi.org/10.1109/AHS.2017.8046383

  68. Metta, G., Fitzpatrick, P., Natale, L.: YARP – yet another robot platform, version 2.3.20. Int. J. Adv. Robot. Syst. 3(1), 43–48 (2013). https://doi.org/10.5772/5761

    Article  Google Scholar 

  69. Zou, Y., Zhao, G., Wang, T.: A general framework of mechatronic modular architecture. Adv. Mech. Eng. 5, 15 (2013). https://doi.org/10.1155/2013/969304

    Article  Google Scholar 

  70. Elkady, A., Joy, J., Sobh, T., Valavanis, K.: A structured approach for modular design in robotics and automation environments. J. Intell. Robot. Syst. 72(1), 5–19 (2013). https://doi.org/10.1007/s10846-012-9798-y

    Article  Google Scholar 

  71. Veloso, M.V.D., Filho, J.T.C., Barreto, G.A.: SOM4R: a middleware for robotic applications based on the resource-oriented architecture. J. Intell. Robot. Syst. 87, 487–506 (2017). https://doi.org/10.1007/s10846-017-0504-y

    Article  Google Scholar 

  72. Hinton, M.A., Zeher, M.J., Kozlowski, M.V., Johannes, M.S.: Advanced Explosive Ordnance Disposal Robotic System (AEODRS): a common architecture revolution. Johns Hopkins APL Tech. Dig. 30(3), 256–266 (2011)

    Google Scholar 

  73. Kugele, S., Obergfell, P., Sax, E.: Model-based resource analysis and synthesis of service-oriented automotive software architectures. Softw. Syst. Model, 31 (2021) https://doi.org/10.1007/s10270-021-00896-9

  74. Villa-Medina, J., Porta-Gándara, M., Gutiérrez, J.: Wireless robotic components for autonomous vehicles. Robotica. 39(7), 1202–1215 (2021). https://doi.org/10.1017/S0263574720001010

    Article  Google Scholar 

  75. Shen, W.M., Salemi, B., Will, P.: Hormone-inspired adaptive communication and distributed control for CONRO self-reconfigurable robots. IEEE Trans. Robot. Auto. 18(5), 700–712 (2002). https://doi.org/10.1109/TRA.2002.804502

    Article  Google Scholar 

  76. Di Francesco, M., Anastasi, G., Conti, M., Das, S.K., Neri, V.: Reliability and energy-efficiency in IEEE 802.15.4/ZigBee sensor networks: an adaptive and cross-layer approach. IEEE J. Sel. Areas Comm. 29(8), 1508–1524 (2011). https://doi.org/10.1109/JSAC.2011.110902

    Article  Google Scholar 

  77. Gallasch, G., Kristensen, L.M.: COMMS/CPN: a communication infrastructure for external communication with Design/CPN. In: Jensen, K. (ed.) Third Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, DAIMI PB-554, Department of Computer Science, pp. 75–91. University of Aarhus, Denmark (2001)

    Google Scholar 

Download references

Acknowledgments

Authors are very grateful to Jorge Cobos and Alfonso Alvarez for making the machined component structures.

Funding

The authors have no relevant financial neither non-financial interest to disclose.

Author information

Authors and Affiliations

  1. Centro de Investigaciones Biológicas del Noroeste, S.C., Av. Instituto Politécnico Nacional 195, Playa Palo de Santa Rita, 23096, La Paz, B.C.S, Mexico

    Fernando D. Von Borstel, J. Francisco Villa-Medina & Joaquín Gutiérrez

Authors
  1. Fernando D. Von Borstel
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. J. Francisco Villa-Medina
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Joaquín Gutiérrez
    View author publications

    You can also search for this author in PubMed Google Scholar

Contributions

The model-based development framework research, experiment execution, writing, and writing – review were performed by F. D. Von Borstel. The prototype implementation, experiment execution, and review were performed by J. F. Villa-Medina. The research, formal analysis, and writing – review – editing were performed by J. Gutiérrez. All authors read and approved the final manuscript.

Corresponding author

Correspondence to Joaquín Gutiérrez.

Ethics declarations

Conflicts of interest/Competing interests

The authors declare that they have no conflict of interest/Competing interests.

Ethics approval

Not applicable.

Consent to participate

Not applicable.

Consent for publication

Not applicable.

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Von Borstel, F.D., Villa-Medina, J.F. & Gutiérrez, J. Development of Mobile Robots based on Wireless Robotic Components using UML and Hierarchical Colored Petri Nets. J Intell Robot Syst 104, 70 (2022). https://doi.org/10.1007/s10846-021-01549-1

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1007/s10846-021-01549-1

Keywords

Search

Navigation