[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 (594 KB)
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
|