TUHH Open Research
Help
  • Log In
    New user? Click here to register.Have you forgotten your password?
  • English
  • Deutsch
  • Communities & Collections
  • Publications
  • Research Data
  • People
  • Institutions
  • Projects
  • Statistics
  1. Home
  2. TUHH
  3. Publication References
  4. Model checking for trigger loss detection during Doppler ultrasound-guided fetal cardiovascular MRI
 
Options

Model checking for trigger loss detection during Doppler ultrasound-guided fetal cardiovascular MRI

Publikationstyp
Review Article
Date Issued
2018-11-01
Sprache
English
Author(s)
Antoni, Sven-Thomas  
Lehmann, Sascha 
Neidhardt, Maximilian  
Fehrs, Kai  
Ruprecht, Christian  
Kording, Fabian  
Adam, Gerhard  
Schupp, Sibylle  
Schlaefer, Alexander  
Institut
Medizintechnische Systeme E-1  
Softwaresysteme E-16  
TORE-URI
http://hdl.handle.net/11420/2741
Journal
International journal of computer assisted radiology and surgery  
Start Page
1755
End Page
1766
Citation
International Journal of Computer Assisted Radiology and Surgery 11 (13): 1755-1766 (2018-11-01)
Publisher DOI
10.1007/s11548-018-1832-5
Scopus ID
2-s2.0-85051183217
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.
More Funding Information
Partially funded by fmthh—Forschungszentrum Medizin-technik Hamburg
TUHH
Weiterführende Links
  • Contact
  • Send Feedback
  • Cookie settings
  • Privacy policy
  • Impress
DSpace Software

Built with DSpace-CRIS software - Extension maintained and optimized by 4Science
Design by effective webwork GmbH

  • Deutsche NationalbibliothekDeutsche Nationalbibliothek
  • ORCiD Member OrganizationORCiD Member Organization
  • DataCiteDataCite
  • Re3DataRe3Data
  • OpenDOAROpenDOAR
  • OpenAireOpenAire
  • BASE Bielefeld Academic Search EngineBASE Bielefeld Academic Search Engine
Feedback