-
Notifications
You must be signed in to change notification settings - Fork 1
/
index.html
208 lines (186 loc) · 13.5 KB
/
index.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
<!DOCTYPE html>
<html lang="en">
<script src="components/header.js" type="text/javascript" defer></script>
<script src="components/navigation.js" type="text/javascript" defer></script>
<script src="components/footer.js" type="text/javascript" defer></script>
<header-component></header-component>
<body>
<navigation-component></navigation-component>
<!-- image slider -->
<div class="container">
<div class="mySlides">
<img src="assets/img/jiyue/slider/heart_model_for_arrhythmia_ablation.jpg">
<h3 style="color:#666; text-align: center;">Computational heart model for clinical left atrium arrhythmia ablation.</h3>
</div>
<div class="mySlides">
<img src="assets/img/jiyue/slider/arrhythmia_simulations.gif">
<h3 style="color:#666; text-align: center;">Arrhythmia simulations.</h3>
</div>
<div class="mySlides">
<img src="assets/img/jiyue/slider/fiber_effect_experiments.jpg">
<h3 style="color:#666; text-align: center;">Fiber effect on activation patterns.</h3>
</div>
<div class="mySlides">
<img src="assets/img/jiyue/slider/cancellation_effect.jpg">
<h3 style="color:#666; text-align: center;">Fiber's cancellation effect.</h3>
</div>
<div class="mySlides">
<img src="assets/img/jiyue/slider/slab_experiment_of_rotor_arrhythmia.jpg">
<h3 style="color:#666; text-align: center;">Fiber's effect on rotor arrhythmias.</h3>
</div>
<div class="mySlides">
<img src="assets/img/jiyue/slider/voltage_map.jpg">
<h3 style="color:#666; text-align: center;">Voltage threshold for determing scar regions in atrial fibrillation maps.</h3>
</div>
<div class="mySlides">
<img src="assets/img/zhihao/framework.jpg">
<h3 style="color:#666; text-align: center;">Model-based medical devices software design: Verified model -> verified code.</h3>
</div>
<div class="mySlides">
<img src="assets/img/zhihao/emg.gif">
<h3 style="color:#666; text-align: center;">Heart modeling for closed-loop evaluation of pacemakers: catch the bugs before your heart does.</h3>
</div>
<div class="mySlides">
<img src="assets/img/zhihao/cegar.jpg">
<h3 style="color:#666; text-align: center;">Pacemaker software verification with heart models: Model level safety and efficacy performance.</h3>
</div>
<div class="mySlides">
<img src="assets/img/zhihao/hardware.jpg">
<h3 style="color:#666; text-align: center;">Heart-on-a-chip platform: Low-cost platform for pacemaker evaluation & research.</h3>
</div>
<a class="prev" onclick="plusSlides(-1)">❮</a>
<a class="next" onclick="plusSlides(1)">❯</a>
<div class="caption-container">
<p id="caption"></p>
</div>
<div class="row">
<div class="column"><img class="demo cursor" src="assets/img/jiyue/slider/heart_model_for_arrhythmia_ablation.jpg" style="width:100%" onclick="currentSlide(1)"></div>
<div class="column"><img class="demo cursor" src="assets/img/jiyue/slider/arrhythmia_simulations.gif" style="width:100%" onclick="currentSlide(4)"></div>
<div class="column"><img class="demo cursor" src="assets/img/jiyue/slider/fiber_effect_experiments.jpg" style="width:100%" onclick="currentSlide(2)"></div>
<div class="column"><img class="demo cursor" src="assets/img/jiyue/slider/cancellation_effect.jpg" style="width:100%" onclick="currentSlide(3)"></div>
<div class="column"><img class="demo cursor" src="assets/img/jiyue/slider/slab_experiment_of_rotor_arrhythmia.jpg" style="width:100%" onclick="currentSlide(5)"></div>
<div class="column"><img class="demo cursor" src="assets/img/jiyue/slider/voltage_map.jpg" style="width:100%" onclick="currentSlide(6)"></div>
<div class="column"><img class="demo cursor" src="assets/img/zhihao/framework.jpg" style="width:100%" onclick="currentSlide(7)"></div>
<div class="column"><img class="demo cursor" src="assets/img/zhihao/emg.gif" style="width:100%" onclick="currentSlide(8)"></div>
<div class="column"><img class="demo cursor" src="assets/img/zhihao/cegar.jpg" style="width:100%" onclick="currentSlide(9)"></div>
<div class="column"><img class="demo cursor" src="assets/img/zhihao/hardware.jpg" style="width:100%" onclick="currentSlide(10)"></div>
</div>
</div>
<!-- project 1 -->
<div class="purchase">
<div class="container">
<div class="row">
<span>Patient-specific electrophysiological heart model for assisting left atrium arrhythmia ablation</span>
<p>Atrial arrhythmia can be categorized into tachycardia, flutter, and fibrillation. Atrial fibrillation is a prevalent heart disease that results in weak and irregular contractions of the atria. It affects millions people worldwide and contributes to hundreds of thousands deaths annually. Cardiac ablation is among the most successful treatment options, involving the use of radio frequency energy to kill diseased cells or create lesion lines that obstruct abnormal activation waves. During the procedure, catheters are inserted into the left atrium to map the atrium geometry and record endocardium electrograms that are then converted into electroanatomical maps to pinpoint the arrhythmia source locations.</p>
<br>
<p>However, identifying these sources is challenging. The electrograms are asynchronous and can be susceptible to noise. The spatial distribution of sampling sites is non-uniform, which leads to inaccurate maps. Identifying arrhythmia source locations is not a trivial task. Therefore, an ablation procedure often lasts from 3 to 6 hours, and arrhythmia recurrence within 12 months after first ablation is around 50%.</p>
<br>
<p>To address these challenges, we developed an integrated computational heart mode for clinical left atrium arrhythmia ablation. Our system takes in the left atrium geometry and electrograms, processes them to extract regional tissue properties, which are used to tune a heart model, creating a patient-specific whole-atrium model. With this model, we can simulate and detect arrhythmia sources, and provide ablation assistance. To build such a system, we investigated the fiber effects on atrial activation patterns. We developed a fast heart model tuning method which takes only a few seconds of computation time on a personal computer, enabling real-time assistance during the ablation procedure. We achieved high accuracy in simulating arrhythmias, which we validated on patient data.</p>
</div>
</div>
</div>
<div class="container">
<div class="row">
<div class="col-md-6">
<div class="service">
<i class="icon-heart-empty service-icon"></i>
<div class="desc">
<h4><a href="atrial_fibrillation_challenges.html">Atrial fibrillation ablation challenges</a></h4>
<p>Background knowledge of left atrium arrhythmia, catheter ablation surgery, and atrial arrhythmia ablation challenges.</p>
</div>
</div>
</div>
<div class="col-md-6">
<div class="service">
<i class="icon-cogs service-icon"></i>
<div class="desc">
<h4><a href="fiber_effect.html">Fiber effects on activation patterns</a></h4>
<p>Myocardial fiber data is not available for clinical arrhythmia ablation. We would like to find a way to compensate for the lack of fiber data. To do that, we need to first learn the effects of fiber on activation patterns.</p>
</div>
</div>
</div>
<div class="col-md-6">
<div class="service">
<i class="icon-cogs service-icon"></i>
<div class="desc">
<h4><a href="patient_specific_heart_modeling.html">Patient-specific heart modeling</a></h4>
<p>Explain the heart model equations, derive the discrete form the heart model equations for programming, show arrhythmia simulation examples, patient-specific parameter tuning, and validation with patient data.</p>
</div>
</div>
</div>
<div class="col-md-6">
<div class="service">
<i class="icon-stethoscope service-icon"></i>
<div class="desc">
<h4><a href="clinical_data_processing_and_arrhythmia_detection.html">Clinical data processing and arrhythmia source detection</a></h4>
<p>Describe the tools, user interfaces, and algorithms we developed for processing clinical data.</p>
</div>
</div>
</div>
</div>
</div>
<!-- project 2 -->
<div class="purchase">
<div class="container">
<div class="row">
<span>From Verified Models to Verified Code</span>
<p>Our objective is to develop the scientific foundation for modeling, verification, synthesis, testing and optimization of safe software for Medical Cyber-Physical Systems. We focus on the safety of medical devices with the patient-in-the-loop and ensure the device will never drive the patient into an unsafe state while providing effective therapy. Our group's long term goal is to advance the theory and tools for model-driven development of medical devices and physiological control systems, so code generated from verified models is safe and efficient with closed-loop operation of the patient. </p>
</div>
</div>
</div>
<div class="container">
<div class="row">
<div class="col-md-6">
<div class="service">
<i class="icon-heart-empty service-icon"></i>
<div class="desc">
<h4><a href="heart_modeling_for_pacemakers.html">Heart Modeling for Closed-loop Validation of Implantable Cardiac Devices</a></h4>
<p>The safety and efficacy of the device should be evaluated in the closed-loop state space of the heart and the pacemaker. A heart model is developed at both model level and implementation level to close the loop for pacemaker evaluation during the whole model-based design process.</p>
</div>
</div>
</div>
<div class="col-md-6">
<div class="service">
<i class="icon-ok-sign service-icon"></i>
<div class="desc">
<h4><a href="pacemaker_software_verification.html">Model Checking of Pacemaker Software</a></h4>
<p>The safety and efficacy of the model of pacemaker software are evaluated in closed-loop with heart models at different abstraction levels. Counter-Example-Guided Abstraction and Refinement (CEGAR) framework is used to choose the appropriate heart model which balances the coverage and the expressiveness.</p>
<br><br>
</div>
</div>
</div>
<div class="col-md-6">
<div class="service">
<i class="icon-cogs service-icon"></i>
<div class="desc">
<h4><a href="model_based_design_for_pacemaker_software.html">Model-based Design Framework</a></h4>
<p>A model-driven development toolchain automatically translates formally verified models, which represent over-approximations of the realistic models, into deterministic models which can interact with real controllers within realistic environments. The model translation process guarantees that the properties verified in the early stage were still satisfied, as the system model was refined. As the verified model is translated into executable code for physical implementation, it is validated using conformance testing procedures based on the initial system specification.</p>
</div>
</div>
</div>
<div class="col-md-6">
<div class="service">
<i class="icon-stethoscope service-icon"></i>
<div class="desc">
<h4><a href="computer_aided_clinical_trials.html">Computer-Aided Clinical Trials</a></h4>
<p>Clinical trials remain the ultimate validation approach for medical devices. Clinical trials are costly and pose risks to patients involved. In this work, we use implantable cardioverter difibrillator as example to demonstrate the use of computer models can aid planning and execution of clinical trials. We developed computer models of the heart and vary their parameters to represent a large variety of heart conditions. The models can generate synthetic Electrogram (EGM) signals which are the inputs to the devices. We evaluated and compared the performance of device algorithms from two device manufacturers which matched the results of a real clinical trial.</p>
</div>
</div>
</div>
<div class="col-md-6">
<div class="service">
<i class="icon-stethoscope service-icon"></i>
<div class="desc">
<h4><a href="physiological_control_systems.html">Physiological Control Systems</a></h4>
<p>We focus on closed-loop safety analysis of physiological control systems which include networked sensors and actuators for drug delivery with complex patient-in-loop dynamics. These systems include Patient Controlled Analgesic infusion pumps where the controller is responsible for releasing the programmed dosage of the drug to the patient, while ensuring the patient is safe. Currently, patient safety can not be guaranteed due to an insufficient understanding of the body's response to treatment and the high degree of parametric uncertainty and variability between patients. For automated closed-loop control, we must thus use continuous monitoring of the patient's vitals to determine the safety state they are in, and based on a conservative over-approximation of the patient's dynamics, release the adequate dosage.</p>
</div>
</div>
</div>
</div>
</div>
<footer-component></footer-component>
<script type="text/javascript" src="assets/css/jquery-1.10.2.min.js"></script>
<script type="text/javascript" src="assets/css/hover-dropdown.min.js"></script>
<script type="text/javascript" src="assets/css/image-slider.js"></script>
</body>
</html>