{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T02:45:52Z","timestamp":1761965152166},"publisher-location":"Cham","reference-count":48,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030345068"},{"type":"electronic","value":"9783030345075"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-34507-5_4","type":"book-chapter","created":{"date-parts":[[2020,2,6]],"date-time":"2020-02-06T11:04:15Z","timestamp":1580987055000},"page":"57-96","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":21,"title":["PIROS: Cooperative, Safe and Reconfigurable Robotic Companion for CNC Pallets Load\/Unload Stations"],"prefix":"10.1007","author":[{"given":"Federico","family":"Vicentini","sequence":"first","affiliation":[]},{"given":"Nicola","family":"Pedrocchi","sequence":"additional","affiliation":[]},{"given":"Manuel","family":"Beschi","sequence":"additional","affiliation":[]},{"given":"Matteo","family":"Giussani","sequence":"additional","affiliation":[]},{"given":"Niccol\u00f2","family":"Iannacci","sequence":"additional","affiliation":[]},{"given":"Paolo","family":"Magnoni","sequence":"additional","affiliation":[]},{"given":"Stefania","family":"Pellegrinelli","sequence":"additional","affiliation":[]},{"given":"Loris","family":"Roveda","sequence":"additional","affiliation":[]},{"given":"Enrico","family":"Villagrossi","sequence":"additional","affiliation":[]},{"given":"Mehrnoosh","family":"Askarpour","sequence":"additional","affiliation":[]},{"given":"Inaki","family":"Maurtua","sequence":"additional","affiliation":[]},{"given":"Alberto","family":"Tellaeche","sequence":"additional","affiliation":[]},{"given":"Francesco","family":"Becchi","sequence":"additional","affiliation":[]},{"given":"Giovanni","family":"Stellin","sequence":"additional","affiliation":[]},{"given":"Giuseppe","family":"Fogliazza","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,2,7]]},"reference":[{"issue":"2","key":"4_CR1","doi-asserted-by":"publisher","first-page":"707","DOI":"10.1016\/j.cirp.2017.05.010","volume":"66","author":"J Kr\u00fcger","year":"2017","unstructured":"Kr\u00fcger, J., Wang, L., Verl, A., Bauernhansl, T., Carpanzano, E., Makris, S., Fleischer, J., Reinhart, G., Franke, J., Pellegrinelli, S.: Innovative control of assembly systems and lines. CIRP Ann. 66(2), 707\u2013730 (2017)","journal-title":"CIRP Ann."},{"key":"4_CR2","unstructured":"Chryssolouris, G.: Manufacturing Systems: Theory and Practice. Springer Science & Business Media (2013)"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Tolio, T.: Design of Flexible Production Systems. Springer (2008)","DOI":"10.1007\/978-3-540-85414-2"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Brettel, M., Klein, M., Friederichsen, N.: The relevance of manufacturing flexibility in the context of industrie 4.0. Proc. CIRP 41, 105\u2013110 (2016). Research and Innovation in Manufacturing: Key Enabling Technologies for the Factories of the Future - Proceedings of the 48th CIRP Conference on Manufacturing Systems","DOI":"10.1016\/j.procir.2015.12.047"},{"issue":"4","key":"4_CR5","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1007\/s10696-006-9028-7","volume":"17","author":"Hoda A ElMaraghy","year":"2005","unstructured":"ElMaraghy, Hoda A.: Flexible and reconfigurable manufacturing systems paradigms. Int. J. Flex. Manuf. Syst. 17(4), 261\u2013276 (2005). Oct","journal-title":"Int. J. Flex. Manuf. Syst."},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Roveda, L., Vicentini, F., Tosatti, L.M.: Deformation-tracking impedance control in interaction with uncertain environments. In: 2013 IEEE\/RSJ International Confererence on Intelligent Robots and Systems (IROS), pp. 1992\u20131997. IEEE (2013)","DOI":"10.1109\/IROS.2013.6696621"},{"key":"4_CR7","volume-title":"Robot force control","author":"Bruno Siciliano","year":"2000","unstructured":"Siciliano, Bruno, Villani, Luigi: Robot force control, 1st edn. Kluwer Academic Publishers, Norwell, MA, USA (2000)","edition":"1"},{"issue":"4","key":"4_CR8","doi-asserted-by":"publisher","first-page":"329","DOI":"10.3233\/ICA-2006-13403","volume":"13","author":"Thomas Geerinck","year":"2006","unstructured":"Geerinck, T., Colon, E., Berrabah, S.A., Cauwerts, K., Sahli, H.: Tele-robot with shared autonomy: distributed navigation development framework. Integr. Comput.-Aided Eng. 13(4), 329\u2013345 (2006)","journal-title":"Integrated Computer-Aided Engineering"},{"issue":"4","key":"4_CR9","doi-asserted-by":"publisher","first-page":"353","DOI":"10.3233\/ICA-2005-12404","volume":"12","author":"Xiaolin Hu","year":"2005","unstructured":"Hu, X., Zeigler, B.P.: A simulation-based virtual environment to study cooperative robotic systems. Integ. Comput.-Aided Eng. 12(4), 353\u2013367 (2005)","journal-title":"Integrated Computer-Aided Engineering"},{"key":"4_CR10","doi-asserted-by":"publisher","first-page":"551","DOI":"10.1016\/j.procir.2016.11.095","volume":"57","author":"Panagiota Tsarouchi","year":"2016","unstructured":"Tsarouchi, Panagiota, Makris, Sotiris, Chryssolouris, George: On a human and dual-arm robot task planning method. Proc. CIRP 57, 551\u2013555 (2016)","journal-title":"Proc. CIRP"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"Srivastava, S., Fang, E., Riano, L., Chitnis, R., Russell, S., Abbeel, P.: Combined task and motion planning through an extensible planner-independent interface layer. In: 2014 IEEE international conference on robotics and automation (ICRA), pp. 639\u2013646. IEEE (2014)","DOI":"10.1109\/ICRA.2014.6906922"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"De\u00a0Silva, L., Lallement, R., Alami, R.: The hatp hierarchical planner: formalisation and an initial study of its usability and practicality. In: 2015 IEEE\/RSJ international conference on intelligent robots and systems (IROS), pp. 6465\u20136472. IEEE (2015)","DOI":"10.1109\/IROS.2015.7354301"},{"issue":"1","key":"4_CR13","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/j.cirp.2016.04.035","volume":"65","author":"Stefania Pellegrinelli","year":"2016","unstructured":"Pellegrinelli, S., Moro, F.L., Pedrocchi, N., Tosatti, L.M., Tolio, T.: A probabilistic approach to workspace sharing for human\u2014robot cooperation in assembly tasks. CIRP Ann. 65(1), 57\u201360 (2016)","journal-title":"CIRP Annals"},{"issue":"1","key":"4_CR14","doi-asserted-by":"publisher","first-page":"81","DOI":"10.3233\/ICA-170558","volume":"25","author":"Stefania Pellegrinelli","year":"2017","unstructured":"Pellegrinelli, Stefania, Pedrocchi, Nicola: Estimation of robot execution time for close proximity human-robot collaboration. Integ. Comput.-Aided Eng. 25(1), 81\u201396 (2017). Dec","journal-title":"Integ. Comput.-Aided Eng."},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Ding, H., Schipper, M., Matthias, B.: Collaborative behavior design of industrial robots for multiple human-robot collaboration. In: IEEE ISR 2013, pp. 1\u20136. IEEE (2013)","DOI":"10.1109\/ISR.2013.6695707"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"Ding, H., Heyn, J., Matthias, B., Staab, H.: Structured collaborative behavior of industrial robots in mixed human-robot environments. In: 2013 IEEE international conference on automation science and engineering (CASE), pp. 1101\u20131106. IEEE (2013)","DOI":"10.1109\/CoASE.2013.6653962"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"Weitschat, R., Ehrensperger, J., Maier, M., Aschemann, H.: Safe and efficient human-robot collaboration part i: estimation of human arm motions. In: 2018 IEEE international conference on robotics and automation (ICRA), pp. 1993\u20131999. IEEE (2018)","DOI":"10.1109\/ICRA.2018.8461190"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Nicolis, D., Zanchettin, A.M., Rocco, P.: Human intention estimation based on neural networks for enhanced collaboration with robots. In: 2018 IEEE\/RSJ international conference on intelligent robots and systems (IROS), pp. 1326\u20131333. IEEE (2018)","DOI":"10.1109\/IROS.2018.8594415"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"Thomas, U., Hirzinger, G., Rumpe, B., Schulze, C., Wortmann, A.: A new skill based robot programming language using uml\/p statecharts. In: 2013 IEEE international conference on robotics and automation (ICRA), pp. 461\u2013466. IEEE (2013)","DOI":"10.1109\/ICRA.2013.6630615"},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"Steck, A., Schlegel, C.: Managing execution variants in task coordination by exploiting design-time models at run-time. In: 2011 IEEE\/RSJ international conference on intelligent robots and systems (IROS), pp. 2064\u20132069. IEEE (2011)","DOI":"10.1109\/IROS.2011.6094732"},{"issue":"4","key":"4_CR21","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1109\/MRA.2009.934837","volume":"16","author":"Davide Brugali","year":"2009","unstructured":"Brugali, D., Scandurra, P.: Component-based robotic engineering (part i)[tutorial]. IEEE Robotics Autom. Mag. 16(4), 84\u201396 (2009)","journal-title":"IEEE Robotics & Automation Magazine"},{"issue":"1","key":"4_CR22","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1109\/MRA.2010.935798","volume":"17","author":"Davide Brugali","year":"2010","unstructured":"Brugali, Davide, Shakhimardanov, Azamat: Component-based robotic engineering (part ii). IEEE Robotics Autom. Mag. 17(1), 100\u2013112 (2010)","journal-title":"IEEE Robotics Autom. Mag."},{"key":"4_CR23","doi-asserted-by":"crossref","unstructured":"Lewis, R.: Modelling Control Systems Using IEC 61499: Applying Function Blocks to Distributed Systems. Number\u00a059. IET (2001)","DOI":"10.1049\/PBCE059E"},{"issue":"4","key":"4_CR24","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/MIE.2009.934796","volume":"3","author":"Valeriy Vyatkin","year":"2009","unstructured":"Vyatkin, Valeriy: The IEC 61499 standard and its semantics. IEEE Ind. Electron. Mag. 3(4), 40\u201348 (2009)","journal-title":"IEEE Ind. Electron. Mag."},{"key":"4_CR25","doi-asserted-by":"crossref","unstructured":"Strasser, T., Rooker, M., Ebenhofer, G., Zoitl, A., Sunder, C., Valentini, A., Martel, A.: Structuring of large scale distributed control programs with IEC 61499 subapplications and a hierarchical plant structure model. In: 2008 IEEE international conference on emerging technologies and factory automation, pp. 934\u2013941. IEEE (2008)","DOI":"10.1109\/ETFA.2008.4638507"},{"key":"4_CR26","unstructured":"Sunder, C., Zoitl, A., Strasser, T., Favre-Bulle, B.: Intuitive control engineering for mechatronic components in distributed automation systems based on the reference model of IEC 61499. In: INDIN\u201905. 2005 3rd IEEE international conference on industrial informatics, 2005, pp. 50\u201355. IEEE (2005)"},{"key":"4_CR27","doi-asserted-by":"crossref","unstructured":"Wenger, M., Eisenmenger, W., Neugschwandtner, G., Schneider, B., Zoitl, A.: A model based engineering tool for ros component compositioning, configuration and generation of deployment information. In: 2016 IEEE 21st international conference on emerging technologies and factory automation (ETFA), pp. 1\u20138. IEEE (2016)","DOI":"10.1109\/ETFA.2016.7733559"},{"key":"4_CR28","unstructured":"Zander, S., Heppner, G., Neugschwandtner, G., Awad, R., Essinger, M., Ahmed, N.: A model-driven engineering approach for ROS using ontological semantics. arXiv preprint \narXiv:1601.03998\n\n (2016)"},{"key":"4_CR29","doi-asserted-by":"crossref","unstructured":"Allen, J.F.: Maintaining knowledge about temporal intervals. In: Readings in qualitative reasoning about physical systems, pp. 361\u2013372. Elsevier (1990)","DOI":"10.1016\/B978-1-4832-1447-4.50033-X"},{"key":"4_CR30","doi-asserted-by":"crossref","unstructured":"Iannacci, N., Giussani, M., Vicentini, F., Tosatti, L.M.: Robotic cell work-flow management through an IEC 61499-ROS architecture. In: 2016 IEEE 21st international conference on emerging technologies and factory automation (ETFA), pp. 1\u20137. IEEE (2016)","DOI":"10.1109\/ETFA.2016.7733528"},{"issue":"2","key":"4_CR31","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1109\/TSMC.2014.2337275","volume":"45","author":"Jeremy A. Marvel","year":"2015","unstructured":"Marvel, J.A., Falco, J., Marstio, I.: Characterizing task-based human\u2014robot collaboration safety in manufacturing. IEEE Trans. Syst. Man Cybern Syst 45(2), 260\u2013275 (2014)","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics: Systems"},{"key":"4_CR32","doi-asserted-by":"crossref","unstructured":"Mayer, M.C.,Orlandini, A., Umbrico, A.: Planning and execution with flexible timelines: a formal account. Acta Inform. 53(6\u20138), 649\u2013680 (2016)","DOI":"10.1007\/s00236-015-0252-z"},{"key":"4_CR33","doi-asserted-by":"crossref","unstructured":"Alami, R., Clodic, A., Montreuil, V., Sisbot, E.A., Chatila, R.: Task planning for human-robot interaction. In: Proceedings of the 2005 joint conference on smart objects and ambient intelligence: innovative context-aware services: usages and technologies, pp. 81\u201385. ACM (2005)","DOI":"10.1145\/1107548.1107574"},{"key":"4_CR34","doi-asserted-by":"crossref","unstructured":"Cesta, A., Orlandini, A., Bernardi, G., Umbrico, A.: Towards a planning-based framework for symbiotic human-robot collaboration. In: 2016 IEEE 21st international conference on emerging technologies and factory automation (ETFA), pp. 1\u20138. IEEE (2016)","DOI":"10.1109\/ETFA.2016.7733585"},{"key":"4_CR35","doi-asserted-by":"crossref","unstructured":"Furia, C.A., Mandrioli, D., Morzenti, A., Rossi, M.: Modeling Time in Computing. Monographs in Theoretical Computer Science. An EATCS Series. Springer (2012)","DOI":"10.1007\/978-3-642-32332-4"},{"key":"4_CR36","unstructured":"PoliMi.: Zot: a bounded satisfiability checker. \nhttp:\/\/github.com\/fm-polimi\/zot\n\n (2012)"},{"issue":"3","key":"4_CR37","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2491509.2491514","volume":"22","author":"Matteo Pradella","year":"2013","unstructured":"Pradella, M., Morzenti, M., San Pietro, P.: Bounded satisfiability checking of metric temporal logic specifications. ACM TOSEM 22(3), 20, 1\u201320, 54 (2013)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"4_CR38","doi-asserted-by":"crossref","unstructured":"Baresi, L., Pourhashem Kallehbasti, M.M., Rossi, M.: Efficient scalable verification of LTL specifications. In: Proceedings of the 37th international conference on software engineering, pp. 711\u2013721. IEEE Press (2015)","DOI":"10.1109\/ICSE.2015.84"},{"issue":"2","key":"4_CR39","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1667062.1667063","volume":"42","author":"Carlo A. Furia","year":"2010","unstructured":"Furia, C.A., Mandrioli, D., Morzenti, A., Rossi, M.: Modeling time in computing: a taxonomy and a comparative survey. ACM Comput. Surv. 42(2), 6, 1\u20136, 59 (2010)","journal-title":"ACM Computing Surveys"},{"key":"4_CR40","first-page":"89","volume-title":"Lecture Notes in Computer Science","author":"Mehrnoosh Askarpour","year":"2017","unstructured":"Askarpour, M., Mandrioli, D., Rossi, M., Vicentini, F.: Modeling operator behavior in the safety analysis of collaborative robotic applications. In: SAFECOMP, pp. 89\u2013104 (2017)"},{"key":"4_CR41","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1016\/j.rcim.2019.01.001","volume":"57","author":"Mehrnoosh Askarpour","year":"2019","unstructured":"Askarpour, Mehrnoosh, Mandrioli, Dino, Rossi, Matteo, Vicentini, Federico: Formal model of human erroneous behavior for safety analysis in collaborative robotics. Robotics Comput.-Integ. Manuf. 57, 465\u2013476 (2019)","journal-title":"Robotics Comput.-Integ. Manuf."},{"key":"4_CR42","unstructured":"ISO\/TS 15066.: Robots and Robotic Devices\u2014Collaborative Robots. International Organization for Standardization, Geneva, Switzerland (2016)"},{"key":"4_CR43","unstructured":"ISO 12100.: Safety of Machinery\u2014General Principles for Design\u2014Risk Assessment and Risk Reduction. International Organization for Standardization, Geneva, Switzerland (2010)"},{"key":"4_CR44","unstructured":"ISO\/TR 14121-2.: Safety of Machinery\u2014Risk Assessment\u2014Part 2: Practical Guidance and Examples of Methods. International Organization for Standardization, Geneva, Switzerland (2012)"},{"key":"4_CR45","unstructured":"Askarpour, M.: Safer-HRC: a methodology for safety assessment through formal verification in human-robot collaboration. Doctoral dissertation, Politecnico di Milano (2018)"},{"key":"4_CR46","volume-title":"HRC-TEAM: A Model-driven Approach to Formal Verification and Deployment of Collaborative Robotic Applications","author":"Livia Lestingi","year":"2017","unstructured":"Lestingi, Livia, Longoni, Samuele: HRC-TEAM: A Model-driven Approach to Formal Verification and Deployment of Collaborative Robotic Applications. Msc, Politecnico di Milano (2017)"},{"key":"4_CR47","unstructured":"H2020 EC.: Sharework: safe and effective human-robot cooperation towards a better competiveness on current automation lack manufacturing processes. Founded from the european union\u2019s horizon 2020 research and innovation programme under grant agreement no. 820807. \nhttps:\/\/sharework-project.eu\n\n (2018)"},{"key":"4_CR48","unstructured":"\u201cAssuring Autonomy\u201d. Recoll: Safety of reconfigurable collaborative robots for flexible manufacturing systems. Founded from \u201cassuring autonomy\u201d international program (by lloyds foundation and university of york). \nhttps:\/\/www.york.ac.uk\/assuring-autonomy\/projects\/recoll\/\n\n (2018)"}],"container-title":["Springer Tracts in Advanced Robotics","Bringing Innovative Robotic Technologies from Research Labs to Industrial End-users"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-34507-5_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,2,6]],"date-time":"2020-02-06T11:09:04Z","timestamp":1580987344000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-34507-5_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030345068","9783030345075"],"references-count":48,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-34507-5_4","relation":{},"ISSN":["1610-7438","1610-742X"],"issn-type":[{"type":"print","value":"1610-7438"},{"type":"electronic","value":"1610-742X"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"7 February 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}