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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Kaisler, S.: Software Paradigms. Wiley Interscience (2005)
Fowler, M.: Domain Specific Languages, 1st edn. Addison-Wesley Professional (2010)
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)
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)
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)
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)
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)
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
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
Stenmark, M., Nugues, P.: Natural language programming of industrial robots. In: 2013 44th International Symposium on Robotics (ISR), pp. 1–5 (2013)
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)
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)
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)
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)
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)
Brooks, R.A.: Intelligence without reason. Artif. Intell.: Crit. Concepts 3, 107–163 (1991)
Zieliński, C., Winiarski, T.: General specification of multi-robot control system structures. Bull. Polish Acad. Sci.—Tech. Sci. 58(1), 15–28 (2010)
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)
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
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)
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)
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)
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)
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)
Acknowledgments
This project was funded by the National Science Centre grant number DEC-2012/05/D/ST6/03097.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights 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)