Robot System Design Procedure Based on a Formal Specification

  • Cezary ZielińskiEmail author
  • Maksym Figat
Conference paper
Part of the Advances in Intelligent Systems and Computing book series (AISC, volume 440)


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.


Robot system specification Controller code generation 



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


  1. 1.
    Kaisler, S.: Software Paradigms. Wiley Interscience (2005)Google Scholar
  2. 2.
    Fowler, M.: Domain Specific Languages, 1st edn. Addison-Wesley Professional (2010)Google Scholar
  3. 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. 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. 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. 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. 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. 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 2013Google Scholar
  9. 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 ManufacturingGoogle Scholar
  10. 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. 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. 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. 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. 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. 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. 16.
    Brooks, R.A.: Intelligence without reason. Artif. Intell.: Crit. Concepts 3, 107–163 (1991)Google Scholar
  17. 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. 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)CrossRefGoogle Scholar
  19. 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. IEEEGoogle Scholar
  20. 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. 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. 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. 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. 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

Copyright information

© Springer International Publishing Switzerland 2016

Authors and Affiliations

  1. 1.Warsaw University of TechnologyWarsawPoland

Personalised recommendations