Oxford logo
[KPP17] M. Kwiatkowska, N. Paoletti, A. Patanè. Closed-loop quantitative verification of rate-adaptive pacemakers. In Proc. Oxford Computer Science Conference 2017. 2017. [pdf] [bib]
Downloads:  pdf pdf (594 KB)  bib bib
Notes: Winner of Best Poster Award.
Abstract.
  • Cardiac pacemakers are electrical devices that treat arrhythmias delivering electrical stimuli to the patient heart
  • Rate-adaptation: regulation of pacing rate according to patient’s needs (e.g. increased pacing rate during exercise)
  • Programming of rate-adaptation parameters depends on many patient-specific factors (age, lifestyle, tolerance to rapid pacing, …)
  • Effective personalisation achievable only through extensive exercise testing: intolerable for a cardiac patient
  • We introduce a data-driven and model-based approach for subject specific verification of rate-adaptive pacemakers

QAV:

Home

People

Projects

Publications