|Title: Comparing Model-free Motion Prediction and On-line Model Checking for Respiratory Motion Management Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering|
|Written by: S.-T. Antoni and J. Rinast and S. Schupp and A. Schlaefer|
|in: Software Engineering (Workshops) 2015 2015|
|on pages: 15-18|
|Address: Dresden, Germany|
Abstract: Compensating for respiratory motion is a key challenge for stereotactic body radiation therapy. To overcome latencies in the systems, prediction of future motion is necessary. This is related to the assumption of a stable correlation between external and internal motion. We present a new application for on-line model checking to introduce fail-safety to respiratory motion prediction and show its relevance by comparing to the widely used nLMS predictor. We demonstrate that the regularity of the external motion can be modeled and tested using OMC and deviations from regular respiratory motion can be detected.