{"id":"https://openalex.org/W2920992064","doi":"https://doi.org/10.1109/tbme.2019.2904043","title":"A Formal Approach for Scalable Simulation of Gastric ICC Electrophysiology","display_name":"A Formal Approach for Scalable Simulation of Gastric ICC Electrophysiology","publication_year":2019,"publication_date":"2019-03-11","ids":{"openalex":"https://openalex.org/W2920992064","doi":"https://doi.org/10.1109/tbme.2019.2904043","mag":"2920992064","pmid":"https://pubmed.ncbi.nlm.nih.gov/30869606"},"language":"en","primary_location":{"id":"doi:10.1109/tbme.2019.2904043","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tbme.2019.2904043","pdf_url":null,"source":{"id":"https://openalex.org/S5240358","display_name":"IEEE Transactions on Biomedical Engineering","issn_l":"0018-9294","issn":["0018-9294","1558-2531"],"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":"IEEE Transactions on Biomedical Engineering","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","pubmed"],"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/A5013806203","display_name":"Luman Wang","orcid":"https://orcid.org/0000-0003-0121-349X"},"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":"Luman Wang","raw_affiliation_strings":["Department of Electrical, Computer and Software Engineering, University of Auckland, Auckland, New Zealand"],"raw_orcid":"https://orcid.org/0000-0003-4130-5612","affiliations":[{"raw_affiliation_string":"Department of Electrical, Computer and Software Engineering, University of Auckland, Auckland, New Zealand","institution_ids":["https://openalex.org/I154130895"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5007782699","display_name":"Avinash Malik","orcid":"https://orcid.org/0000-0002-7524-8292"},"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":"Avinash Malik","raw_affiliation_strings":["Department of Electrical, Computer and Software Engineering, University of Auckland"],"raw_orcid":"https://orcid.org/0000-0002-7524-8292","affiliations":[{"raw_affiliation_string":"Department of Electrical, Computer and Software Engineering, University of Auckland","institution_ids":["https://openalex.org/I154130895"]}]},{"author_position":"middle","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, Computer and Software Engineering, University of Auckland"],"raw_orcid":"https://orcid.org/0000-0001-9654-5678","affiliations":[{"raw_affiliation_string":"Department of Electrical, Computer and Software Engineering, University of Auckland","institution_ids":["https://openalex.org/I154130895"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036297582","display_name":"Leo K. Cheng","orcid":"https://orcid.org/0000-0003-2426-8987"},"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":"Leo K. Cheng","raw_affiliation_strings":["Auckland Bioengineering Institute, University of Auckland"],"raw_orcid":"https://orcid.org/0000-0003-2426-8987","affiliations":[{"raw_affiliation_string":"Auckland Bioengineering Institute, University of Auckland","institution_ids":["https://openalex.org/I154130895"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5039076247","display_name":"Niranchan Paskaranandavadivel","orcid":"https://orcid.org/0000-0001-7377-8524"},"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":"Niranchan Paskaranandavadivel","raw_affiliation_strings":["Auckland Bioengineering Institute, University of Auckland"],"raw_orcid":"https://orcid.org/0000-0001-7377-8524","affiliations":[{"raw_affiliation_string":"Auckland Bioengineering Institute, University of Auckland","institution_ids":["https://openalex.org/I154130895"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.4891,"has_fulltext":false,"cited_by_count":13,"citation_normalized_percentile":{"value":0.81584247,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"66","issue":"12","first_page":"3320","last_page":"3329"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10365","display_name":"Gastrointestinal motility and disorders","score":0.3476000130176544,"subfield":{"id":"https://openalex.org/subfields/2715","display_name":"Gastroenterology"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}},"topics":[{"id":"https://openalex.org/T10365","display_name":"Gastrointestinal motility and disorders","score":0.3476000130176544,"subfield":{"id":"https://openalex.org/subfields/2715","display_name":"Gastroenterology"},"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/T10919","display_name":"Neurological disorders and treatments","score":0.08209999650716782,"subfield":{"id":"https://openalex.org/subfields/2728","display_name":"Neurology"},"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/T11021","display_name":"ECG Monitoring and Analysis","score":0.0421999990940094,"subfield":{"id":"https://openalex.org/subfields/2705","display_name":"Cardiology and Cardiovascular 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/computer-science","display_name":"Computer science","score":0.717154860496521},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.6227387189865112},{"id":"https://openalex.org/keywords/simulation","display_name":"Simulation","score":0.38244301080703735}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.717154860496521},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.6227387189865112},{"id":"https://openalex.org/C44154836","wikidata":"https://www.wikidata.org/wiki/Q45045","display_name":"Simulation","level":1,"score":0.38244301080703735},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0}],"mesh":[{"descriptor_ui":"D000818","descriptor_name":"Animals","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D000818","descriptor_name":"Animals","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D000818","descriptor_name":"Animals","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D003198","descriptor_name":"Computer Simulation","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D003198","descriptor_name":"Computer Simulation","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D003198","descriptor_name":"Computer Simulation","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D004594","descriptor_name":"Electrophysiology","qualifier_ui":"Q000379","qualifier_name":"methods","is_major_topic":false},{"descriptor_ui":"D004594","descriptor_name":"Electrophysiology","qualifier_ui":"Q000379","qualifier_name":"methods","is_major_topic":false},{"descriptor_ui":"D004594","descriptor_name":"Electrophysiology","qualifier_ui":"Q000379","qualifier_name":"methods","is_major_topic":false},{"descriptor_ui":"D006168","descriptor_name":"Guinea Pigs","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D006168","descriptor_name":"Guinea Pigs","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D006168","descriptor_name":"Guinea Pigs","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D006801","descriptor_name":"Humans","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D006801","descriptor_name":"Humans","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D006801","descriptor_name":"Humans","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D008954","descriptor_name":"Models, Biological","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D008954","descriptor_name":"Models, Biological","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D008954","descriptor_name":"Models, Biological","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D013270","descriptor_name":"Stomach","qualifier_ui":"Q000166","qualifier_name":"cytology","is_major_topic":true},{"descriptor_ui":"D013270","descriptor_name":"Stomach","qualifier_ui":"Q000166","qualifier_name":"cytology","is_major_topic":true},{"descriptor_ui":"D013270","descriptor_name":"Stomach","qualifier_ui":"Q000166","qualifier_name":"cytology","is_major_topic":true},{"descriptor_ui":"D013270","descriptor_name":"Stomach","qualifier_ui":"Q000502","qualifier_name":"physiology","is_major_topic":true},{"descriptor_ui":"D013270","descriptor_name":"Stomach","qualifier_ui":"Q000502","qualifier_name":"physiology","is_major_topic":true},{"descriptor_ui":"D013270","descriptor_name":"Stomach","qualifier_ui":"Q000502","qualifier_name":"physiology","is_major_topic":true},{"descriptor_ui":"D055724","descriptor_name":"Electrophysiological Phenomena","qualifier_ui":"Q000502","qualifier_name":"physiology","is_major_topic":false},{"descriptor_ui":"D055724","descriptor_name":"Electrophysiological Phenomena","qualifier_ui":"Q000502","qualifier_name":"physiology","is_major_topic":false},{"descriptor_ui":"D055724","descriptor_name":"Electrophysiological Phenomena","qualifier_ui":"Q000502","qualifier_name":"physiology","is_major_topic":false},{"descriptor_ui":"D056885","descriptor_name":"Interstitial Cells of Cajal","qualifier_ui":"Q000166","qualifier_name":"cytology","is_major_topic":true},{"descriptor_ui":"D056885","descriptor_name":"Interstitial Cells of Cajal","qualifier_ui":"Q000166","qualifier_name":"cytology","is_major_topic":true},{"descriptor_ui":"D056885","descriptor_name":"Interstitial Cells of Cajal","qualifier_ui":"Q000166","qualifier_name":"cytology","is_major_topic":true},{"descriptor_ui":"D056885","descriptor_name":"Interstitial Cells of Cajal","qualifier_ui":"Q000502","qualifier_name":"physiology","is_major_topic":true},{"descriptor_ui":"D056885","descriptor_name":"Interstitial Cells of Cajal","qualifier_ui":"Q000502","qualifier_name":"physiology","is_major_topic":true},{"descriptor_ui":"D056885","descriptor_name":"Interstitial Cells of Cajal","qualifier_ui":"Q000502","qualifier_name":"physiology","is_major_topic":true}],"locations_count":2,"locations":[{"id":"doi:10.1109/tbme.2019.2904043","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tbme.2019.2904043","pdf_url":null,"source":{"id":"https://openalex.org/S5240358","display_name":"IEEE Transactions on Biomedical Engineering","issn_l":"0018-9294","issn":["0018-9294","1558-2531"],"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":"IEEE Transactions on Biomedical Engineering","raw_type":"journal-article"},{"id":"pmid:30869606","is_oa":false,"landing_page_url":"https://pubmed.ncbi.nlm.nih.gov/30869606","pdf_url":null,"source":{"id":"https://openalex.org/S4306525036","display_name":"PubMed","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE transactions on bio-medical engineering","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/3","score":0.49000000953674316,"display_name":"Good health and well-being"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":31,"referenced_works":["https://openalex.org/W1571139808","https://openalex.org/W1967763922","https://openalex.org/W1978362426","https://openalex.org/W1982313237","https://openalex.org/W1991339919","https://openalex.org/W2000653877","https://openalex.org/W2003001018","https://openalex.org/W2003241353","https://openalex.org/W2008451599","https://openalex.org/W2070564499","https://openalex.org/W2088653672","https://openalex.org/W2101508170","https://openalex.org/W2113316793","https://openalex.org/W2118550663","https://openalex.org/W2128803000","https://openalex.org/W2132561989","https://openalex.org/W2147340401","https://openalex.org/W2151079094","https://openalex.org/W2160829471","https://openalex.org/W2161585794","https://openalex.org/W2165608965","https://openalex.org/W2170122529","https://openalex.org/W2279676782","https://openalex.org/W2435491771","https://openalex.org/W2468210114","https://openalex.org/W2608425165","https://openalex.org/W2757974192","https://openalex.org/W2883045357","https://openalex.org/W3022429701","https://openalex.org/W3189981105","https://openalex.org/W4254919817"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2389214306","https://openalex.org/W2382290278","https://openalex.org/W2478288626","https://openalex.org/W4391913857","https://openalex.org/W2350741829"],"abstract_inverted_index":{"OBJECTIVE:":[0],"Efficient":[1],"and":[2,34,45,87,127,204,219],"accurate":[3],"organ":[4],"models":[5,228],"are":[6],"crucial":[7],"for":[8,84,136,180],"closed-loop":[9,225],"validation":[10,88,220],"of":[11,22,48,53,76,89,121,144,172,175,201,207,221],"implantable":[12,222],"medical":[13],"devices.":[14],"This":[15,212],"paper":[16],"investigates":[17],"bio-electric":[18],"slow":[19,142,169],"wave":[20,143,170],"modeling":[21,47],"the":[23,49,58,85,109,156,168,193,214,230],"stomach,":[24],"so":[25],"that":[26],"gastric":[27],"electrical":[28,110],"stimulator":[29],"(GES)":[30],"can":[31,124],"be":[32],"validated":[33],"verified":[35],"prior":[36],"to":[37,107,166,198,216],"implantation.":[38],"In":[39],"particular,":[40],"we":[41],"consider":[42],"high-fidelity,":[43],"scalable,":[44],"efficient":[46,191],"pacemaker,":[50],"Interstitial":[51],"cells":[52,114,123,177],"Cajal":[54],"(ICC),":[55],"based":[56],"on":[57],"formal":[59,72],"hybrid":[60],"input":[61],"output":[62],"automata":[63],"(HIOA)":[64],"framework.":[65],"METHODS:":[66],"Our":[67],"work":[68],"is":[69,164,188,205],"founded":[70],"in":[71,81,115,224,229],"methods,":[73],"a":[74,116,145,173],"collection":[75],"mathematically":[77],"sound":[78],"techniques":[79],"originating":[80],"computer":[82],"science":[83],"design":[86],"safety-critical":[90],"systems.":[91],"We":[92,100],"modeled":[93],"each":[94],"ICC":[95,122,147,176,202],"cell":[96,148],"using":[97],"an":[98,103],"HIOA.":[99],"also":[101],"introduce":[102],"HIOA":[104,186],"path":[105],"model":[106,163,187],"capture":[108],"propagation":[111,131,210],"delay":[112],"between":[113],"network.":[117],"The":[118,140,161,184],"resultant":[119],"network":[120,174],"simulate":[125,167],"normal":[126],"diseased":[128],"action":[129],"potential":[130,215],"patterns,":[132],"making":[133],"it":[134],"useful":[135],"device":[137,181],"validation.":[138,182],"RESULTS:":[139],"simulated":[141],"single":[146],"had":[149],"high":[150],"correlation":[151],"(":[152],"\u2248":[153],"0.9)":[154],"with":[155,178,226],"corresponding":[157,194],"biophysical":[158,195],"models.":[159],"CONCLUSIONS:":[160],"proposed":[162,185],"able":[165],"activity":[171],"high-fidelity":[179],"SIGNIFICANCE:":[183],"significantly":[189],"more":[190],"than":[192],"models,":[196],"scales":[197],"larger":[199],"networks":[200],"cells,":[203],"capable":[206],"simulating":[208],"varying":[209],"patterns.":[211],"has":[213],"enable":[217],"verification":[218],"GESs":[223],"gastrointestinal":[227],"future.":[231]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":5},{"year":2019,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}