Model checking for trigger loss detection during Doppler ultrasound-guided fetal cardiovascular MRI
Standard
Model checking for trigger loss detection during Doppler ultrasound-guided fetal cardiovascular MRI. / Antoni, Sven-Thomas; Lehmann, Sascha; Neidhardt, Maximilian; Fehrs, Kai; Ruprecht, Christian; Kording, Fabian; Adam, Gerhard; Schupp, Sibylle; Schlaefer, Alexander.
in: INT J COMPUT ASS RAD, Jahrgang 13, Nr. 11, 11.2018, S. 1755-1766.Publikationen: SCORING: Beitrag in Fachzeitschrift/Zeitung › SCORING: Review › Forschung
Harvard
APA
Vancouver
Bibtex
}
RIS
TY - JOUR
T1 - Model checking for trigger loss detection during Doppler ultrasound-guided fetal cardiovascular MRI
AU - Antoni, Sven-Thomas
AU - Lehmann, Sascha
AU - Neidhardt, Maximilian
AU - Fehrs, Kai
AU - Ruprecht, Christian
AU - Kording, Fabian
AU - Adam, Gerhard
AU - Schupp, Sibylle
AU - Schlaefer, Alexander
PY - 2018/11
Y1 - 2018/11
N2 - PURPOSE: Ultrasound (US) is the state of the art in prenatal diagnosis to depict fetal heart diseases. Cardiovascular magnetic resonance imaging (CMRI) has been proposed as a complementary diagnostic tool. Currently, only trigger-based methods allow the temporal and spatial resolutions necessary to depict the heart over time. Of these methods, only Doppler US (DUS)-based triggering is usable with higher field strengths. DUS is sensitive to motion. This may lead to signal and, ultimately, trigger loss. If too many triggers are lost, the image acquisition is stopped, resulting in a failed imaging sequence. Moreover, losing triggers may prolong image acquisition. Hence, if no actual trigger can be found, injected triggers are added to the signal based on the trigger history.METHOD: We use model checking, a technique originating from the computer science domain that formally checks if a model satisfies given requirements, to simultaneously model heart and respiratory motion and to decide whether respiration has a prominent effect on the signal. Using bounds on the physiological parameters and their variability, the method detects when changes in the signal are due to respiration. We use this to decide when to inject a trigger.RESULTS: In a real-world scenario, we can reduce the number of falsely injected triggers by 94% from more than 87% to less than 5%. On a subset of motion that would allow CMRI, the number can be further reduced to below 0.2%. In a study using simulations with a robot, we show that our method works for different types of motions, motion ranges, starting positions and heartbeat traces.CONCLUSION: While DUS is a promising approach for fetal CMRI, correct trigger injection is critical. Our model checking method can reduce the number of wrongly injected triggers substantially, providing a key prerequisite for fast and artifact free CMRI.
AB - PURPOSE: Ultrasound (US) is the state of the art in prenatal diagnosis to depict fetal heart diseases. Cardiovascular magnetic resonance imaging (CMRI) has been proposed as a complementary diagnostic tool. Currently, only trigger-based methods allow the temporal and spatial resolutions necessary to depict the heart over time. Of these methods, only Doppler US (DUS)-based triggering is usable with higher field strengths. DUS is sensitive to motion. This may lead to signal and, ultimately, trigger loss. If too many triggers are lost, the image acquisition is stopped, resulting in a failed imaging sequence. Moreover, losing triggers may prolong image acquisition. Hence, if no actual trigger can be found, injected triggers are added to the signal based on the trigger history.METHOD: We use model checking, a technique originating from the computer science domain that formally checks if a model satisfies given requirements, to simultaneously model heart and respiratory motion and to decide whether respiration has a prominent effect on the signal. Using bounds on the physiological parameters and their variability, the method detects when changes in the signal are due to respiration. We use this to decide when to inject a trigger.RESULTS: In a real-world scenario, we can reduce the number of falsely injected triggers by 94% from more than 87% to less than 5%. On a subset of motion that would allow CMRI, the number can be further reduced to below 0.2%. In a study using simulations with a robot, we show that our method works for different types of motions, motion ranges, starting positions and heartbeat traces.CONCLUSION: While DUS is a promising approach for fetal CMRI, correct trigger injection is critical. Our model checking method can reduce the number of wrongly injected triggers substantially, providing a key prerequisite for fast and artifact free CMRI.
KW - Female
KW - Fetal Heart
KW - Heart Diseases
KW - Humans
KW - Magnetic Resonance Imaging
KW - Models, Biological
KW - Pregnancy
KW - Prenatal Diagnosis
KW - Signal Processing, Computer-Assisted
KW - Ultrasonography, Doppler
KW - Journal Article
KW - Review
U2 - 10.1007/s11548-018-1832-5
DO - 10.1007/s11548-018-1832-5
M3 - SCORING: Review article
C2 - 30078152
VL - 13
SP - 1755
EP - 1766
JO - INT J COMPUT ASS RAD
JF - INT J COMPUT ASS RAD
SN - 1861-6410
IS - 11
ER -