| [80340] |
| Title: Detection of Head Motion Artifacts based on a Statistical Online Model-Checking Approach. <em>Quantitative Evaluation of Systems - 14th International Conference</em> |
| 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: |
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