{"id":"https://openalex.org/W2973071553","doi":"https://doi.org/10.1109/i2mtc.2019.8826912","title":"A formal analysis approach for verifying the design of respiratory pacing devices","display_name":"A formal analysis approach for verifying the design of respiratory pacing devices","publication_year":2019,"publication_date":"2019-05-01","ids":{"openalex":"https://openalex.org/W2973071553","doi":"https://doi.org/10.1109/i2mtc.2019.8826912","mag":"2973071553"},"language":"en","primary_location":{"id":"doi:10.1109/i2mtc.2019.8826912","is_oa":false,"landing_page_url":"https://doi.org/10.1109/i2mtc.2019.8826912","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 IEEE International Instrumentation and Measurement Technology Conference (I2MTC)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5110935118","display_name":"Chad E. Eichler","orcid":null},"institutions":[{"id":"https://openalex.org/I154130895","display_name":"University of Auckland","ror":"https://ror.org/03b94tp07","country_code":"NZ","type":"education","lineage":["https://openalex.org/I154130895"]}],"countries":["NZ"],"is_corresponding":true,"raw_author_name":"Chad E. Eichler","raw_affiliation_strings":["Department of Engineering Science, University of Auckland, Auckland, New Zealand"],"affiliations":[{"raw_affiliation_string":"Department of Engineering Science, University of Auckland, Auckland, New Zealand","institution_ids":["https://openalex.org/I154130895"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076785097","display_name":"V. Suresh","orcid":"https://orcid.org/0000-0002-7198-1446"},"institutions":[{"id":"https://openalex.org/I154130895","display_name":"University of Auckland","ror":"https://ror.org/03b94tp07","country_code":"NZ","type":"education","lineage":["https://openalex.org/I154130895"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"Vinod Suresh","raw_affiliation_strings":["Auckland Bioengineering Insititute and Department of Engineering Science, University of Auckland, Auckland, New Zealand"],"affiliations":[{"raw_affiliation_string":"Auckland Bioengineering Insititute and Department of Engineering Science, University of Auckland, Auckland, New Zealand","institution_ids":["https://openalex.org/I154130895"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5076621370","display_name":"Partha S. Roop","orcid":"https://orcid.org/0000-0001-9654-5678"},"institutions":[{"id":"https://openalex.org/I154130895","display_name":"University of Auckland","ror":"https://ror.org/03b94tp07","country_code":"NZ","type":"education","lineage":["https://openalex.org/I154130895"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"Partha S. Roop","raw_affiliation_strings":["Department of Electrical and Computer Engineering, University of Auckland, Auckland, New Zealand"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of Auckland, Auckland, New Zealand","institution_ids":["https://openalex.org/I154130895"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5110935118"],"corresponding_institution_ids":["https://openalex.org/I154130895"],"apc_list":null,"apc_paid":null,"fwci":0.0994,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.42090909,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"abs 1603 5315","issue":null,"first_page":"1","last_page":"5"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11456","display_name":"Neuroscience of respiration and sleep","score":0.9901000261306763,"subfield":{"id":"https://openalex.org/subfields/2807","display_name":"Endocrine and Autonomic Systems"},"field":{"id":"https://openalex.org/fields/28","display_name":"Neuroscience"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},"topics":[{"id":"https://openalex.org/T11456","display_name":"Neuroscience of respiration and sleep","score":0.9901000261306763,"subfield":{"id":"https://openalex.org/subfields/2807","display_name":"Endocrine and Autonomic Systems"},"field":{"id":"https://openalex.org/fields/28","display_name":"Neuroscience"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9729999899864197,"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/T10322","display_name":"Respiratory Support and Mechanisms","score":0.9682999849319458,"subfield":{"id":"https://openalex.org/subfields/2740","display_name":"Pulmonary and Respiratory Medicine"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/respiratory-system","display_name":"Respiratory system","score":0.6528626084327698},{"id":"https://openalex.org/keywords/ventilation","display_name":"Ventilation (architecture)","score":0.5897394418716431},{"id":"https://openalex.org/keywords/control-of-respiration","display_name":"Control of respiration","score":0.5761833786964417},{"id":"https://openalex.org/keywords/breathing","display_name":"Breathing","score":0.549659252166748},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4872661828994751},{"id":"https://openalex.org/keywords/diaphragm","display_name":"Diaphragm (acoustics)","score":0.4861128330230713},{"id":"https://openalex.org/keywords/medicine","display_name":"Medicine","score":0.47585293650627136},{"id":"https://openalex.org/keywords/hypoventilation","display_name":"Hypoventilation","score":0.4249432682991028},{"id":"https://openalex.org/keywords/anesthesia","display_name":"Anesthesia","score":0.36040419340133667},{"id":"https://openalex.org/keywords/internal-medicine","display_name":"Internal medicine","score":0.1718084216117859},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.12569159269332886}],"concepts":[{"id":"https://openalex.org/C534529494","wikidata":"https://www.wikidata.org/wiki/Q7891","display_name":"Respiratory system","level":2,"score":0.6528626084327698},{"id":"https://openalex.org/C200457457","wikidata":"https://www.wikidata.org/wiki/Q584049","display_name":"Ventilation (architecture)","level":2,"score":0.5897394418716431},{"id":"https://openalex.org/C123792249","wikidata":"https://www.wikidata.org/wiki/Q5165875","display_name":"Control of respiration","level":3,"score":0.5761833786964417},{"id":"https://openalex.org/C39300077","wikidata":"https://www.wikidata.org/wiki/Q9530","display_name":"Breathing","level":2,"score":0.549659252166748},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4872661828994751},{"id":"https://openalex.org/C164292776","wikidata":"https://www.wikidata.org/wiki/Q5271779","display_name":"Diaphragm (acoustics)","level":3,"score":0.4861128330230713},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.47585293650627136},{"id":"https://openalex.org/C2779594553","wikidata":"https://www.wikidata.org/wiki/Q1641494","display_name":"Hypoventilation","level":3,"score":0.4249432682991028},{"id":"https://openalex.org/C42219234","wikidata":"https://www.wikidata.org/wiki/Q131130","display_name":"Anesthesia","level":1,"score":0.36040419340133667},{"id":"https://openalex.org/C126322002","wikidata":"https://www.wikidata.org/wiki/Q11180","display_name":"Internal medicine","level":1,"score":0.1718084216117859},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.12569159269332886},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C157138929","wikidata":"https://www.wikidata.org/wiki/Q570","display_name":"Loudspeaker","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/i2mtc.2019.8826912","is_oa":false,"landing_page_url":"https://doi.org/10.1109/i2mtc.2019.8826912","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 IEEE International Instrumentation and Measurement Technology Conference (I2MTC)","raw_type":"proceedings-article"},{"id":"pmh:oai:researchspace.auckland.ac.nz:2292/50397","is_oa":false,"landing_page_url":"http://hdl.handle.net/2292/50397","pdf_url":null,"source":{"id":"https://openalex.org/S7407055463","display_name":"ResearchSpace (University of Auckland)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I154130895","host_organization_name":"University of Auckland","host_organization_lineage":["https://openalex.org/I154130895"],"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":"Conference Item"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Good health and well-being","score":0.8399999737739563,"id":"https://metadata.un.org/sdg/3"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W368661367","https://openalex.org/W2018346699","https://openalex.org/W2042921452","https://openalex.org/W2080475703","https://openalex.org/W2129585292","https://openalex.org/W2150220388","https://openalex.org/W2282555351","https://openalex.org/W2297343190","https://openalex.org/W2346361143","https://openalex.org/W2414418280","https://openalex.org/W2512377464","https://openalex.org/W2561582374","https://openalex.org/W2588851599","https://openalex.org/W2597821080","https://openalex.org/W2734222412","https://openalex.org/W2755627156","https://openalex.org/W4235119308","https://openalex.org/W4297822790","https://openalex.org/W6697290354","https://openalex.org/W6715940654","https://openalex.org/W6811507864"],"related_works":["https://openalex.org/W2095122512","https://openalex.org/W2919856342","https://openalex.org/W4367186886","https://openalex.org/W2337016642","https://openalex.org/W4321452648","https://openalex.org/W2637302401","https://openalex.org/W1995766487","https://openalex.org/W2146919813","https://openalex.org/W2087022853","https://openalex.org/W1855588443"],"abstract_inverted_index":{"Several":[0],"conditions":[1],"such":[2],"as":[3],"central":[4],"sleep":[5],"apnoea":[6],"and":[7,25,75,113,145,176],"chronic":[8],"hypoventilation":[9],"syndrome":[10],"detrimentally":[11],"affect":[12,85,107],"respiratory":[13,19,44,50,108],"drive.":[14,109],"A":[15],"decreased":[16],"or":[17],"absent":[18],"drive":[20,51],"results":[21],"in":[22,63,71,157,183],"inadequate":[23],"ventilation":[24],"undesirable":[26],"changes":[27],"to":[28,35,42,193],"blood":[29],"gas":[30,111],"levels":[31],"that":[32,84,106,122,164,187],"are":[33,40,116,123],"detrimental":[34],"health.":[36],"Respiratory":[37,110],"pacing":[38,99,114],"devices":[39,68,100],"used":[41],"regulate":[43],"rhythm":[45],"during":[46],"times":[47],"of":[48,97,104,139,180,202],"reduced":[49],"by":[52],"delivering":[53],"stimulation":[54,78],"through":[55,125,148],"electrodes":[56],"placed":[57],"on":[58,131],"phrenic":[59],"nerve":[60],"motor":[61],"points":[62],"the":[64,81,95,102,132,166,188,195,203],"diaphragm":[65,167],"muscle.":[66],"These":[67],"mostly":[69],"operate":[70],"an":[72],"openloop":[73],"fashion,":[74],"provide":[76],"rhythmic":[77],"without":[79],"sensing":[80],"intrinsic":[82],"parameters":[83],"breathing.":[86],"This":[87,152],"paper":[88],"develops":[89],"a":[90,129,137,149,161,178],"model":[91,143,153,163],"driven":[92],"approach":[93],"for":[94,101,199],"design":[96],"closed-loop":[98],"treatment":[103],"illnesses":[105],"exchange":[112],"systems":[115],"abstracted":[117],"into":[118],"high-level":[119],"mathematical":[120],"models":[121],"validated":[124],"formal":[126],"analysis":[127],"with":[128,160],"focus":[130],"overall":[133],"timing":[134,204],"behaviour.":[135],"Using":[136],"network":[138],"timed":[140],"automata":[141],"we":[142],"normal":[144],"abnormal":[146,169],"breathing":[147,170,197],"lung":[150],"model.":[151],"is":[154,171],"then":[155,174],"composed":[156],"closed":[158],"loop":[159],"pacemaker":[162,190],"paces":[165],"when":[168],"detected.":[172],"We":[173],"verify":[175],"express":[177],"set":[179],"safety":[181],"properties":[182],"Uppaal,":[184],"which":[185],"establishes":[186],"designed":[189],"may":[191],"fail":[192],"maintain":[194],"correct":[196],"rate":[198],"certain":[200],"values":[201],"parameters.":[205]},"counts_by_year":[{"year":2019,"cited_by_count":1}],"updated_date":"2026-03-18T14:38:29.013473","created_date":"2025-10-10T00:00:00"}