Journal article icon

Journal article

Closed-loop quantitative verification of rate-adaptive pacemakers

Abstract:

Rate-adaptive pacemakers are cardiac devices able to automatically adjust the pacing rate in patients with chronotropic incompetence, i.e. whose heart is unable to provide an adequate rate at increasing levels of physical, mental or emotional activity. These devices work by processing data from physiological sensors in order to detect the patient’s activity and update the pacing rate accordingly. Rate-adaptation parameters depend on many patient-specific factors, and effective personalisation...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed

Actions


Access Document


Files:
  • (Accepted manuscript, pdf, 3.2MB)
Publisher copy:
10.1145/3152767

Authors


More by this author
Institution:
University of Oxford
Division:
MPLS Division
Department:
Computer Science
Role:
Author
More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Oxford college:
Trinity College
Role:
Author
More from this funder
Funding agency for:
Paoletti, N
Grant:
CNS-1446832
Publisher:
Association for Computing Machinery Publisher's website
Journal:
ACM Transactions on Cyber-Physical Systems Journal website
Volume:
2
Issue:
4
Article number:
33
Publication date:
2018-08-21
Acceptance date:
2017-10-08
DOI:
EISSN:
2378-9638
ISSN:
2378-962X
Source identifiers:
809208
Pubs id:
pubs:809208
UUID:
uuid:392ed3b8-a9ec-4e90-9bf4-4d268c52e5e6
Local pid:
pubs:809208
Deposit date:
2017-12-05

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP