{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,24]],"date-time":"2026-07-24T20:03:02Z","timestamp":1784923382626,"version":"3.55.0"},"reference-count":53,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"name":"MObilit\u00e0 Sostenibile Trasporti (MOST)-Sustainable Mobility National Research Center"},{"name":"European Union Next-GenerationEU (Piano Nazionale di Ripresa e Resilienza","award":["CN00000023"],"award-info":[{"award-number":["CN00000023"]}]},{"name":"European Union\u2019s Horizon Europe Research and Innovation Program Chips Joint Undertaking (JU) DistriMuSe Project through the Distributed Multi-Sensor Systems for Human Safety and Health","award":["101139769"],"award-info":[{"award-number":["101139769"]}]},{"name":"EU and National Funding Agencies of the participating countries"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2026]]},"DOI":"10.1109\/access.2026.3714040","type":"journal-article","created":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T21:48:57Z","timestamp":1784238537000},"page":"110284-110300","source":"Crossref","is-referenced-by-count":0,"title":["A Hybrid Automaton-Based Vehicle Digital Twin for Verifiable Pedestrian Protection"],"prefix":"10.1109","volume":"14","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4305-7491","authenticated-orcid":false,"given":"Lorenzo","family":"Bacchiani","sequence":"first","affiliation":[{"name":"University of Bologna","place":["Bologna, Italy"]}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-0359-2269","authenticated-orcid":false,"given":"Andrea","family":"Bedei","sequence":"additional","affiliation":[{"name":"University of Bologna","place":["Bologna, Italy"]}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-2412-5811","authenticated-orcid":false,"given":"Ozlem","family":"Kaya","sequence":"additional","affiliation":[{"name":"University of Bologna","place":["Bologna, Italy"]}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3439-3503","authenticated-orcid":false,"given":"Roberta","family":"Presta","sequence":"additional","affiliation":[{"name":"Suor Orsola Benincasa","place":["Naples, Italy"]}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mario","family":"Bravetti","sequence":"additional","affiliation":[{"name":"University of Bologna","place":["Bologna, Italy"]}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1298-7960","authenticated-orcid":false,"given":"Roberto","family":"Girau","sequence":"additional","affiliation":[{"name":"University of Bologna","place":["Bologna, Italy"]}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TIV.2022.3170517"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.4271\/2016-01-0128"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-13050-3_4"},{"key":"ref4","volume-title":"ISO 26262: Road Vehicles\u2014Functional Safety","year":"2018"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3503914"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1996.561342"},{"issue":"2014","key":"ref7","first-page":"1","article-title":"Digital twin: Manufacturing excellence through virtual factory replication","volume":"1","author":"Grieves","year":"2014","journal-title":"White Paper"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2018.08.474"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.rcim.2019.101837"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.2970143"},{"key":"ref11","article-title":"Formal verification of digital twins with TLA and information leakage control","author":"Huang","year":"2024","journal-title":"arXiv:2411.18798"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"ref13","volume-title":"AEB\/LSS VRU Test Protocol, Version 4.5.1","year":"2023"},{"key":"ref14","volume-title":"Formally Verified Pedestrian Protection","author":"Bacchiani","year":"2025"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/tac.2002.806650"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-57318-6_30"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_30"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2018.2873186"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.3390\/fi18060277"},{"key":"ref20","first-page":"1","article-title":"Safety analysis of automated driving platforms using digital twin simulation and runtime monitoring","volume-title":"Proc. DVCon","author":"Awaad"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/access.2024.3406510"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/access.2024.3382001"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/MCOMSTD.011.2100004"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/3716863.3718028"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/tits.2011.2158210"},{"issue":"3","key":"ref26","doi-asserted-by":"crossref","first-page":"10676","DOI":"10.3182\/20140824-6-ZA-1003.01567","article-title":"Verification of collision avoidance systems using reachability analysis","volume":"47","author":"Nilsson","year":"2014","journal-title":"IFAC Proc. Volumes"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2012.6338839"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2014.2312453"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ICCVE45908.2019.8965069"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48506.2021.9560790"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2015.160"},{"key":"ref32","article-title":"ADDT\u2014A digital twin framework for proactive safety validation in autonomous driving systems","author":"Yu","year":"2025","journal-title":"arXiv:2504.09461"},{"issue":"11","key":"ref33","doi-asserted-by":"crossref","first-page":"3447","DOI":"10.3390\/s25113447","article-title":"DTTF-sim: A digital twin-based simulation system for continuous autonomous driving testing","volume":"25","author":"Liang","year":"2025","journal-title":"Sensors"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/tiv.2023.3250353"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2022.3159500"},{"key":"ref36","article-title":"Can combined virtual-real testing speed up autonomous vehicle testing? Findings from AEB field experiments","volume":"5","author":"Zhang","year":"2025","journal-title":"Commun. Transp. Res."},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/IV55156.2024.10588544"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/CCNC51664.2024.10454630"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2025.128529"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1038\/s41598-025-31930-1"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/COMST.2025.3581152"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-19762-8_7"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA45728.2021.9613704"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/TIV.2023.3304353"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1207\/sthf0203_1"},{"key":"ref46","volume-title":"YOLOv8: Ultralytics Object Detection Model","author":"Jocher","year":"2023"},{"key":"ref47","first-page":"1","article-title":"Test procedures and results for pedestrian AEB systems","volume-title":"Proc. 24th Conf. Enhancement Saf. Vehicles (ESV)","author":"Seiniger"},{"key":"ref48","volume-title":"Near Misses as a Measure of Safety at Urban Intersections","author":"Hayward","year":"1971"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1016\/S0001-4575(02)00022-2"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC48978.2021.9564570"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1080\/15389588.2019.1623397"},{"key":"ref52","volume-title":"New Car Assessment Program Final Decision Notice\u2014Advanced Driver Assistance Systems Roadmap","author":"Administration","year":"2024"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1017\/9781108895248"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/6287639\/11323511\/11611855.pdf?arnumber=11611855","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,24]],"date-time":"2026-07-24T19:06:03Z","timestamp":1784919963000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11611855\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"references-count":53,"URL":"https:\/\/doi.org\/10.1109\/access.2026.3714040","relation":{},"ISSN":["2169-3536"],"issn-type":[{"value":"2169-3536","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]}}}