{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,20]],"date-time":"2026-02-20T17:41:01Z","timestamp":1771609261565,"version":"3.50.1"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031197611","type":"print"},{"value":"9783031197628","type":"electronic"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-19762-8_13","type":"book-chapter","created":{"date-parts":[[2022,10,19]],"date-time":"2022-10-19T08:03:09Z","timestamp":1666166589000},"page":"184-194","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":12,"title":["Integrating Wearable and\u00a0Camera Based Monitoring in\u00a0the\u00a0Digital Twin for\u00a0Safety Assessment in\u00a0the\u00a0Industry 4.0 Era"],"prefix":"10.1007","author":[{"given":"Michele","family":"Boldo","sequence":"first","affiliation":[]},{"given":"Nicola","family":"Bombieri","sequence":"additional","affiliation":[]},{"given":"Stefano","family":"Centomo","sequence":"additional","affiliation":[]},{"given":"Mirco","family":"De Marchi","sequence":"additional","affiliation":[]},{"given":"Florenc","family":"Demrozi","sequence":"additional","affiliation":[]},{"given":"Graziano","family":"Pravadelli","sequence":"additional","affiliation":[]},{"given":"Davide","family":"Quaglia","sequence":"additional","affiliation":[]},{"given":"Cristian","family":"Turetta","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,10,17]]},"reference":[{"issue":"01","key":"13_CR1","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1109\/TETC.2021.3132432","volume":"10","author":"N Dall\u2019Ora","year":"2022","unstructured":"Dall\u2019Ora, N., Alamin, K., Fraccaroli, E., Poncino, M., Quaglia, D., Vinco, S.: Digital transformation of a production line: network design, online data collection and energy monitoring. IEEE Trans. Emerg. Top. Comput. 10(01), 46\u201359 (2022)","journal-title":"IEEE Trans. Emerg. Top. Comput."},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"Demrozi, F., Pravadelli, G., Bihorac, A., Rashidi, P.: Human activity recognition using inertial, physiological and environmental sensors: a comprehensive survey. IEEE Access 8, 210 816\u2013210 836 (2020)","DOI":"10.1109\/ACCESS.2020.3037715"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"Gorecky, D., Schmitt, M., Loskyll, M., Z\u00fchlke, D.: Human-machine-interaction in the industry 4.0 era. In: 12th IEEE International Conference on Industrial Informatics (INDIN). IEEE 2014, 289\u2013294 (2014)","DOI":"10.1109\/INDIN.2014.6945523"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"Chen, J.-H., Song, K.-T.: Collision-free motion planning for human-robot collaborative safety under cartesian constraint. In: 2018 IEEE International Conference on Robotics and Automation (ICRA), pp. 4348\u20134354, May 2018","DOI":"10.1109\/ICRA.2018.8460185"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"Chan, C.-C., Tsai, C.-C.: Collision-free speed alteration strategy for human safety in human-robot coexistence environments. IEEE Access 8, 80 120\u201380 133 (2020)","DOI":"10.1109\/ACCESS.2020.2988654"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Beckert, D., Pereira, A., Althoff, M.: Online verification of multiple safety criteria for a robot trajectory. In: 2017 IEEE 56th Annual Conference on Decision and Control (CDC), pp. 6454\u20136461, December 2017","DOI":"10.1109\/CDC.2017.8264632"},{"issue":"1","key":"13_CR7","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1109\/TRO.2019.2937471","volume":"36","author":"F Vicentini","year":"2020","unstructured":"Vicentini, F., Askarpour, M., Rossi, M., Mandrioli, D.: Safety assessment of collaborative robotics through automated formal verification. IEEE Trans. Rob. 36(1), 42\u201361 (2020)","journal-title":"IEEE Trans. Rob."},{"issue":"2","key":"13_CR8","doi-asserted-by":"publisher","first-page":"882","DOI":"10.1109\/TASE.2015.2412256","volume":"13","author":"A Zanchettin","year":"2016","unstructured":"Zanchettin, A., et al.: Safety in human-robot collaborative manufacturing environments: metrics and control. IEEE Trans. Autom. Sci. Eng. 13(2), 882\u2013893 (2016)","journal-title":"IEEE Trans. Autom. Sci. Eng."},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"Nascimento, H., Mujica, M., Benoussaad, M.: Collision avoidance in human-robot interaction using Kinect vision system combined with robot\u2019s model and data. In: IEEE International Conference on Intelligent Robots and Systems, pp. 10293\u201310298 (2020)","DOI":"10.1109\/IROS45743.2020.9341248"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"Lim, J., et al.: Designing path of collision avoidance for mobile manipulator in worker safety monitoring system using reinforcement learning. In: ISR 2021\u20132021 IEEE International Conference on Intelligence and Safety for Robotics, pp. 94\u201397 (2021)","DOI":"10.1109\/ISR50024.2021.9419504"},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"Robla-G\u00f3mez, S., et al.: Working together: a review on safe human-robot collaboration in industrial environments. IEEE Access 5, 26 754\u201326 773 (2017)","DOI":"10.1109\/ACCESS.2017.2773127"},{"issue":"9","key":"13_CR12","doi-asserted-by":"publisher","first-page":"6294","DOI":"10.1109\/TII.2020.3038679","volume":"17","author":"S Spellini","year":"2021","unstructured":"Spellini, S., Chirico, R., Panato, M., Lora, M., Fummi, F.: Virtual prototyping a production line using assume-guarantee contracts. IEEE Trans. Industr. Inf. 17(9), 6294\u20136302 (2021)","journal-title":"IEEE Trans. Industr. Inf."},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"Boldo, M., Bombieri, N., De Marchi, M., Geretti, L., Germiniani, S., Pravadelli, G.: Risk assessment and prediction in human-robot interaction through assertion mining and pose estimation. In: Proceedings of IEEE Latin-American Test Symposium (LATS) (2022)","DOI":"10.1109\/LATS57337.2022.9936899"},{"key":"13_CR14","unstructured":"Centomo, S., Paci, F., Quintarelli, E.: Context-aware privacy in industry 4.0. Internal report, University of Verona (2022)"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Practice"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-19762-8_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,3,8]],"date-time":"2023-03-08T22:52:30Z","timestamp":1678315950000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-19762-8_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031197611","9783031197628"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-19762-8_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"17 October 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ISoLA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Leveraging Applications of Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rhodes","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 October 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 October 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"isola2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.isola-conference.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}