{"id":"https://openalex.org/W7131396737","doi":"https://doi.org/10.48550/arxiv.2602.21037","title":"Automated Detection and Mitigation of Dependability Failures in Healthcare Scenarios through Digital Twins","display_name":"Automated Detection and Mitigation of Dependability Failures in Healthcare Scenarios through Digital Twins","publication_year":2026,"publication_date":"2026-02-24","ids":{"openalex":"https://openalex.org/W7131396737","doi":"https://doi.org/10.48550/arxiv.2602.21037"},"language":null,"primary_location":{"id":"pmh:doi:10.48550/arxiv.2602.21037","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","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":null,"raw_type":"Article"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":null,"any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5089878195","display_name":"Bruno Guindani","orcid":"https://orcid.org/0000-0002-1710-3466"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Guindani, Bruno","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068010595","display_name":"Matteo Camilli","orcid":"https://orcid.org/0000-0003-2491-5267"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Camilli, Matteo","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027207133","display_name":"Livia Lestingi","orcid":"https://orcid.org/0000-0001-8724-1541"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lestingi, Livia","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5052125239","display_name":"Marcello M. Bersani","orcid":"https://orcid.org/0000-0001-5137-940X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Bersani, Marcello M.","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5089878195"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10917","display_name":"Smart Grid Security and Resilience","score":0.18809999525547028,"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/T10917","display_name":"Smart Grid Security and Resilience","score":0.18809999525547028,"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/T13248","display_name":"Healthcare Technology and Patient Monitoring","score":0.12290000170469284,"subfield":{"id":"https://openalex.org/subfields/2746","display_name":"Surgery"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}},{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.10130000114440918,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/dependability","display_name":"Dependability","score":0.9009000062942505},{"id":"https://openalex.org/keywords/human-error","display_name":"Human error","score":0.39969998598098755},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.37540000677108765},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.3643999993801117},{"id":"https://openalex.org/keywords/health-care","display_name":"Health care","score":0.3578000068664551},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.3425000011920929},{"id":"https://openalex.org/keywords/decision-support-system","display_name":"Decision support system","score":0.3398999869823456},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.3305000066757202}],"concepts":[{"id":"https://openalex.org/C77019957","wikidata":"https://www.wikidata.org/wiki/Q2689057","display_name":"Dependability","level":2,"score":0.9009000062942505},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6740000247955322},{"id":"https://openalex.org/C169806903","wikidata":"https://www.wikidata.org/wiki/Q5937752","display_name":"Human error","level":2,"score":0.39969998598098755},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.37540000677108765},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.3643999993801117},{"id":"https://openalex.org/C160735492","wikidata":"https://www.wikidata.org/wiki/Q31207","display_name":"Health care","level":2,"score":0.3578000068664551},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.35109999775886536},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.34689998626708984},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.3425000011920929},{"id":"https://openalex.org/C107327155","wikidata":"https://www.wikidata.org/wiki/Q330268","display_name":"Decision support system","level":2,"score":0.3398999869823456},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.3305000066757202},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.3151000142097473},{"id":"https://openalex.org/C35280785","wikidata":"https://www.wikidata.org/wiki/Q559486","display_name":"System lifecycle","level":4,"score":0.3098999857902527},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.3010999858379364},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.27129998803138733},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.2696000039577484},{"id":"https://openalex.org/C95713431","wikidata":"https://www.wikidata.org/wiki/Q631425","display_name":"Vulnerability (computing)","level":2,"score":0.26499998569488525},{"id":"https://openalex.org/C2988170871","wikidata":"https://www.wikidata.org/wiki/Q11000047","display_name":"Healthcare system","level":3,"score":0.26350000500679016},{"id":"https://openalex.org/C188198153","wikidata":"https://www.wikidata.org/wiki/Q1613840","display_name":"Limiting","level":2,"score":0.2540999948978424},{"id":"https://openalex.org/C163763905","wikidata":"https://www.wikidata.org/wiki/Q17075943","display_name":"Precision medicine","level":2,"score":0.2540000081062317},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.25060001015663147}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:doi:10.48550/arxiv.2602.21037","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","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":null,"raw_type":"Article"},{"id":"doi:10.48550/arxiv.2602.21037","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2602.21037","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:doi:10.48550/arxiv.2602.21037","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","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":null,"raw_type":"Article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.7629413604736328,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Medical":[0],"Cyber-Physical":[1],"Systems":[2],"(CPSs)":[3],"integrating":[4],"Patients,":[5],"Devices,":[6],"and":[7,22,26,49,90,105,111,130],"healthcare":[8],"personnel":[9],"(Physicians)":[10],"form":[11],"safety-critical":[12],"PDP":[13],"triads":[14],"whose":[15],"dependability":[16,73,116],"is":[17,56],"challenged":[18],"by":[19],"system":[20],"heterogeneity":[21],"uncertainty":[23],"in":[24,152],"human":[25,173],"physiological":[27],"behavior.":[28],"While":[29],"existing":[30],"clinical":[31,36],"decision":[32],"support":[33,35],"systems":[34],"practice,":[37],"there":[38],"remains":[39],"a":[40,62,66,140,146],"need":[41],"for":[42,72],"proactive,":[43],"reliability-oriented":[44],"methodologies":[45],"capable":[46],"of":[47,75,87,124,154],"identifying":[48],"mitigating":[50],"failure":[51],"scenarios":[52,113],"before":[53],"patient":[54,88,165],"safety":[55],"compromised.":[57],"This":[58],"paper":[59],"presents":[60],"M-GENGAR,":[61],"methodology":[63],"based":[64],"on":[65,139,185],"closed-loop":[67],"Digital":[68],"Twin":[69],"(DT)":[70],"paradigm":[71],"assurance":[74],"medical":[76],"CPSs.":[77],"The":[78],"approach":[79],"combines":[80],"Stochastic":[81],"Hybrid":[82],"Automata":[83],"modeling,":[84],"data-driven":[85],"learning":[86],"dynamics,":[89],"Statistical":[91],"Model":[92],"Checking":[93],"with":[94],"an":[95],"offline":[96],"critical":[97],"scenario":[98],"detection":[99],"phase":[100],"that":[101],"integrates":[102],"model-space":[103],"exploration":[104],"diversity":[106],"analysis":[107,163],"to":[108,181],"systematically":[109],"identify":[110],"classify":[112],"violating":[114],"expert-defined":[115],"requirements.":[117],"M-GENGAR":[118,138],"also":[119],"supports":[120],"the":[121,133,155],"automated":[122],"synthesis":[123],"mitigation":[125],"strategies,":[126],"enabling":[127],"runtime":[128],"feedback":[129],"control":[131],"within":[132],"DT":[134],"loop.":[135],"We":[136],"evaluate":[137],"representative":[141],"use":[142],"case":[143],"study":[144],"involving":[145],"pulmonary":[147],"ventilator.":[148],"Results":[149],"show":[150],"that,":[151],"87.5%":[153],"evaluated":[156],"scenarios,":[157],"strategies":[158],"synthesized":[159],"through":[160],"formal":[161],"game-theoretic":[162],"stabilize":[164],"vital":[166],"metrics":[167,178],"at":[168],"least":[169],"as":[170,172],"effectively":[171],"decision-making,":[174],"while":[175],"maintaining":[176],"relevant":[177],"20%":[179],"closer":[180],"nominal":[182],"healthy":[183],"values":[184],"average.":[186]},"counts_by_year":[],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2026-02-26T00:00:00"}