{"id":"https://openalex.org/W2081324807","doi":"https://doi.org/10.1109/jproc.2011.2161241","title":"Cyber\u2013Physical Modeling of Implantable Cardiac Medical Devices","display_name":"Cyber\u2013Physical Modeling of Implantable Cardiac Medical Devices","publication_year":2011,"publication_date":"2011-08-16","ids":{"openalex":"https://openalex.org/W2081324807","doi":"https://doi.org/10.1109/jproc.2011.2161241","mag":"2081324807"},"language":"en","primary_location":{"id":"doi:10.1109/jproc.2011.2161241","is_oa":false,"landing_page_url":"https://doi.org/10.1109/jproc.2011.2161241","pdf_url":null,"source":{"id":"https://openalex.org/S68686220","display_name":"Proceedings of the IEEE","issn_l":"0018-9219","issn":["0018-9219","1558-2256"],"is_oa":false,"is_in_doaj":false,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the IEEE","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://repository.upenn.edu/bitstreams/374af623-550d-444f-9a88-0c2fc0f42dec/download","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5053473939","display_name":"Zhihao Jiang","orcid":"https://orcid.org/0000-0002-6730-6915"},"institutions":[{"id":"https://openalex.org/I4210143392","display_name":"University of Pennsylvania Health System","ror":"https://ror.org/04h81rw26","country_code":"US","type":"healthcare","lineage":["https://openalex.org/I4210143392"]},{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Zhihao Jiang","raw_affiliation_strings":["Department of Electrical and System Engineering, University of Pennsylvania, Philadelphia, PA, USA","Dept. of Electr. & Syst. Eng., Univ. of Pennsylvania, Philadelphia, PA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and System Engineering, University of Pennsylvania, Philadelphia, PA, USA","institution_ids":["https://openalex.org/I4210143392"]},{"raw_affiliation_string":"Dept. of Electr. & Syst. Eng., Univ. of Pennsylvania, Philadelphia, PA, USA","institution_ids":["https://openalex.org/I79576946"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5086742584","display_name":"Miroslav Paji\u0107","orcid":"https://orcid.org/0000-0002-5357-0117"},"institutions":[{"id":"https://openalex.org/I4210143392","display_name":"University of Pennsylvania Health System","ror":"https://ror.org/04h81rw26","country_code":"US","type":"healthcare","lineage":["https://openalex.org/I4210143392"]},{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"M. Pajic","raw_affiliation_strings":["Department of Electrical and System Engineering, University of Pennsylvania, Philadelphia, PA, USA","Dept. of Electr. & Syst. Eng., Univ. of Pennsylvania, Philadelphia, PA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and System Engineering, University of Pennsylvania, Philadelphia, PA, USA","institution_ids":["https://openalex.org/I4210143392"]},{"raw_affiliation_string":"Dept. of Electr. & Syst. Eng., Univ. of Pennsylvania, Philadelphia, PA, USA","institution_ids":["https://openalex.org/I79576946"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5009445756","display_name":"Rahul Mangharam","orcid":"https://orcid.org/0000-0002-3388-8283"},"institutions":[{"id":"https://openalex.org/I4210143392","display_name":"University of Pennsylvania Health System","ror":"https://ror.org/04h81rw26","country_code":"US","type":"healthcare","lineage":["https://openalex.org/I4210143392"]},{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"R. Mangharam","raw_affiliation_strings":["Department of Electrical and System Engineering, University of Pennsylvania, Philadelphia, PA, USA","Dept. of Electr. & Syst. Eng., Univ. of Pennsylvania, Philadelphia, PA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and System Engineering, University of Pennsylvania, Philadelphia, PA, USA","institution_ids":["https://openalex.org/I4210143392"]},{"raw_affiliation_string":"Dept. of Electr. & Syst. Eng., Univ. of Pennsylvania, Philadelphia, PA, USA","institution_ids":["https://openalex.org/I79576946"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":9.2531,"has_fulltext":true,"cited_by_count":173,"citation_normalized_percentile":{"value":0.98577036,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":97,"max":100},"biblio":{"volume":"100","issue":"1","first_page":"122","last_page":"137"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9966999888420105,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9954000115394592,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/firmware","display_name":"Firmware","score":0.8174657821655273},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7129210829734802},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5194368362426758},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.45350176095962524},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.4345121383666992},{"id":"https://openalex.org/keywords/embedded-software","display_name":"Embedded software","score":0.43048587441444397},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.40024012327194214},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.21637758612632751},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.09412059187889099}],"concepts":[{"id":"https://openalex.org/C67212190","wikidata":"https://www.wikidata.org/wiki/Q104851","display_name":"Firmware","level":2,"score":0.8174657821655273},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7129210829734802},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5194368362426758},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.45350176095962524},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.4345121383666992},{"id":"https://openalex.org/C154488198","wikidata":"https://www.wikidata.org/wiki/Q1335007","display_name":"Embedded software","level":3,"score":0.43048587441444397},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.40024012327194214},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.21637758612632751},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.09412059187889099},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1109/jproc.2011.2161241","is_oa":false,"landing_page_url":"https://doi.org/10.1109/jproc.2011.2161241","pdf_url":null,"source":{"id":"https://openalex.org/S68686220","display_name":"Proceedings of the IEEE","issn_l":"0018-9219","issn":["0018-9219","1558-2256"],"is_oa":false,"is_in_doaj":false,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the IEEE","raw_type":"journal-article"},{"id":"pmh:oai:repository.upenn.edu:mlab_papers-1020","is_oa":true,"landing_page_url":"https://repository.upenn.edu/mlab_papers/21","pdf_url":"https://repository.upenn.edu/bitstreams/374af623-550d-444f-9a88-0c2fc0f42dec/download","source":{"id":"https://openalex.org/S4377196331","display_name":"Scholarly Commons (University of Pennsylvania)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79576946","host_organization_name":"University of Pennsylvania","host_organization_lineage":["https://openalex.org/I79576946"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Real-Time and Embedded Systems Lab (mLAB)","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.422.8044","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.422.8044","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.649.3499","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.649.3499","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://repository.upenn.edu/cgi/viewcontent.cgi?article%3D1020%26context%3Dmlab_papers","raw_type":"text"},{"id":"pmh:oai:repository.upenn.edu:20.500.14332/40631","is_oa":false,"landing_page_url":"https://repository.upenn.edu/handle/20.500.14332/40631","pdf_url":null,"source":{"id":"https://openalex.org/S4306402083","display_name":"ScholarlyCommons (University of Pennsylvania)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79576946","host_organization_name":"University of Pennsylvania","host_organization_lineage":["https://openalex.org/I79576946"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"100","raw_type":"Article"}],"best_oa_location":{"id":"pmh:oai:repository.upenn.edu:mlab_papers-1020","is_oa":true,"landing_page_url":"https://repository.upenn.edu/mlab_papers/21","pdf_url":"https://repository.upenn.edu/bitstreams/374af623-550d-444f-9a88-0c2fc0f42dec/download","source":{"id":"https://openalex.org/S4377196331","display_name":"Scholarly Commons (University of Pennsylvania)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79576946","host_organization_name":"University of Pennsylvania","host_organization_lineage":["https://openalex.org/I79576946"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Real-Time and Embedded Systems Lab (mLAB)","raw_type":"text"},"sustainable_development_goals":[{"display_name":"Good health and well-being","id":"https://metadata.un.org/sdg/3","score":0.5}],"awards":[],"funders":[{"id":"https://openalex.org/F4320332163","display_name":"U.S. Food and Drug Administration","ror":"https://ror.org/034xvzb47"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2081324807.pdf","grobid_xml":"https://content.openalex.org/works/W2081324807.grobid-xml"},"referenced_works_count":48,"referenced_works":["https://openalex.org/W592974461","https://openalex.org/W1506553688","https://openalex.org/W1571270892","https://openalex.org/W1717223777","https://openalex.org/W1962072139","https://openalex.org/W1967131241","https://openalex.org/W1975523615","https://openalex.org/W1981240833","https://openalex.org/W1982413390","https://openalex.org/W1994999406","https://openalex.org/W2000947342","https://openalex.org/W2002424540","https://openalex.org/W2010501521","https://openalex.org/W2020859911","https://openalex.org/W2021611778","https://openalex.org/W2023499821","https://openalex.org/W2026889608","https://openalex.org/W2028652935","https://openalex.org/W2029841165","https://openalex.org/W2034717157","https://openalex.org/W2080148075","https://openalex.org/W2090356628","https://openalex.org/W2093742166","https://openalex.org/W2095016595","https://openalex.org/W2100505193","https://openalex.org/W2101185304","https://openalex.org/W2101508170","https://openalex.org/W2102456200","https://openalex.org/W2105489690","https://openalex.org/W2121960799","https://openalex.org/W2127164710","https://openalex.org/W2137128251","https://openalex.org/W2149519129","https://openalex.org/W2162663474","https://openalex.org/W2162890718","https://openalex.org/W2163304527","https://openalex.org/W2163377462","https://openalex.org/W2273847440","https://openalex.org/W2289263734","https://openalex.org/W2589385394","https://openalex.org/W2798594949","https://openalex.org/W4205330888","https://openalex.org/W4236195087","https://openalex.org/W4240430385","https://openalex.org/W4296471858","https://openalex.org/W6637434537","https://openalex.org/W6642136699","https://openalex.org/W6678352539"],"related_works":["https://openalex.org/W4385624297","https://openalex.org/W1526521547","https://openalex.org/W2007388836","https://openalex.org/W4247881240","https://openalex.org/W3180981818","https://openalex.org/W2403824868","https://openalex.org/W4388023871","https://openalex.org/W2356515587","https://openalex.org/W2351580829","https://openalex.org/W2392099550"],"abstract_inverted_index":{"The":[0,145],"design":[1],"of":[2,26,77,85,105,119,141,148,159,166],"bug-free":[3],"and":[4,18,28,34,52,72,108,122,136,139,178,197,212],"safe":[5],"medical":[6,78,216],"device":[7,79,187],"software":[8,80],"is":[9,61,206],"challenging,":[10],"especially":[11],"in":[12,21,58,222],"complex":[13,198],"implantable":[14,29],"devices":[15],"that":[16,174],"control":[17],"actuate":[19],"organs":[20],"unanticipated":[22],"contexts.":[23],"Safety":[24],"recalls":[25],"pacemakers":[27],"cardioverter":[30],"defibrillators":[31],"between":[32],"1990":[33],"2000":[35],"affected":[36],"over":[37],"600":[38],"000":[39,44],"devices.":[40],"Of":[41],"these,":[42],"200":[43],"or":[45,66],"41%":[46],"were":[47],"due":[48],"to":[49,56,70,100,129],"firmware":[50],"issues":[51],"their":[53],"effect":[54],"continues":[55],"increase":[57],"frequency.":[59],"There":[60],"currently":[62],"no":[63],"formal":[64,137],"methodology":[65,128],"open":[67],"experimental":[68],"platform":[69],"test":[71,182],"verify":[73],"the":[74,82,86,102,106,116,120,142,192,220,223],"correct":[75],"operation":[76,104],"within":[81],"closed-loop":[83,143,171],"context":[84],"patient.":[87],"To":[88],"this":[89],"effect,":[90],"a":[91,127,131,157,164,170,207,210],"real-time":[92],"virtual":[93],"heart":[94,121,193],"model":[95,101,133],"(VHM)":[96],"has":[97,153],"been":[98,154],"developed":[99],"electrophysiological":[103],"functioning":[107],"malfunctioning":[109],"(i.e.,":[110],"during":[111],"arrhythmia)":[112],"heart.":[113],"By":[114],"extracting":[115],"timing":[117],"properties":[118],"pacemaker":[123,186],"device,":[124],"we":[125,168],"present":[126],"construct":[130],"timed-automata":[132],"for":[134,156,176,184,215],"functional":[135],"testing":[138,172,211],"verification":[140,213],"system.":[144],"VHM's":[146],"capability":[147],"generating":[149],"clinically":[150],"relevant":[151,180],"response":[152],"validated":[155],"variety":[158],"common":[160],"arrhythmias.":[161],"Based":[162],"on":[163],"set":[165],"requirements,":[167],"describe":[169],"environment":[173],"allows":[175],"interactive":[177],"physiologically":[179],"model-based":[181],"generation":[183],"basic":[185],"operations":[188],"such":[189,200],"as":[190,201],"maintaining":[191],"rate,":[194],"atrial-ventricle":[195],"synchrony,":[196],"conditions":[199],"pacemaker-mediated":[202],"tachycardia.":[203],"This":[204],"system":[205],"step":[208],"toward":[209],"approach":[214],"cyber-physical":[217],"systems":[218],"with":[219],"patient":[221],"loop.":[224]},"counts_by_year":[{"year":2025,"cited_by_count":26},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":5},{"year":2021,"cited_by_count":8},{"year":2020,"cited_by_count":12},{"year":2019,"cited_by_count":12},{"year":2018,"cited_by_count":14},{"year":2017,"cited_by_count":27},{"year":2016,"cited_by_count":10},{"year":2015,"cited_by_count":22},{"year":2014,"cited_by_count":14},{"year":2013,"cited_by_count":9},{"year":2012,"cited_by_count":6}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}