Skip to main content
SpringerLink
Log in

Robot System Design Procedure Based on a Formal Specification

  • Conference paper
  • First Online:
Challenges in Automation, Robotics and Measurement Techniques (ICA 2016)

Part of the book series: Advances in Intelligent Systems and Computing ((AISC,volume 440))

Included in the following conference series:

Abstract

This paper presents a robot control system design procedure based on a formal specification. The specification describes both the structure and the activities of a robot system in a formal manner. Using this specification the code of the robot system controller can be produced. The paper shows how. Moreover it has been shown that the complexity of the robot control system is concentrated in two of its elements: transition functions and the structure of the FSM. The reduction of the complexity of transition functions simultaneously increases the number of states of the FSM and vice versa, so it is up to the designer of the system to choose the adequate complexity level of this pair.

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. Kaisler, S.: Software Paradigms. Wiley Interscience (2005)

    Google Scholar 

  2. Fowler, M.: Domain Specific Languages, 1st edn. Addison-Wesley Professional (2010)

    Google Scholar 

  3. Nordmann, A., Hochgeschwender, N., Wrede, S.: A survey on domain-specific languages in robotics. In: Brugali, D., Broenink, J., Kroeger, T., MacDonald, B. (eds.) Simulation, Modeling, and Programming for Autonomous Robots. Lecture Notes in Computer Science, vol. 8810, pp. 195–206. Springer International Publishing (2014)

    Google Scholar 

  4. Bischoff, R., Guhl, T., Prassler, E., Nowak, W., Kraetzschmar, G., Bruyninckx, H., Soetens, P., Haegele, M., Pott, A., Breedveld, P., Broenink, J., Brugali, D., Tomatis, N.: Brics—best practice in robotics. In: Robotics (ISR), 2010 41st International Symposium on and 2010 6th German Conference on Robotics (ROBOTIK), pp. 1–8 (2010)

    Google Scholar 

  5. Trojanek, P.: Model-driven engineering approach to design and implementation of robot control system. In: 2nd International Workshop on Domain-Specific Languages and models for ROBotic systems (DSLRob’11), arXiv preprint arXiv:1302.5085 (Sept 2011)

  6. Fleury, S., Herrb, M., Chatila, R.: Genom: a tool for the specification and the implementation of operating modules in a distributed robot architecture. In: Proceedings of the 1997 IEEE/RSJ International Conference on Intelligent Robots and Systems. IROS ’97, vol. 2, pp. 842–849 (1997)

    Google Scholar 

  7. Dhouib, S., Kchir, S., Stinckwich, S., Ziadi, T., Ziane, M.: Robotml, a domain-specific language to design, simulate and deploy robotic applications. In: Simulation, Modeling, and Programming for Autonomous Robots, pp. 149–160. Springer (2012)

    Google Scholar 

  8. Ringert, J.O., Rumpe, B., Wortmann, A.: Montiarcautomaton: modeling architecture and behavior of robotic systems. In: In Workshops and Tutorials Proceedings of the 2013 IEEE International Conference on Robotics and Automation (ICRA), 6–10 May 2013

    Google Scholar 

  9. Stenmark, M., Malec, J.: Knowledge-based instruction of manipulation tasks for industrial robotics. Robot. Comput.-Integr. Manuf. 33, 56–67 (2015). Special Issue on Knowledge Driven Robotics and Manufacturing

    Google Scholar 

  10. Stenmark, M., Nugues, P.: Natural language programming of industrial robots. In: 2013 44th International Symposium on Robotics (ISR), pp. 1–5 (2013)

    Google Scholar 

  11. Stenmark, M., Malec, J., Stolt, A.: From high-level task description to executable robot code. In: Proceedings of the 7th IEEE International Conference Intelligent Systems IS’2014, pp. 189–202 (2014)

    Google Scholar 

  12. Ringert, J.O., Roth, A., Rumpe, B., Wortmann, A.: Code generator composition for model-driven engineering of robotics component and connector systems. In: Proceedings of the1st International Workshop on Model-Driven Robot Software Engineering (MORSE 2014) (2014)

    Google Scholar 

  13. Kapoor, C., Tesar, D.: A reusable operational software architecture for advanced robotics. In: 12th CSIM-IFToMM Symposium on Theory and Practice of Robots and Manips (1998)

    Google Scholar 

  14. Batory, D.: A tutorial on feature oriented programming and product-lines. In: Proceedings of the 25th International Conference on Software Engineering. ICSE ’03, pp. 753–754. IEEE Computer Society (2003)

    Google Scholar 

  15. Jung, E., Kapoor, C., Batory, D.: Automatic code generation for actuator interfacing from a declarative specification. In: 2005 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2005), pp. 2839–2844 (2005)

    Google Scholar 

  16. Brooks, R.A.: Intelligence without reason. Artif. Intell.: Crit. Concepts 3, 107–163 (1991)

    Google Scholar 

  17. Zieliński, C., Winiarski, T.: General specification of multi-robot control system structures. Bull. Polish Acad. Sci.—Tech. Sci. 58(1), 15–28 (2010)

    Google Scholar 

  18. Kornuta, T., Zieliński, C.: Robot control system design exemplified by multi-camera visual servoing. J. Intell. Robot. Syst. 77(3–4), 499–524 (2015)

    Article  Google Scholar 

  19. Zieliński, C., Kornuta, T., Winiarski, T.: A systematic method of designing control systems for service and field robots. In: 19-th IEEE International Conference on Methods and Models in Automation and Robotics, MMAR’2014, pp. 1–14. IEEE

    Google Scholar 

  20. Zieliński, C., Kornuta, T.: An object-based robot ontology. In: Advances in Intelligent Systems and Computing (AISC), vol. 323, pp. 3–14. Springer (2015)

    Google Scholar 

  21. Kornuta, T., Winiarski, T., Zieliński, C.: Specification of abstract robot skills in terms of control system behaviours. In: Szewczyk, R., Zieliński, C., Kaliczyńska, M. (eds.) Progress in Automation, Robotics and Measuring Techniques. Vol. 2 Robotics. Advances in Intelligent Systems and Computing (AISC), vol. 351, pp. 139–152. Springer (2015)

    Google Scholar 

  22. Trojanek, P., Kornuta, T., Zieliński, C.: Design of asynchronously stimulated robot behaviours. In: Kozłowski, K. (ed.) 9th Workshop on Robot Motion and Control (RoMoCo), vol. 129–134 (2013)

    Google Scholar 

  23. Janiak, M., Zieliński, C.: Control system architecture for the investigation of motion control algorithms on an example of the mobile platform rex. Bull. Polish Acad. Sci.—Tech. Sci. 63(3), 667–678 (2015)

    Google Scholar 

  24. Szlenk, M., Zieliński, C., Figat, M., Kornuta, T.: Reconfigurable agent architecture for robots utilising cloud computing. In: Szewczyk, R., Zieliński, C., Kaliczyńska, M. (eds.) Progress in Automation, Robotics and Measuring Techniques. Vol. 2 Robotics. Advances in Intelligent Systems and Computing (AISC), vol. 351, pp. 253–264. Springer (2015)

    Google Scholar 

Download references

Acknowledgments

This project was funded by the National Science Centre grant number DEC-2012/05/D/ST6/03097.

Author information

Authors and Affiliations

  1. Warsaw University of Technology, 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. Automation and Measurements PIAP, Industrial Research Institute for, Warsaw, Poland

    Roman Szewczyk

  2. Automation and Measurements PIAP, Industrial Research Institute for, Warsaw, Poland

    Cezary Zieliński

  3. Automation and Measurements PIAP, Industrial Research Institute for, Warsaw, Poland

    Małgorzata Kaliczyńska

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing Switzerland

About this paper

Cite this paper

Zieliński, C., Figat, M. (2016). Robot System Design Procedure Based on a Formal Specification. In: Szewczyk, R., Zieliński, C., Kaliczyńska, M. (eds) Challenges in Automation, Robotics and Measurement Techniques. ICA 2016. Advances in Intelligent Systems and Computing, vol 440. Springer, Cham. https://doi.org/10.1007/978-3-319-29357-8_45

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-29357-8_45

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-29356-1

  • Online ISBN: 978-3-319-29357-8

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation