Skip to main content
Erschienen in: International Journal of Computer Assisted Radiology and Surgery 11/2016

01.11.2016 | Original Article

Online model checking for monitoring surrogate-based respiratory motion tracking in radiation therapy

verfasst von: Sven-Thomas Antoni, Jonas Rinast, Xintao Ma, Sibylle Schupp, Alexander Schlaefer

Erschienen in: International Journal of Computer Assisted Radiology and Surgery | Ausgabe 11/2016

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

Objective

Correlation between internal and external motion is critical for respiratory motion compensation in radiosurgery. Artifacts like coughing, sneezing or yawning or changes in the breathing pattern can lead to misalignment between beam and tumor and need to be detected to interrupt the treatment. We propose online model checking (OMC), a model-based verification approach from the field of formal methods, to verify that the breathing motion is regular and the correlation holds. We demonstrate that OMC may be more suitable for artifact detection than the prediction error.

Materials and methods

We established a sinusoidal model to apply OMC to the verification of respiratory motion. The method was parameterized to detect deviations from typical breathing motion. We analyzed the performance on synthetic data and on clinical episodes showing large correlation error. In comparison, we considered the prediction error of different state-of-the-art methods based on least mean squares (LMS; normalized LMS, nLMS; wavelet-based multiscale autoregression, wLMS), recursive least squares (RLSpred) and support vector regression (SVRpred).

Results

On synthetic data, OMC outperformed wLMS by at least 30 % and SVRpred by at least 141 %, detecting 70 % of transitions. No artifacts were detected by nLMS and RLSpred. On patient data, OMC detected 23–49 % of the episodes correctly, outperforming nLMS, wLMS, RLSpred and SVRpred by up to 544, 491, 408 and 258 %, respectively. On selected episodes, OMC detected up to 94 % of all events.

Conclusion

OMC is able to detect changes in breathing as well as artifacts which previously would have gone undetected, outperforming prediction error-based detection. Synthetic data analysis supports the assumption that prediction is very insensitive to specific changes in breathing. We suggest using OMC as an additional safety measure ensuring reliable and fast stopping of irradiation.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Literatur
1.
Zurück zum Zitat Schweikard A, Glosser G, Bodduluri M, Murphy M, Adler J (2000) Robotic motion compensation for respiratory movement during radiosurgery. Comput Aided Surg 5(4):263–277CrossRefPubMed Schweikard A, Glosser G, Bodduluri M, Murphy M, Adler J (2000) Robotic motion compensation for respiratory movement during radiosurgery. Comput Aided Surg 5(4):263–277CrossRefPubMed
2.
Zurück zum Zitat Schweikard A, Shiomi H, Adler J (2004) Respiration tracking in radiosurgery. Med Phys 31(10):2738–2741CrossRefPubMed Schweikard A, Shiomi H, Adler J (2004) Respiration tracking in radiosurgery. Med Phys 31(10):2738–2741CrossRefPubMed
3.
Zurück zum Zitat Seppenwoolde Y, Berbeco RI, Nishioka S, Shirato H, Heijmen B (2007) Accuracy of tumor motion compensation algorithm from a robotic respiratory tracking system: a simulation study. Med Phys 34(7):2774–2784CrossRefPubMed Seppenwoolde Y, Berbeco RI, Nishioka S, Shirato H, Heijmen B (2007) Accuracy of tumor motion compensation algorithm from a robotic respiratory tracking system: a simulation study. Med Phys 34(7):2774–2784CrossRefPubMed
4.
Zurück zum Zitat Depuydt T, Haas OC, Verellen D, Erbel S, De Ridder M, Storme G (2010) Geometric accuracy evaluation of the new VERO stereotactic body radiation therapy system. In: UKACC international conference on control 2010, pp 1–6, IET. doi:10.1049/ic.2010.0291 Depuydt T, Haas OC, Verellen D, Erbel S, De Ridder M, Storme G (2010) Geometric accuracy evaluation of the new VERO stereotactic body radiation therapy system. In: UKACC international conference on control 2010, pp 1–6, IET. doi:10.​1049/​ic.​2010.​0291
5.
Zurück zum Zitat Murphy MJ, Isaakson M, Jalden J (2002) Adaptive filtering to predict lung tumor motion during free breathing. In: CARS 2002 computer assisted radiology and surgery. Springer, Berlin, pp 539–544 Murphy MJ, Isaakson M, Jalden J (2002) Adaptive filtering to predict lung tumor motion during free breathing. In: CARS 2002 computer assisted radiology and surgery. Springer, Berlin, pp 539–544
6.
Zurück zum Zitat Ernst F, Schlaefer A, Schweikard A (2007) Prediction of respiratory motion with wavelet-based multiscale autoregression. Med Image Comput Comput Assist Interv—MICCAI 2007. In: 10th international conference on medical image computing and computer assisted intervention, vol 10, pp 668–675 Ernst F, Schlaefer A, Schweikard A (2007) Prediction of respiratory motion with wavelet-based multiscale autoregression. Med Image Comput Comput Assist Interv—MICCAI 2007. In: 10th international conference on medical image computing and computer assisted intervention, vol 10, pp 668–675
7.
Zurück zum Zitat Ernst F, Schweikard A (2008) Prediction of respiratory motion using a modified recursive least squares algorithm. In: CURAC 2008-Tagungsband, pp 157–160 Ernst F, Schweikard A (2008) Prediction of respiratory motion using a modified recursive least squares algorithm. In: CURAC 2008-Tagungsband, pp 157–160
9.
Zurück zum Zitat Ernst F, Schweikard A (2009) Forecasting respiratory motion with accurate online support vector regression (SVRpred). Int J Comput Assist Radiol Surg 4(5):439–447CrossRefPubMed Ernst F, Schweikard A (2009) Forecasting respiratory motion with accurate online support vector regression (SVRpred). Int J Comput Assist Radiol Surg 4(5):439–447CrossRefPubMed
10.
Zurück zum Zitat Dürichen R, Wissel T, Ernst F, Schweikard A (2013) Respiratory motion compensation with relevance vector machines. In: Medical image computing and computer-assisted intervention–MICCAI 2013. Springer, Berlin, pp 108–115 Dürichen R, Wissel T, Ernst F, Schweikard A (2013) Respiratory motion compensation with relevance vector machines. In: Medical image computing and computer-assisted intervention–MICCAI 2013. Springer, Berlin, pp 108–115
11.
Zurück zum Zitat Murphy M, Pokhrel D (2009) Optimization of an adaptive neural network to predict breathing. Med Phys 36(1):40–47CrossRefPubMed Murphy M, Pokhrel D (2009) Optimization of an adaptive neural network to predict breathing. Med Phys 36(1):40–47CrossRefPubMed
12.
Zurück zum Zitat Ramrath L, Schlaefer A, Ernst F, Dieterich S, Schweikard A (2007) Prediction of respiratory motion with a multi-frequency based extended kalman filter. In: Proceedings of the 21st international conference and exhibition on computer assisted radiology and surgery (CARS07), vol 21 Ramrath L, Schlaefer A, Ernst F, Dieterich S, Schweikard A (2007) Prediction of respiratory motion with a multi-frequency based extended kalman filter. In: Proceedings of the 21st international conference and exhibition on computer assisted radiology and surgery (CARS07), vol 21
13.
Zurück zum Zitat Dürichen R, Wissel T, Ernst F, Schlaefer A, Schweikard A (2014) Multivariate respiratory motion prediction. Phys Med Biol 59(20):6043CrossRefPubMed Dürichen R, Wissel T, Ernst F, Schlaefer A, Schweikard A (2014) Multivariate respiratory motion prediction. Phys Med Biol 59(20):6043CrossRefPubMed
14.
Zurück zum Zitat Schweikard A, Shiomi H, Adler J (2005) Respiration tracking in radiosurgery without fiducials. Int J Med Robot 1(2):19–27CrossRefPubMed Schweikard A, Shiomi H, Adler J (2005) Respiration tracking in radiosurgery without fiducials. Int J Med Robot 1(2):19–27CrossRefPubMed
15.
Zurück zum Zitat Alur R, Dill D (1994) A theory of timed automata. Theor Comput Sci 126(2):183–235CrossRef Alur R, Dill D (1994) A theory of timed automata. Theor Comput Sci 126(2):183–235CrossRef
16.
Zurück zum Zitat David A, Du D, Larsen KG, Legay A, Mikučionis M, Bøgsted Poulsen D, Sedwards S (2012) Statistical model checking for stochastic hybrid systems. In: Proceedings first international workshop on hybrid systems and biology, Newcastle Upon Tyne, 3rd September 2012, Electronic proceedings in theoretical computer science, vol 92. Open Publishing Association, pp 122–136 David A, Du D, Larsen KG, Legay A, Mikučionis M, Bøgsted Poulsen D, Sedwards S (2012) Statistical model checking for stochastic hybrid systems. In: Proceedings first international workshop on hybrid systems and biology, Newcastle Upon Tyne, 3rd September 2012, Electronic proceedings in theoretical computer science, vol 92. Open Publishing Association, pp 122–136
17.
Zurück zum Zitat Bengtsson J (2002) Clocks, DBMs and states in timed systems. Ph.D. thesis, Uppsala University Bengtsson J (2002) Clocks, DBMs and states in timed systems. Ph.D. thesis, Uppsala University
18.
Zurück zum Zitat Legay A, Delahaye B, Bensalem S (2010) Statistical model checking: an overview. In: Barringer H, Falcone Y, Finkbeiner B, Havelund K, Lee I, Pace G, Rou G, Sokolsky O, Tillmann N (eds) Runtime verification, vol 6418. Lecture Notes in Computer Science, Springer, Berlin, pp 122–135 Legay A, Delahaye B, Bensalem S (2010) Statistical model checking: an overview. In: Barringer H, Falcone Y, Finkbeiner B, Havelund K, Lee I, Pace G, Rou G, Sokolsky O, Tillmann N (eds) Runtime verification, vol 6418. Lecture Notes in Computer Science, Springer, Berlin, pp 122–135
19.
Zurück zum Zitat Behrmann G, David A, Larsen KG (2006) A tutorial on Uppaal 4.0. In: Bernardo M, Corradini F (eds) Formal methods for the design of real-time systems, vol 3185. Lecture Notes in Computer Science, Springer, Berlin, pp 1–48. Updated version of the original paper from 2004 Behrmann G, David A, Larsen KG (2006) A tutorial on Uppaal 4.0. In: Bernardo M, Corradini F (eds) Formal methods for the design of real-time systems, vol 3185. Lecture Notes in Computer Science, Springer, Berlin, pp 1–48. Updated version of the original paper from 2004
20.
Zurück zum Zitat Bulychev P, David A, Larsen KG, Mikučionis M, Bøgsted Poulsen D, Legay A, Wang Z (2012) UPPAAL-SMC: statistical model checking for priced timed automata. In: Wiklicky H, Massink M (eds) 10th workshop on quantitative aspects of programming languages and systems (QAPL 2012), electronic proceedings in theoretical computer science, vol 85. Open Publishing Association, pp 1–16 Bulychev P, David A, Larsen KG, Mikučionis M, Bøgsted Poulsen D, Legay A, Wang Z (2012) UPPAAL-SMC: statistical model checking for priced timed automata. In: Wiklicky H, Massink M (eds) 10th workshop on quantitative aspects of programming languages and systems (QAPL 2012), electronic proceedings in theoretical computer science, vol 85. Open Publishing Association, pp 1–16
21.
Zurück zum Zitat Bengtsson J, Yi W (2004) Timed automata: semantics, algorithms and tools. In: Desel J, Reisig W, Rozenberg G (eds) Lectures on concurrency and petri nets, vol 3098. Lecture Notes in Computer Science, Springer, Berlin, pp 87–124 Bengtsson J, Yi W (2004) Timed automata: semantics, algorithms and tools. In: Desel J, Reisig W, Rozenberg G (eds) Lectures on concurrency and petri nets, vol 3098. Lecture Notes in Computer Science, Springer, Berlin, pp 87–124
22.
Zurück zum Zitat Li T, Tan F, Wang Q, Bu L, Cao JN, Liu X (2012) From offline toward real-time: a hybrid systems model checking and CPS Co-design approach for medical device plug-and-play (MDPnP). In: 2012 IEEE/ACM third international conference on cyber-physical systems. IEEE, pp 13–22 Li T, Tan F, Wang Q, Bu L, Cao JN, Liu X (2012) From offline toward real-time: a hybrid systems model checking and CPS Co-design approach for medical device plug-and-play (MDPnP). In: 2012 IEEE/ACM third international conference on cyber-physical systems. IEEE, pp 13–22
23.
Zurück zum Zitat Antoni S, Rinast J, Schupp S, Schlaefer A (2015) Comparing model-free motion prediction and on-line model checking for respiratory motion management. In: Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, Dresden, Germany, 17.–18. März 2015, pp 15–18 Antoni S, Rinast J, Schupp S, Schlaefer A (2015) Comparing model-free motion prediction and on-line model checking for respiratory motion management. In: Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, Dresden, Germany, 17.–18. März 2015, pp 15–18
24.
Zurück zum Zitat Antoni ST, Rinast J, Schupp S, Schlaefer A (2015) Evaluation des Einflusses von Artefakten auf den Korrelationsfehler in der bewegungskompensierten Radiochirurgie. In: CURAC 2015 - Tagungsband. Bremen, Germany, pp 133–138 Antoni ST, Rinast J, Schupp S, Schlaefer A (2015) Evaluation des Einflusses von Artefakten auf den Korrelationsfehler in der bewegungskompensierten Radiochirurgie. In: CURAC 2015 - Tagungsband. Bremen, Germany, pp 133–138
25.
Zurück zum Zitat Krilavicius T, Wan K, Lee K, Man KL (2012) Specification and verification of radiation therapy system with respiratory compensation using uppaal. Int J Des Anal Tools Integr Circ Syst 3(1):8–13 Krilavicius T, Wan K, Lee K, Man KL (2012) Specification and verification of radiation therapy system with respiratory compensation using uppaal. Int J Des Anal Tools Integr Circ Syst 3(1):8–13
26.
Zurück zum Zitat Rzezovski N, Ernst F (2008) Graphical tool for the prediction of respiratory motion signals. In: CURAC 2008 - Tagungsband, pp 179–180 Rzezovski N, Ernst F (2008) Graphical tool for the prediction of respiratory motion signals. In: CURAC 2008 - Tagungsband, pp 179–180
Metadaten
Titel
Online model checking for monitoring surrogate-based respiratory motion tracking in radiation therapy
verfasst von
Sven-Thomas Antoni
Jonas Rinast
Xintao Ma
Sibylle Schupp
Alexander Schlaefer
Publikationsdatum
01.11.2016
Verlag
Springer Berlin Heidelberg
Erschienen in
International Journal of Computer Assisted Radiology and Surgery / Ausgabe 11/2016
Print ISSN: 1861-6410
Elektronische ISSN: 1861-6429
DOI
https://doi.org/10.1007/s11548-016-1423-2

Weitere Artikel der Ausgabe 11/2016

International Journal of Computer Assisted Radiology and Surgery 11/2016 Zur Ausgabe

Premium Partner