A novel approach for model-based design of gastric pacemakers. (January 2020)
- Record Type:
- Journal Article
- Title:
- A novel approach for model-based design of gastric pacemakers. (January 2020)
- Main Title:
- A novel approach for model-based design of gastric pacemakers
- Authors:
- Wang, Luman
Malik, Avinash
Roop, Partha S.
Cheng, Leo K.
Paskaranandavadivel, Niranchan
Ai, Weiwei - Abstract:
- Abstract: Understanding the slow wave propagation patterns of Interstitial Cells of Cajal (ICC) is essential when designing Gastric Electrical Stimulators (GESs) to treat motility disorders. A GES with the ability to both sense and pace, working in closed-loop with the ICC, will enable efficient modulation of Gastrointestinal (GI) dysrhythmias. However, existing GESs targeted at modulating GI dysrhythmias operate in an open-loop and hence their clinical efficacy is uncertain. This paper proposes a novel model-based approach for designing GESs that operate in closed-loop with the GI tract. GES is modelled using Hybrid Input Output Automata (HIOA), a well-known formal model, which is suitable for designing safety-critical systems. A two-dimensional ICC network working in real-time with the GES is developed using the same compositional HIOA framework. The ICC network model is used to simulate normal and diseased action potential propagation patterns akin to those observed during GI dysrhythmias. The efficacy of the proposed GES is then validated by integrating it in closed-loop with the ICC network. Results show that the proposed GES is able to sense the propagation patterns and modulate the dysrhythmic patterns of bradygastria back to its normal state automatically. The proposed design of the GES is flexible enough to treat a variety of diseased dysrhythmic patterns using closed-loop operation. Highlights: Closed-loop GES is necessary for treating GI dysrhythmia. The GES canAbstract: Understanding the slow wave propagation patterns of Interstitial Cells of Cajal (ICC) is essential when designing Gastric Electrical Stimulators (GESs) to treat motility disorders. A GES with the ability to both sense and pace, working in closed-loop with the ICC, will enable efficient modulation of Gastrointestinal (GI) dysrhythmias. However, existing GESs targeted at modulating GI dysrhythmias operate in an open-loop and hence their clinical efficacy is uncertain. This paper proposes a novel model-based approach for designing GESs that operate in closed-loop with the GI tract. GES is modelled using Hybrid Input Output Automata (HIOA), a well-known formal model, which is suitable for designing safety-critical systems. A two-dimensional ICC network working in real-time with the GES is developed using the same compositional HIOA framework. The ICC network model is used to simulate normal and diseased action potential propagation patterns akin to those observed during GI dysrhythmias. The efficacy of the proposed GES is then validated by integrating it in closed-loop with the ICC network. Results show that the proposed GES is able to sense the propagation patterns and modulate the dysrhythmic patterns of bradygastria back to its normal state automatically. The proposed design of the GES is flexible enough to treat a variety of diseased dysrhythmic patterns using closed-loop operation. Highlights: Closed-loop GES is necessary for treating GI dysrhythmia. The GES can sense the propagation pattern and modulate bradygastria automatically. The GES is flexible to treat various dysrhythmic patterns. The efficacy of the GES is shown by treating gastroparesis and chronic nausea. … (more)
- Is Part Of:
- Computers in biology and medicine. Volume 116(2020)
- Journal:
- Computers in biology and medicine
- Issue:
- Volume 116(2020)
- Issue Display:
- Volume 116, Issue 2020 (2020)
- Year:
- 2020
- Volume:
- 116
- Issue:
- 2020
- Issue Sort Value:
- 2020-0116-2020-0000
- Page Start:
- Page End:
- Publication Date:
- 2020-01
- Subjects:
- Hybrid Input Output Automata (HIOA) -- Gastric Electrical Stimulator (GES) -- Closed-loop design -- Gastrointestinal tract modelling -- Device validation -- Formal modelling
Medicine -- Data processing -- Periodicals
Biology -- Data processing -- Periodicals
610.285 - Journal URLs:
- http://www.sciencedirect.com/science/journal/00104825/ ↗
http://www.elsevier.com/journals ↗ - DOI:
- 10.1016/j.compbiomed.2019.103576 ↗
- Languages:
- English
- ISSNs:
- 0010-4825
- Deposit Type:
- Legaldeposit
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library DSC - 3394.880000
British Library DSC - BLDSS-3PM
British Library HMNTS - ELD Digital store - Ingest File:
- 23742.xml