Skip to main content
SpringerLink
Log in

Robotic System Specification Language Use Case

  • Conference paper
  • First Online:
Advanced, Contemporary Control (PCC 2023)

Part of the book series: Lecture Notes in Networks and Systems ((LNNS,volume 709))

Included in the following conference series:

  • 166 Accesses

Abstract

The paper briefly introduces: embodied agent based robotic systems and a 6-layer hierarchic Petri net meta-model describing their activities. As the meta-model contains a plethora of parameters, a specialised language, i.e. RSSL, has been introduced to facilitate the transformation of the meta-model into a model of the designed system, i.e. its specification. The paper focuses on an example showing how RSSL is used in the design process. The use case is a ball-collecting mobile robot operating in two modes: teleoperated and autonomous, controlled by voice commands, navigating in an environment containing obstacles.

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 169.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 219.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. Aho, A.V., Lam, M.S., Sethi, R., Ullman, J.D.: Compilers: Principles, Techniques, and Tools, 2Nd edn. Addison-Wesley Longman Publishing Co., Inc, Boston, MA, USA (2006)

    Google Scholar 

  2. Blume, C., Jakob, W.: PASRO: Pascal for Robots. Springer-Verlag, Berlin (1985)

    Google Scholar 

  3. Brambilla, M., et al.: Model-Driven Software Engineering in Practice. Morgan & Claypool, Synthesis Lectures on Software Engineering (2012)

    Google Scholar 

  4. Brooks, R.A.: Intelligence without reason. Artifi. Intell. Critical Concepts 3, 107–163 (1991)

    Google Scholar 

  5. Bruyninckx, H.: Open robot control software: The OROCOS project. In: International Conference on Robotics and Automation (ICRA), vol. 3. IEEE (2001)

    Google Scholar 

  6. Costelha, H., Lima, P.: Modelling, analysis and execution of robotic tasks using Petri nets. In: 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems, pp. 1449–1454 (Oct 2007)

    Google Scholar 

  7. Dijkstra, E.: On the role of scientific thought. In: Selected Writings on Computing: A Personal Perspective, pp. 60–66. Springer–Verlag (1982). https://doi.org/10.1007/978-1-4612-5695-3_12

  8. Dixon, C., Winfield, A.F., Fisher, M., Zeng, C.: Towards temporal verification of swarm robotic systems. Robot. Auton. Syst. 60(11), 1429–1441 (2012), towards Autonomous Robotic Systems 2011

    Google Scholar 

  9. Figat, M., Zieliński, C.: Robotic system specification methodology based on hierarchical petri nets. IEEE Access 8, 71617–71627 (2020)

    Article  Google Scholar 

  10. Figat, M., Zieliński, C.: Parameterised robotic system meta-model expressed by hierarchical petri nets. Robot. Auton. Syst. 150, 103987 (2022)

    Article  Google Scholar 

  11. Figat, M., Zieliński, C.: Synthesis of robotic system controllers using robotic system specification language. IEEE Robot. Automat. Lett. 8(2), 688–695 (2023)

    Article  Google Scholar 

  12. Friedenthal, S., Moore, A., Steiner, R.: A practical guide to SysML: The systems modeling language, 3rd edn. Elsevier, Morgan Kaufmann (2015)

    Google Scholar 

  13. Hayward, V., Paul, R.P.: Robot manipulator control under Unix RCCL: A robot control C library. Int. J. Robot. Res. 5(4) (1986)

    Google Scholar 

  14. Kaisler, S.: Software Paradigms. Wiley Interscience, Hoboken (2005)

    Google Scholar 

  15. Kornuta, T., Zieliński, C., Winiarski, T.: A universal architectural pattern and specification method for robot control system design. Bull. Polish Acad. Sci. Tech. Sci. 68(1), 3–29 (2020)

    Google Scholar 

  16. Makarenko, A., Brooks, A., Kaupp, T.: Orca: Components for robotics. In: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2006), pp. 163–168 (October 2006)

    Google Scholar 

  17. Metta, G., Fitzpatrick, P., Natale, L.: YARP: yet another robot platform. Int. J. Adv. Robot. Syst. 3(1), 43–48 (2006)

    Article  Google Scholar 

  18. Nordmann, A., Hochgeschwender, N., Wrede, S.: A survey on domain-specific languages in robotics. In: Brugali, D., Broenink, J.F., Kroeger, T., MacDonald, B.A. (eds.) SIMPAR 2014. LNCS (LNAI), vol. 8810, pp. 195–206. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-11900-7_17

    Chapter  Google Scholar 

  19. Quigley, M., et al.: ROS: an open-source robot operating system. In: Proceedings of the Open-Source Software Workshop at the International Conference on Robotics and Automation (ICRA) (2009)

    Google Scholar 

  20. Redmon, J., Farhadi, A.: Yolov3: An incremental improvement (2018)

    Google Scholar 

  21. Schmidt, D.: Model-driven engineering. IEEE Comput. 39(2), 25–31 (2006)

    Google Scholar 

  22. Wirth, N.: Algorithms + Data Structures = Programs. Prentice Hall PTR, Upper Saddle River, NJ, USA (1978)

    Google Scholar 

  23. Zieliński, C.: The MRROC++ system. In: Proceedings of the First Workshop on Robot Motion and Control, RoMoCo 1999, pp. 147–152 (June 1999)

    Google Scholar 

  24. Zieliński, C.: Robotic system design methodology utilising embodied agents. In: Kulczycki, P., Korbicz, J., Kacprzyk, J. (eds.) Automatic Control, Robotics, and Information Processing. SSDC, vol. 296, pp. 523–561. Springer, Cham (2021). https://doi.org/10.1007/978-3-030-48587-0_17

  25. Zieliński, C., Winiarski, T., Szynkiewicz, W., Kornuta, T., Trojanek, P.: Inteligencja wokół nas. Współdziałanie agentów softwareowych, robotów, inteligentnych urządzeń, vol. 15, chap. MRROC++ – programowa struktura ramowa do tworzenia sterowników systemów wielorobotowych, pp. 317–384. EXIT (2010)

    Google Scholar 

  26. Zieliński, C., Figat, M., Hexel, R.: Communication within Multi-FSM based robotic systems. J. Intell. Robot. Syst. 93(3), 787–805 (2019)

    Article  Google Scholar 

  27. Zieliński, C., et al.: Variable structure robot control systems: The RAPP approach. Robot. Auton. Syst. 94, 226–244 (2017)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Control and Computation Engineering, Warsaw University of Technology, Nowowiejska 15/19, 00–665, Warsaw, Poland

    Cezary Zieliński & Maksym Figat

Authors
  1. Cezary Zieliński
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Maksym Figat
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Cezary Zieliński .

Editor information

Editors and Affiliations

  1. Silesian University of Technology, Gliwice, Poland

    Marek Pawelczyk

  2. Silesian University of Technology, Gliwice, Poland

    Dariusz Bismor

  3. Silesian University of Technology, Gliwice, Poland

    Szymon Ogonowski

  4. Systems Research Institute, Polish Academy of Science, Warsaw, Poland

    Janusz Kacprzyk

Rights and permissions

Reprints and permissions

Copyright information

© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Zieliński, C., Figat, M. (2023). Robotic System Specification Language Use Case. In: Pawelczyk, M., Bismor, D., Ogonowski, S., Kacprzyk, J. (eds) Advanced, Contemporary Control. PCC 2023. Lecture Notes in Networks and Systems, vol 709. Springer, Cham. https://doi.org/10.1007/978-3-031-35173-0_26

Download citation

Publish with us

Policies and ethics

Search

Navigation