Matches in SemOpenAlex for { <https://semopenalex.org/work/W2920992064> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2920992064 endingPage "3329" @default.
- W2920992064 startingPage "3320" @default.
- W2920992064 abstract "Objective: Efficient and accurate organ models are crucial for closed-loop validation of implantable medical devices. This paper investigates bio-electric slow wave modeling of the stomach, so that gastric electrical stimulator (GES) can be validated and verified prior to implantation. In particular, we consider high-fidelity, scalable, and efficient modeling of the pacemaker, Interstitial cells of Cajal (ICC), based on the formal hybrid input output automata (HIOA) framework. Methods: Our work is founded in formal methods, a collection of mathematically sound techniques originating in computer science for the design and validation of safety-critical systems. We modeled each ICC cell using an HIOA. We also introduce an HIOA path model to capture the electrical propagation delay between cells in a network. The resultant network of ICC cells can simulate normal and diseased action potential propagation patterns, making it useful for device validation. Results: The simulated slow wave of a single ICC cell had high correlation (≈0.9) with the corresponding biophysical models. Conclusions: The proposed model is able to simulate the slow wave activity of a network of ICC cells with high-fidelity for device validation. Significance: The proposed HIOA model is significantly more efficient than the corresponding biophysical models, scales to larger networks of ICC cells, and is capable of simulating varying propagation patterns. This has the potential to enable verification and validation of implantable GESs in closed-loop with gastrointestinal models in the future." @default.
- W2920992064 created "2019-03-22" @default.
- W2920992064 creator A5000801307 @default.
- W2920992064 creator A5007782699 @default.
- W2920992064 creator A5036297582 @default.
- W2920992064 creator A5039076247 @default.
- W2920992064 creator A5076621370 @default.
- W2920992064 date "2019-12-01" @default.
- W2920992064 modified "2023-10-17" @default.
- W2920992064 title "A Formal Approach for Scalable Simulation of Gastric ICC Electrophysiology" @default.
- W2920992064 cites W1571139808 @default.
- W2920992064 cites W1967763922 @default.
- W2920992064 cites W1978362426 @default.
- W2920992064 cites W1982313237 @default.
- W2920992064 cites W1991339919 @default.
- W2920992064 cites W2000653877 @default.
- W2920992064 cites W2003001018 @default.
- W2920992064 cites W2003241353 @default.
- W2920992064 cites W2008451599 @default.
- W2920992064 cites W2070564499 @default.
- W2920992064 cites W2088653672 @default.
- W2920992064 cites W2101508170 @default.
- W2920992064 cites W2113316793 @default.
- W2920992064 cites W2118550663 @default.
- W2920992064 cites W2128803000 @default.
- W2920992064 cites W2132561989 @default.
- W2920992064 cites W2147340401 @default.
- W2920992064 cites W2151079094 @default.
- W2920992064 cites W2160829471 @default.
- W2920992064 cites W2161585794 @default.
- W2920992064 cites W2165608965 @default.
- W2920992064 cites W2170122529 @default.
- W2920992064 cites W2279676782 @default.
- W2920992064 cites W2435491771 @default.
- W2920992064 cites W2468210114 @default.
- W2920992064 cites W2608425165 @default.
- W2920992064 cites W2757974192 @default.
- W2920992064 cites W2883045357 @default.
- W2920992064 cites W3022429701 @default.
- W2920992064 cites W4254919817 @default.
- W2920992064 doi "https://doi.org/10.1109/tbme.2019.2904043" @default.
- W2920992064 hasPubMedId "https://pubmed.ncbi.nlm.nih.gov/30869606" @default.
- W2920992064 hasPublicationYear "2019" @default.
- W2920992064 type Work @default.
- W2920992064 sameAs 2920992064 @default.
- W2920992064 citedByCount "9" @default.
- W2920992064 countsByYear W29209920642020 @default.
- W2920992064 countsByYear W29209920642021 @default.
- W2920992064 countsByYear W29209920642022 @default.
- W2920992064 countsByYear W29209920642023 @default.
- W2920992064 crossrefType "journal-article" @default.
- W2920992064 hasAuthorship W2920992064A5000801307 @default.
- W2920992064 hasAuthorship W2920992064A5007782699 @default.
- W2920992064 hasAuthorship W2920992064A5036297582 @default.
- W2920992064 hasAuthorship W2920992064A5039076247 @default.
- W2920992064 hasAuthorship W2920992064A5076621370 @default.
- W2920992064 hasConcept C41008148 @default.
- W2920992064 hasConcept C44154836 @default.
- W2920992064 hasConcept C48044578 @default.
- W2920992064 hasConcept C77088390 @default.
- W2920992064 hasConceptScore W2920992064C41008148 @default.
- W2920992064 hasConceptScore W2920992064C44154836 @default.
- W2920992064 hasConceptScore W2920992064C48044578 @default.
- W2920992064 hasConceptScore W2920992064C77088390 @default.
- W2920992064 hasIssue "12" @default.
- W2920992064 hasLocation W29209920641 @default.
- W2920992064 hasLocation W29209920642 @default.
- W2920992064 hasOpenAccess W2920992064 @default.
- W2920992064 hasPrimaryLocation W29209920641 @default.
- W2920992064 hasRelatedWork W1525643724 @default.
- W2920992064 hasRelatedWork W2067938758 @default.
- W2920992064 hasRelatedWork W2302028273 @default.
- W2920992064 hasRelatedWork W2333420780 @default.
- W2920992064 hasRelatedWork W2364921833 @default.
- W2920992064 hasRelatedWork W2368437561 @default.
- W2920992064 hasRelatedWork W2375199418 @default.
- W2920992064 hasRelatedWork W2382623646 @default.
- W2920992064 hasRelatedWork W2390485179 @default.
- W2920992064 hasRelatedWork W3087771547 @default.
- W2920992064 hasVolume "66" @default.
- W2920992064 isParatext "false" @default.
- W2920992064 isRetracted "false" @default.
- W2920992064 magId "2920992064" @default.
- W2920992064 workType "article" @default.