Robotic Systems Implementation Based on FSMs

  • Cezary Zieliński
  • Maksym Figat
  • René Hexel
Conference paper
Part of the Advances in Intelligent Systems and Computing book series (AISC, volume 743)


This paper presents a robotic system development methodology, starting with the creation of a system model and ending with its implementation. Our methodology is based on the concept of an embodied agent, which is decomposed into subsystems. The activities of those subsystems are described in terms of FSMs which invoke behaviours parameterised by transition functions, taking as arguments the contents of subsystem input buffers and their internal memory. Those theoretical concepts are transformed into implementation concepts such as: hierarchical LLFSMs, scheduler, and whiteboard. The proposed design methodology is illustrated on a table-tennis ball collecting robot. Moreover, the evaluation of the performance of the resulting system is presented.


Robotic system Specification Implementation 



This work was supported by the Erasmus Mundus Action 2 PANTHER (Pacific Atlantic Network for Technical Higher Education and Research) grant.


  1. 1.
    Kortenkamp, D., Simmons, R.: Robotic systems architectures and programming. In: Khatib, O., Siciliano, B. (eds.) Springer Handbook of Robotics, pp. 187–206. Springer (2008)Google Scholar
  2. 2.
    Coste-Maniere, E., Simmons, R.: Architecture, the backbone of robotic systems. In: IEEE International Conference on Robotics and Automation, Proceedings, ICRA 2000, vol. 1, pp. 67–72 (2000)Google Scholar
  3. 3.
    Brambilla, M., Cabot, J., Wimmer, M.: Model-Driven Software Engineering in Practice. Synthesis Lectures on Software Engineering. Morgan & Claypool, Williston (2012)Google Scholar
  4. 4.
    Brugali, D., Cisternino, G., Colombo, D., Fritsch, J., Gerkey, B., Kraetzschmar, G., Vaughan, R., Utz, H.: Trends in robotic software frameworks. In: Software Engineering for Experimental Robotics, pp. 259–266 (2007)Google Scholar
  5. 5.
    Kent, S.: Model driven engineering. In: Proceedings of the Third International Conference on Integrated Formal Methods, IFM 2002, pp. 286–298. Springer, London (2002).
  6. 6.
    Object Management Group: OMG Unified Modeling Language (OMG UML), Superstructure, Version 2.3. Technical report, OMG (May 2010).
  7. 7.
  8. 8.
    Friedenthal, S., Moore, A., Steiner, R.: A Practical Guide to SysML: The Systems Modeling Language. Morgan Kaufmann, San Francisco (2014)Google Scholar
  9. 9.
    Nordmann, A., Hochgeschwender, N., Wrede, S.: A survey on domain-specific languages in robotics. In: Simulation, Modeling, and Programming for Autonomous Robots, Lecture Notes in Computer Science, vol. 8810, pp. 195–206. Springer International Publishing (2014)Google Scholar
  10. 10.
    Zieliński, C., Figat, M.: Robot system design procedure based on a formal specification. In: Recent Advances in Automation, Robotics and Measuring Techniques. Advances in Intelligent Systems and Computing (AISC), vol. 440, pp. 511–522. Springer (2016)Google Scholar
  11. 11.
    Figat, M., Zieliński, C., Hexel, R.: FSM based specification of robot control system activities. In: 2017 11th International Workshop on Robot Motion and Control (RoMoCo), pp. 193–198, July 2017Google Scholar
  12. 12.
    Brooks, R.A.: Intelligence without reason. Artif. Intell. Crit. Concepts 3, 107–163 (1991)zbMATHGoogle Scholar
  13. 13.
    Jennings, N.R., Sycara, K., Wooldridge, M.: A roadmap of agent research and development. Auton. Agents Multi-Agent Syst. 1(1), 7–38 (1998). CrossRefGoogle Scholar
  14. 14.
    Zieliński, C., Winiarski, T.: General specification of multi-robot control system structures. Bull. Pol. Acad. Sci. Tech. Sci. 58(1), 15–28 (2010)Google Scholar
  15. 15.
    Hayes-Roth, B.: A blackboard architecture for control. In: Bond, A.H., Gasser, L. (eds.) Distributed Artificial Intelligence, pp. 505–540. Morgan Kaufmann Publishers Inc., San Francisco (1988).
  16. 16.
    Estivill-Castro, V., Hexel, R., Lusty, C.: High Performance Relaying of C++11 Objects across Processes and Logic-Labeled Finite-State Machines, pp. 182–194. Springer, Cham (2014).
  17. 17.
    Joukoff, D., Estivill-Castro, V., Hexel, R., Lusty, C.: Fast MAV control by control/status OO-messages on shared-memory middleware. In: Kim, J.H., Karray, F., Jo, J., Sincak, P., Myung, H. (eds.) Robot Intelligence Technology and Applications 4: Results from the 4th International Conference on Robot Intelligence Technology and Applications, pp. 195–211. Springer International Publishing (2017)Google Scholar

Copyright information

© Springer International Publishing AG 2018

Authors and Affiliations

  1. 1.Institute of Control and Computation EngineeringWarsaw University of TechnologyWarsawPoland
  2. 2.School of ICTGriffith UniversityNathanAustralia

Personalised recommendations