Efficient Modeling of Excitable Cells Using Hybrid Automata Radu Grosu SUNY at Stony Brook
description
Transcript of Efficient Modeling of Excitable Cells Using Hybrid Automata Radu Grosu SUNY at Stony Brook
![Page 1: Efficient Modeling of Excitable Cells Using Hybrid Automata Radu Grosu SUNY at Stony Brook](https://reader036.fdocuments.net/reader036/viewer/2022062807/568151dd550346895dc01750/html5/thumbnails/1.jpg)
Efficient Modeling of Excitable Cells Using Hybrid Automata
Radu GrosuSUNY at Stony Brook
Joint work with Pei Ye, Emilia Entcheva and Scott A. Smolka
![Page 2: Efficient Modeling of Excitable Cells Using Hybrid Automata Radu Grosu SUNY at Stony Brook](https://reader036.fdocuments.net/reader036/viewer/2022062807/568151dd550346895dc01750/html5/thumbnails/2.jpg)
Background
• Excitable cells– Neuron– Cardiac Cells
• Different concentrations of ions inside and outside of cells form:– Trans-membrane potential– Ion currents through channels across the cell
membrane
![Page 3: Efficient Modeling of Excitable Cells Using Hybrid Automata Radu Grosu SUNY at Stony Brook](https://reader036.fdocuments.net/reader036/viewer/2022062807/568151dd550346895dc01750/html5/thumbnails/3.jpg)
channel
Ions and Channels of Excitable Cells
Na+
Na+
Na+
Na+
Na+
Na+
Na+
K+
Ca2+
K+
K+
K+
K+
Ca2+
Ca2+
Ca2+
Cell
Cell
![Page 4: Efficient Modeling of Excitable Cells Using Hybrid Automata Radu Grosu SUNY at Stony Brook](https://reader036.fdocuments.net/reader036/viewer/2022062807/568151dd550346895dc01750/html5/thumbnails/4.jpg)
Action Potential (AP)
• Caused by positive ions moving in and then out of the cell membrane.
• 5 stages– Resting– Upstroke– Early Repolarization– Plateau– Final Repolarization
![Page 5: Efficient Modeling of Excitable Cells Using Hybrid Automata Radu Grosu SUNY at Stony Brook](https://reader036.fdocuments.net/reader036/viewer/2022062807/568151dd550346895dc01750/html5/thumbnails/5.jpg)
Restitution Property
• Excitable cells respond to different frequency stimuli.
• Each cycle is composed of:
– Action Potential Duration (APD)
– Diastolic Interval (DI)
• Longer DI, longer APD
![Page 6: Efficient Modeling of Excitable Cells Using Hybrid Automata Radu Grosu SUNY at Stony Brook](https://reader036.fdocuments.net/reader036/viewer/2022062807/568151dd550346895dc01750/html5/thumbnails/6.jpg)
Restitution Property
![Page 7: Efficient Modeling of Excitable Cells Using Hybrid Automata Radu Grosu SUNY at Stony Brook](https://reader036.fdocuments.net/reader036/viewer/2022062807/568151dd550346895dc01750/html5/thumbnails/7.jpg)
Mathematical Models
• Hodgkin-Huxley (HH) model – Membrane potential for squid giant axon – Developed in 1952– Framework for the following models
• Luo-Rudy (LRd) model– Model for cardiac cells of guinea pig– Developed in 1991
• Neo-Natal Rat (NNR) model– Being developed in Stony Brook University by Emilia
Entcheva et al.
![Page 8: Efficient Modeling of Excitable Cells Using Hybrid Automata Radu Grosu SUNY at Stony Brook](https://reader036.fdocuments.net/reader036/viewer/2022062807/568151dd550346895dc01750/html5/thumbnails/8.jpg)
Hodgkin-Huxley Model
• C: Cell capacitance• V: Trans-membrane voltage
• gna, gk, gL: Maximum channel conductance
• Ena, Ek, EL: Reversal potential
• m, n, h: Ion channel gate variables
• Ist: Stimulation current
![Page 9: Efficient Modeling of Excitable Cells Using Hybrid Automata Radu Grosu SUNY at Stony Brook](https://reader036.fdocuments.net/reader036/viewer/2022062807/568151dd550346895dc01750/html5/thumbnails/9.jpg)
Circuit for Hodgkin-Huxley Model
V
ELEna
C
EK
gLgKgna
![Page 10: Efficient Modeling of Excitable Cells Using Hybrid Automata Radu Grosu SUNY at Stony Brook](https://reader036.fdocuments.net/reader036/viewer/2022062807/568151dd550346895dc01750/html5/thumbnails/10.jpg)
Hybrid Automata (HA)
• Variables• Control Graph
– Modes– Switches
• Init, Inv and flow• Jumps and Actions• Events
![Page 11: Efficient Modeling of Excitable Cells Using Hybrid Automata Radu Grosu SUNY at Stony Brook](https://reader036.fdocuments.net/reader036/viewer/2022062807/568151dd550346895dc01750/html5/thumbnails/11.jpg)
Two Ways of Abstraction
• Rational method: derive the flow functions from the differential equations in the original model
• Empirical method: use curve-fitting techniques to get the flow functions with the form chosen (here we use the form ).
![Page 12: Efficient Modeling of Excitable Cells Using Hybrid Automata Radu Grosu SUNY at Stony Brook](https://reader036.fdocuments.net/reader036/viewer/2022062807/568151dd550346895dc01750/html5/thumbnails/12.jpg)
General HA Template
• 4 control modes:– Resting and Final repolarization (FR)– Stimulated– Upstroke– Early repolarization (ER) and Plateau
• Threshold voltage monitoring mode switches– Vo, VT and VR
• Event VS represents the presence of stimulus
![Page 13: Efficient Modeling of Excitable Cells Using Hybrid Automata Radu Grosu SUNY at Stony Brook](https://reader036.fdocuments.net/reader036/viewer/2022062807/568151dd550346895dc01750/html5/thumbnails/13.jpg)
HA for HH Model
![Page 14: Efficient Modeling of Excitable Cells Using Hybrid Automata Radu Grosu SUNY at Stony Brook](https://reader036.fdocuments.net/reader036/viewer/2022062807/568151dd550346895dc01750/html5/thumbnails/14.jpg)
Simulation of HH Model
![Page 15: Efficient Modeling of Excitable Cells Using Hybrid Automata Radu Grosu SUNY at Stony Brook](https://reader036.fdocuments.net/reader036/viewer/2022062807/568151dd550346895dc01750/html5/thumbnails/15.jpg)
New Features of HA for LRd and NNR Model
• Adding vz to enrich modeling ability
• Using vn to remember the current voltage when the next stimulus is coming.
– Define , , determines the time cell stays in mode ER and plateau
– Thus, APD will change with DI
• For NNR model, define and , thus the threshold voltages are
also influenced by DI.
![Page 16: Efficient Modeling of Excitable Cells Using Hybrid Automata Radu Grosu SUNY at Stony Brook](https://reader036.fdocuments.net/reader036/viewer/2022062807/568151dd550346895dc01750/html5/thumbnails/16.jpg)
HA for LRd Model
![Page 17: Efficient Modeling of Excitable Cells Using Hybrid Automata Radu Grosu SUNY at Stony Brook](https://reader036.fdocuments.net/reader036/viewer/2022062807/568151dd550346895dc01750/html5/thumbnails/17.jpg)
HA for NNR Model
![Page 18: Efficient Modeling of Excitable Cells Using Hybrid Automata Radu Grosu SUNY at Stony Brook](https://reader036.fdocuments.net/reader036/viewer/2022062807/568151dd550346895dc01750/html5/thumbnails/18.jpg)
Simulation for LRd Model
![Page 19: Efficient Modeling of Excitable Cells Using Hybrid Automata Radu Grosu SUNY at Stony Brook](https://reader036.fdocuments.net/reader036/viewer/2022062807/568151dd550346895dc01750/html5/thumbnails/19.jpg)
Simulation for NNR Model
Single cell, single AP 3 APs on a 2*2 cell array
![Page 20: Efficient Modeling of Excitable Cells Using Hybrid Automata Radu Grosu SUNY at Stony Brook](https://reader036.fdocuments.net/reader036/viewer/2022062807/568151dd550346895dc01750/html5/thumbnails/20.jpg)
Large-scale Spatial Simulation for NNR Model
Re-entry on a 400*400 cell array
![Page 21: Efficient Modeling of Excitable Cells Using Hybrid Automata Radu Grosu SUNY at Stony Brook](https://reader036.fdocuments.net/reader036/viewer/2022062807/568151dd550346895dc01750/html5/thumbnails/21.jpg)
Performance Comparison
![Page 22: Efficient Modeling of Excitable Cells Using Hybrid Automata Radu Grosu SUNY at Stony Brook](https://reader036.fdocuments.net/reader036/viewer/2022062807/568151dd550346895dc01750/html5/thumbnails/22.jpg)
Future Work
• Using Optimization techniques to derive the parameters for HA model automatically.
• Develop simpler spatial model to further improve efficiency.
![Page 23: Efficient Modeling of Excitable Cells Using Hybrid Automata Radu Grosu SUNY at Stony Brook](https://reader036.fdocuments.net/reader036/viewer/2022062807/568151dd550346895dc01750/html5/thumbnails/23.jpg)
Thank you
04/05/2005