{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,22]],"date-time":"2026-02-22T02:22:24Z","timestamp":1771726944198,"version":"3.50.1"},"reference-count":37,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,5,29]],"date-time":"2023-05-29T00:00:00Z","timestamp":1685318400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,5,29]],"date-time":"2023-05-29T00:00:00Z","timestamp":1685318400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,5,29]]},"DOI":"10.1109\/icra48891.2023.10161338","type":"proceedings-article","created":{"date-parts":[[2023,7,4]],"date-time":"2023-07-04T13:20:56Z","timestamp":1688476856000},"page":"10560-10566","source":"Crossref","is-referenced-by-count":3,"title":["Hazard Analysis of Collaborative Automation Systems: A Two-layer Approach based on Supervisory Control and Simulation"],"prefix":"10.1109","author":[{"given":"Tom P.","family":"Huck","sequence":"first","affiliation":[{"name":"Institute of Anthropomatics and Robotics (IAR-IPR), Karlsruhe Institute of Technology,Intelligent Process Automation and Robotics Lab,India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuvaraj","family":"Selvaraj","sequence":"additional","affiliation":[{"name":"Chalmers University of Technology,Division of Systems and Control,Department of Electrical Engineering,Gothenburg,Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Constantin","family":"Cronrath","sequence":"additional","affiliation":[{"name":"Chalmers University of Technology,Division of Systems and Control,Department of Electrical Engineering,Gothenburg,Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoph","family":"Ledermann","sequence":"additional","affiliation":[{"name":"Institute of Anthropomatics and Robotics (IAR-IPR), Karlsruhe Institute of Technology,Intelligent Process Automation and Robotics Lab,India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Fabian","sequence":"additional","affiliation":[{"name":"Chalmers University of Technology,Division of Systems and Control,Department of Electrical Engineering,Gothenburg,Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bengt","family":"Lennartson","sequence":"additional","affiliation":[{"name":"Chalmers University of Technology,Division of Systems and Control,Department of Electrical Engineering,Gothenburg,Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Torsten","family":"Kr\u00f6ger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref13","year":"2016"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"ref34","article-title":"Coppeliasim (formerly v-rep): a versatile and scalable robot simulation framework","author":"rohmer","year":"0","journal-title":"Proc of the International Conference on Intelligent Robots and Systems (IROS)"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2017.8247648"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/COASE.2018.8560451"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.ssci.2015.12.017"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.3390\/electronics11040643"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2017.08.427"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2007.4434894"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1998.724491"},{"key":"ref33","year":"2016"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48506.2021.9561668"},{"key":"ref32","author":"huck","year":"2023","journal-title":"Github Repository"},{"key":"ref2","year":"2006"},{"key":"ref1","year":"2011"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10575-8"},{"key":"ref16","author":"baier","year":"2008","journal-title":"Principles of Model Checking"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.319.1"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66266-4_6"},{"key":"ref24","article-title":"Adaptive stress testing of airborne collision avoidance systems","author":"lee","year":"0","journal-title":"2015 IEEE\/AIAA 34th Digital Avionics Systems Conference (DASC)"},{"key":"ref23","article-title":"An agency-directed approach to test generation for simulation-based autonomous vehicle verification","author":"chance","year":"2019","journal-title":"ArXiv Preprint"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/s35144-022-1665-4"},{"key":"ref25","author":"iff","year":"2023","journal-title":"Cobot Planner - Design Safe HRC Applciations Quickly and Easily (online tool)"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1.12716"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/IROS45743.2020.9340696"},{"key":"ref21","article-title":"Efficient black-box assessment of autonomous vehicle safety","author":"norden","year":"2019","journal-title":"ArXiv Preprint"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.319.1"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1177\/0278364919883338"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/3022099.3022101"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/RO-MAN50785.2021.9515404"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.procir.2016.01.199"},{"key":"ref4","author":"leveson","year":"2011","journal-title":"Engineering A Safer World Systems Thinking Applied to Safety"},{"key":"ref3","first-page":"10","article-title":"Human-robot collaboration: a survey on the state of the art focusing on risk assessment","author":"hornung","year":"0","journal-title":"Berichte aus der Robotik - Robotix-Academy Conference for Industrial Robotics (RACIR) 2021"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s10846-021-01386-2"},{"key":"ref5","first-page":"283","article-title":"SAFER-HRC: Safety analysis through formal verification in human-robot collaboration","author":"askarpour","year":"0","journal-title":"International Conference on Computer Safety Reliability and Security"}],"event":{"name":"2023 IEEE International Conference on Robotics and Automation (ICRA)","location":"London, United Kingdom","start":{"date-parts":[[2023,5,29]]},"end":{"date-parts":[[2023,6,2]]}},"container-title":["2023 IEEE International Conference on Robotics and Automation (ICRA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10160211\/10160212\/10161338.pdf?arnumber=10161338","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,24]],"date-time":"2023-07-24T13:31:51Z","timestamp":1690205511000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10161338\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,5,29]]},"references-count":37,"URL":"https:\/\/doi.org\/10.1109\/icra48891.2023.10161338","relation":{},"subject":[],"published":{"date-parts":[[2023,5,29]]}}}