[80340]
Title: Detection of Head Motion Artifacts based on a Statistical Online Model-Checking Approach Quantitative Evaluation of Systems - 14th International Conference
Written by: S. Lehmann and S.-T. Antoni and A. Schlaefer and S. Schupp
in: September 5-7 2017
Volume: Number:
on pages: accepted
Chapter:
Editor:
Publisher:
Series:
Address: Berlin, Germany
Edition:
ISBN:
how published:
Organization: Quantitative Evaluation of Systems - 14th International Conference
School:
Institution:
Type:
DOI:
URL:
ARXIVID:
PMID:

[BibTex]

Note:

Abstract: Many safety-critical applications in the medical domain, including dynamic tracking systems for real-world entities and motion control systems for cyber-physical devices, need to be checked continuously to facilitate a quick reaction to system failures and environmental changes. In this paper, we describe a combined solution of online model checking and the existing statistical model checking technique, building on a model representation of possible patient behaviours. We apply our concept in a case study on head motion tracking, for which we perform online motion pattern recognition and verification to decide on the most probable pattern on each time step as a base for countermeasures