Abstract
Synthesis and tasks execution is a well known problem pertaining to different fields. With the advent of Industry 4.0, the need to schedule and execute very complex tasks that involve different machinery or robots has become a key topic. In this article we propose a methodology that allows to define and monitor the execution of high-level tasks for a heterogeneous multi-robot system involved in assembly tasks. With the proposed approach, a state-chart is automatically synthesized starting from the definition of high-level tasks. The state-chart is then used to monitor online the operations that the robots must execute. The proposed methodology has been validated and tested in a research facility that reproduces a complete production line involving collaborative robotic arms, mobile robots and manufacturing machines.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Trstenjak, M., Cosic, P.: Process planning in industry 4.0 environment. Proced. Manuf. 11, 1744–1750 (2017)
Michael, N., Zavlanos, M.M. Kumar, V., Pappas, G.J.: Distributed multi-robot task assignment and formation control. In: 2008 IEEE International Conference on Robotics and Automation, pp. 128–133, IEEE (2008)
Ice laboratory, universirty of verona. https://www.icelab.di.univr.it
Ziparo, V.A., Iocchi, L., Lima, P.U., Nardi, D., Palamara, P.F.: Petri net plans. Autonomous Agents and Multi-Agent Systems 23(3), 344–383 (2011)
Palamara, P.F., Ziparo, V.A., Iocchi, L., Nardi, D., Lima, P.: Teamwork design based on petri net plans. In: Robot Soccer World Cup, pp. 200–211, Springer (2008)
Cashmore, M., Fox, M., Long, D., Magazzeni, D., Ridder, B., Carrera, A., Palomeras, N., Hurtos, N., Carreras, M.: Rosplan: planning in the robot operating system. In: Proceedings of the International Conference on Automated Planning and Scheduling, vol. 25 (2015)
Canal, G., Cashmore, M., Krivić, S., Alenyà, G., Magazzeni, D., Torras, C.: Probabilistic planning for robotics with rosplan. In: Annual Conference Towards Autonomous Robotic Systems, pp. 236–250, Springer (2019)
Spellini, S., Chirico, R., Lora, M., Fummi, F.: Languages and formalisms to enable eda techniques in the context of industry 4.0. In: 2019 Forum for Specification and Design Languages (FDL), pp. 1–4, IEEE (2019)
Galindo, C., Fernández-Madrigal, J.-A., González, J., Saffiotti, A.: Robot task planning using semantic maps. Robot. Autonom. Syst. 56(11), 955–966 (2008)
Falezza, F., Piccinelli, N., De Rossi, G., Roberti, A., Kronreif, G., Setti, F., Fiorini, P., Muradore, R.: Modeling of surgical procedures using state charts for semi-autonomous robotic surgery. IEEE Trans. Med. Robot. Bion. 3(4), 888–899 (2021)
Marchand, E., Spindler, F., Chaumette, F.: ViSP for visual servoing: a generic software platform with a wide class of robot control skills. IEEE Robot. Automat. Magaz. 12, 40–52 (2005)
Trinh, S., Spindler, F., Marchand, E., Chaumette, F.: A modular framework for model-based visual tracking using edge, texture and depth features. In: IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS’18, (Madrid, Spain), October 2018
Tsai, R.Y., Lenz, R.K., et al.: A new technique for fully autonomous and efficient 3 d robotics hand/eye calibration. IEEE Trans. Robot. Automat. 5(3), 345–358 (1989)
Stanford Artificial Intelligence Laboratory et al.: Robotic operating system
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Trotti, F., Ghignoni, E., Muradore, R., Farinelli, A. (2023). Synthesis and Monitoring of Complex Tasks for Heterogeneous Robots in an Industry 4.0 Scenario. In: Petrovic, I., Menegatti, E., Marković, I. (eds) Intelligent Autonomous Systems 17. IAS 2022. Lecture Notes in Networks and Systems, vol 577. Springer, Cham. https://doi.org/10.1007/978-3-031-22216-0_49
Download citation
DOI: https://doi.org/10.1007/978-3-031-22216-0_49
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-22215-3
Online ISBN: 978-3-031-22216-0
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)