{"id":"https://openalex.org/W7168993021","doi":"https://doi.org/10.1109/access.2026.3714040","title":"A Hybrid Automaton-Based Vehicle Digital Twin for Verifiable Pedestrian Protection","display_name":"A Hybrid Automaton-Based Vehicle Digital Twin for Verifiable Pedestrian Protection","publication_year":2026,"publication_date":"2026-01-01","ids":{"openalex":"https://openalex.org/W7168993021","doi":"https://doi.org/10.1109/access.2026.3714040"},"language":"en","primary_location":{"id":"doi:10.1109/access.2026.3714040","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2026.3714040","pdf_url":null,"source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1109/access.2026.3714040","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5048422475","display_name":"Lorenzo Bacchiani","orcid":"https://orcid.org/0000-0002-4305-7491"},"institutions":[{"id":"https://openalex.org/I9360294","display_name":"University of Bologna","ror":"https://ror.org/01111rn36","country_code":"IT","type":"education","lineage":["https://openalex.org/I9360294"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Lorenzo Bacchiani","raw_affiliation_strings":["University of Bologna"],"raw_orcid":"https://orcid.org/0000-0002-4305-7491","affiliations":[{"raw_affiliation_string":"University of Bologna","institution_ids":["https://openalex.org/I9360294"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5141040077","display_name":"Andrea Bedei","orcid":null},"institutions":[{"id":"https://openalex.org/I9360294","display_name":"University of Bologna","ror":"https://ror.org/01111rn36","country_code":"IT","type":"education","lineage":["https://openalex.org/I9360294"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Andrea Bedei","raw_affiliation_strings":["University of Bologna"],"raw_orcid":"https://orcid.org/0009-0006-0359-2269","affiliations":[{"raw_affiliation_string":"University of Bologna","institution_ids":["https://openalex.org/I9360294"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5106343205","display_name":"\u00d6zlem Kaya","orcid":null},"institutions":[{"id":"https://openalex.org/I9360294","display_name":"University of Bologna","ror":"https://ror.org/01111rn36","country_code":"IT","type":"education","lineage":["https://openalex.org/I9360294"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Ozlem Kaya","raw_affiliation_strings":["University of Bologna"],"raw_orcid":"https://orcid.org/0009-0006-2412-5811","affiliations":[{"raw_affiliation_string":"University of Bologna","institution_ids":["https://openalex.org/I9360294"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073949445","display_name":"Roberta Presta","orcid":"https://orcid.org/0000-0003-3439-3503"},"institutions":[{"id":"https://openalex.org/I2802142324","display_name":"Universit\u00e0 degli Studi Suor Orsola Benincasa","ror":"https://ror.org/021k2cy37","country_code":"IT","type":"education","lineage":["https://openalex.org/I2802142324"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Roberta Presta","raw_affiliation_strings":["Suor Orsola Benincasa"],"raw_orcid":"https://orcid.org/0000-0003-3439-3503","affiliations":[{"raw_affiliation_string":"Suor Orsola Benincasa","institution_ids":["https://openalex.org/I2802142324"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066677397","display_name":"Mario Bravetti","orcid":"https://orcid.org/0000-0001-5193-2914"},"institutions":[{"id":"https://openalex.org/I9360294","display_name":"University of Bologna","ror":"https://ror.org/01111rn36","country_code":"IT","type":"education","lineage":["https://openalex.org/I9360294"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Mario Bravetti","raw_affiliation_strings":["University of Bologna"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Bologna","institution_ids":["https://openalex.org/I9360294"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5023826523","display_name":"Roberto Girau","orcid":"https://orcid.org/0000-0002-1298-7960"},"institutions":[{"id":"https://openalex.org/I9360294","display_name":"University of Bologna","ror":"https://ror.org/01111rn36","country_code":"IT","type":"education","lineage":["https://openalex.org/I9360294"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Roberto Girau","raw_affiliation_strings":["University of Bologna"],"raw_orcid":"https://orcid.org/0000-0002-1298-7960","affiliations":[{"raw_affiliation_string":"University of Bologna","institution_ids":["https://openalex.org/I9360294"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":1850,"currency":"USD","value_usd":1850},"apc_paid":{"value":1850,"currency":"USD","value_usd":1850},"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.8559701,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"14","issue":null,"first_page":"110284","last_page":"110300"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10524","display_name":"Traffic control and management","score":0.33570000529289246,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10524","display_name":"Traffic control and management","score":0.33570000529289246,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11099","display_name":"Autonomous Vehicle Technology and Safety","score":0.17599999904632568,"subfield":{"id":"https://openalex.org/subfields/2203","display_name":"Automotive Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10763","display_name":"Digital Transformation in Industry","score":0.09939999878406525,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/verifiable-secret-sharing","display_name":"Verifiable secret sharing","score":0.6370000243186951},{"id":"https://openalex.org/keywords/pedestrian","display_name":"Pedestrian","score":0.5802000164985657},{"id":"https://openalex.org/keywords/vehicle-dynamics","display_name":"Vehicle dynamics","score":0.41040000319480896},{"id":"https://openalex.org/keywords/vehicle-safety","display_name":"Vehicle safety","score":0.40790000557899475},{"id":"https://openalex.org/keywords/privacy-protection","display_name":"Privacy protection","score":0.3492000102996826}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.779699981212616},{"id":"https://openalex.org/C85847156","wikidata":"https://www.wikidata.org/wiki/Q59015987","display_name":"Verifiable secret sharing","level":3,"score":0.6370000243186951},{"id":"https://openalex.org/C2777113093","wikidata":"https://www.wikidata.org/wiki/Q221488","display_name":"Pedestrian","level":2,"score":0.5802000164985657},{"id":"https://openalex.org/C79487989","wikidata":"https://www.wikidata.org/wiki/Q934680","display_name":"Vehicle dynamics","level":2,"score":0.41040000319480896},{"id":"https://openalex.org/C2986542766","wikidata":"https://www.wikidata.org/wiki/Q2090494","display_name":"Vehicle safety","level":2,"score":0.40790000557899475},{"id":"https://openalex.org/C3017597292","wikidata":"https://www.wikidata.org/wiki/Q25052250","display_name":"Privacy protection","level":2,"score":0.3492000102996826},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.29660001397132874},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.28189998865127563},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.26759999990463257},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.266400009393692},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.2612000107765198}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/access.2026.3714040","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2026.3714040","pdf_url":null,"source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},{"id":"pmh:oai:cris.unibo.it:11585/1072950","is_oa":false,"landing_page_url":"https://hdl.handle.net/11585/1072950","pdf_url":null,"source":{"id":"https://openalex.org/S4306402579","display_name":"Archivio istituzionale della ricerca (Alma Mater Studiorum Universit\u00e0 di Bologna)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210117483","host_organization_name":"Istituto di Ematologia di Bologna","host_organization_lineage":["https://openalex.org/I4210117483"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:doaj.org/article:090889989e884a349868c26b9139ec7b","is_oa":false,"landing_page_url":"https://doaj.org/article/090889989e884a349868c26b9139ec7b","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Access, Vol 14, Pp 110284-110300 (2026)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1109/access.2026.3714040","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2026.3714040","pdf_url":null,"source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.6391578316688538,"id":"https://metadata.un.org/sdg/11","display_name":"Sustainable cities and communities"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Autonomous":[0],"vehicles":[1],"must":[2],"make":[3],"reliable":[4],"safety":[5,36],"decisions":[6,108],"despite":[7],"perception":[8,63,118],"noise":[9],"and":[10,40,43,57,65,91,105,109],"tighttiming":[11],"constraints.":[12],"This":[13],"work":[14],"presents":[15],"a":[16,24,125,135],"Vehicle":[17],"Digital":[18],"Twin":[19],"(VDT)":[20],"architecture":[21],"that":[22,123],"incorporates":[23],"formallyverified":[25],"hybrid":[26],"automaton":[27,33,127],"as":[28],"its":[29],"supervisory":[30],"controller.":[31],"The":[32,101],"specifies":[34],"discrete":[35],"modes,continuous":[37],"timing":[38],"variables,":[39],"perception-driven":[41,142],"transitions,":[42],"is":[44,134],"verified":[45,77],"offline":[46],"using":[47],"SMT-based":[48],"LTLmodel":[49],"checking":[50],"to":[51,70,81],"ensure":[52],"determinism,":[53],"freedom":[54],"from":[55],"deadlock,":[56],"bounded":[58],"reaction":[59,111],"time.":[60],"At":[61],"runtime,buffered":[62],"inputs":[64],"staleness":[66],"checks":[67],"are":[68],"used":[69],"trigger":[71],"only":[72],"those":[73],"transitions":[74],"consistent":[75],"withthe":[76],"model,":[78],"maintaining":[79],"robustness":[80],"noisy":[82],"or":[83],"transient":[84],"detections.":[85],"We":[86],"instantiate":[87],"the":[88,130],"approach":[89],"forpedestrian-protection":[90],"evaluate":[92],"it":[93],"on":[94],"standardized":[95],"Euro":[96],"NCAP":[97],"scenarios":[98],"within":[99,113],"CARLA.":[100],"systemconsistently":[102],"produces":[103],"stable":[104],"interpretable":[106],"braking":[107],"maintains":[110],"times":[112],"theverified":[114],"bounds,":[115],"including":[116],"under":[117],"uncertainty.":[119],"These":[120],"results":[121],"indicate":[122],"integrating":[124],"verifiedhybrid":[126],"directly":[128],"into":[129],"VDT\u2019s":[131],"operational":[132],"loop":[133],"practical":[136],"route":[137],"toward":[138],"runtime-assured":[139],"safetysupervision":[140],"in":[141],"vehicle":[143],"systems.":[144]},"counts_by_year":[],"updated_date":"2026-07-26T07:53:14.480251","created_date":"2026-07-17T00:00:00"}