Estimation and Verification of Hybrid Heart Models for Personalised Medical and Wearable Devices View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2015-09-02

AUTHORS

Benoît Barbot , Marta Kwiatkowska , Alexandru Mereacre , Nicola Paoletti

ABSTRACT

We are witnessing a huge growth in popularity of wearable and implantable devices equipped with sensors that are capable of monitoring a range of physiological processes and communicating the data to smartphones or to medical monitoring devices. Applications include not only medical diagnosis and treatment, but also biometric identification and authentication systems. An important requirement is personalisation of the devices, namely, their ability to adapt to the physiology of the human wearer and to faithfully reproduce the characteristics in real-time for the purposes of authentication or optimisation of medical therapies. In view of the complexity of the embedded software that controls such devices, model-based frameworks have been advocated for their design, development, verification and testing. In this paper, we focus on applications that exploit the unique characteristics of the heart rhythm. We introduce a hybrid automata model of the electrical conduction system of a human heart, adapted from Lian et al. [8], and present a framework for the estimation of personalised parameters, including the generation of synthetic ECGs from the model. We demonstrate the usefulness of the framework on two applications, ensuring safety of a pacemaker against a personalised heart model and ECG-based user authentication. More... »

PAGES

3-7

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-319-23401-4_1

DOI

http://dx.doi.org/10.1007/978-3-319-23401-4_1

DIMENSIONS

https://app.dimensions.ai/details/publication/pub.1047059837


Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
Incoming Citations Browse incoming citations for this publication using opencitations.net

JSON-LD is the canonical representation for SciGraph data.

TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

[
  {
    "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
    "about": [
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/08", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Information and Computing Sciences", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/09", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Engineering", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0801", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Artificial Intelligence and Image Processing", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0903", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Biomedical Engineering", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Department of Computer Science, University of Oxford, Oxford, UK", 
          "id": "http://www.grid.ac/institutes/grid.4991.5", 
          "name": [
            "Department of Computer Science, University of Oxford, Oxford, UK"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Barbot", 
        "givenName": "Beno\u00eet", 
        "id": "sg:person.011566260657.69", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011566260657.69"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Department of Computer Science, University of Oxford, Oxford, UK", 
          "id": "http://www.grid.ac/institutes/grid.4991.5", 
          "name": [
            "Department of Computer Science, University of Oxford, Oxford, UK"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Kwiatkowska", 
        "givenName": "Marta", 
        "id": "sg:person.011375012273.39", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011375012273.39"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Department of Computer Science, University of Oxford, Oxford, UK", 
          "id": "http://www.grid.ac/institutes/grid.4991.5", 
          "name": [
            "Department of Computer Science, University of Oxford, Oxford, UK"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Mereacre", 
        "givenName": "Alexandru", 
        "id": "sg:person.07767324617.67", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07767324617.67"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Department of Computer Science, University of Oxford, Oxford, UK", 
          "id": "http://www.grid.ac/institutes/grid.4991.5", 
          "name": [
            "Department of Computer Science, University of Oxford, Oxford, UK"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Paoletti", 
        "givenName": "Nicola", 
        "id": "sg:person.014036566653.01", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014036566653.01"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "2015-09-02", 
    "datePublishedReg": "2015-09-02", 
    "description": "We are witnessing a huge growth in popularity of wearable and implantable devices equipped with sensors that are capable of monitoring a range of physiological processes and communicating the data to smartphones or to medical monitoring devices. Applications include not only medical diagnosis and treatment, but also biometric identification and authentication systems. An important requirement is personalisation of the devices, namely, their ability to adapt to the physiology of the human wearer and to faithfully reproduce the characteristics in real-time for the purposes of authentication or optimisation of medical therapies. In view of the complexity of the embedded software that controls such devices, model-based frameworks have been advocated for their design, development, verification and testing. In this paper, we focus on applications that exploit the unique characteristics of the heart rhythm. We introduce a hybrid automata model of the electrical conduction system of a human heart, adapted from Lian et al. [8], and present a framework for the estimation of personalised parameters, including the generation of synthetic ECGs from the model. We demonstrate the usefulness of the framework on two applications, ensuring safety of a pacemaker against a personalised heart model and ECG-based user authentication.", 
    "editor": [
      {
        "familyName": "Roux", 
        "givenName": "Olivier", 
        "type": "Person"
      }, 
      {
        "familyName": "Bourdon", 
        "givenName": "J\u00e9r\u00e9mie", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-319-23401-4_1", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-319-23400-7", 
        "978-3-319-23401-4"
      ], 
      "name": "Computational Methods in Systems Biology", 
      "type": "Book"
    }, 
    "keywords": [
      "purpose of authentication", 
      "model-based framework", 
      "medical monitoring devices", 
      "user authentication", 
      "authentication system", 
      "biometric identification", 
      "hybrid automaton model", 
      "huge growth", 
      "wearable devices", 
      "authentication", 
      "important requirement", 
      "medical diagnosis", 
      "Lian et al", 
      "synthetic ECG", 
      "implantable devices", 
      "such devices", 
      "verification", 
      "human wearer", 
      "framework", 
      "devices", 
      "monitoring devices", 
      "automaton model", 
      "applications", 
      "smartphones", 
      "software", 
      "unique characteristics", 
      "electrical conduction system", 
      "estimation", 
      "personalisation", 
      "complexity", 
      "system", 
      "popularity", 
      "heart model", 
      "requirements", 
      "model", 
      "sensors", 
      "optimization", 
      "characteristics", 
      "design", 
      "parameters", 
      "heart rhythm", 
      "generation", 
      "process", 
      "view", 
      "et al", 
      "usefulness", 
      "data", 
      "al", 
      "range", 
      "testing", 
      "identification", 
      "purpose", 
      "ECG", 
      "development", 
      "ability", 
      "safety", 
      "Medical", 
      "wearers", 
      "growth", 
      "human heart", 
      "diagnosis", 
      "treatment", 
      "heart", 
      "pacemaker", 
      "conduction system", 
      "rhythm", 
      "physiological processes", 
      "physiology", 
      "medical therapy", 
      "paper", 
      "therapy", 
      "ECG-based user authentication", 
      "Hybrid Heart Models", 
      "Personalised Medical"
    ], 
    "name": "Estimation and Verification of Hybrid Heart Models for Personalised Medical and Wearable Devices", 
    "pagination": "3-7", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1047059837"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-319-23401-4_1"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-319-23401-4_1", 
      "https://app.dimensions.ai/details/publication/pub.1047059837"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2021-11-01T19:02", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20211101/entities/gbq_results/chapter/chapter_68.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/978-3-319-23401-4_1"
  }
]
 

Download the RDF metadata as:  json-ld nt turtle xml License info

HOW TO GET THIS DATA PROGRAMMATICALLY:

JSON-LD is a popular format for linked data which is fully compatible with JSON.

curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-23401-4_1'

N-Triples is a line-based linked data format ideal for batch operations.

curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-23401-4_1'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-23401-4_1'

RDF/XML is a standard XML format for linked data.

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-23401-4_1'


 

This table displays all metadata directly associated to this object as RDF triples.

168 TRIPLES      23 PREDICATES      101 URIs      92 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-319-23401-4_1 schema:about anzsrc-for:08
2 anzsrc-for:0801
3 anzsrc-for:09
4 anzsrc-for:0903
5 schema:author N30a98b6cb1a34a7cb8b580d2f2f3ee59
6 schema:datePublished 2015-09-02
7 schema:datePublishedReg 2015-09-02
8 schema:description We are witnessing a huge growth in popularity of wearable and implantable devices equipped with sensors that are capable of monitoring a range of physiological processes and communicating the data to smartphones or to medical monitoring devices. Applications include not only medical diagnosis and treatment, but also biometric identification and authentication systems. An important requirement is personalisation of the devices, namely, their ability to adapt to the physiology of the human wearer and to faithfully reproduce the characteristics in real-time for the purposes of authentication or optimisation of medical therapies. In view of the complexity of the embedded software that controls such devices, model-based frameworks have been advocated for their design, development, verification and testing. In this paper, we focus on applications that exploit the unique characteristics of the heart rhythm. We introduce a hybrid automata model of the electrical conduction system of a human heart, adapted from Lian et al. [8], and present a framework for the estimation of personalised parameters, including the generation of synthetic ECGs from the model. We demonstrate the usefulness of the framework on two applications, ensuring safety of a pacemaker against a personalised heart model and ECG-based user authentication.
9 schema:editor N654777f2a3bc47fd8e409a5743352197
10 schema:genre chapter
11 schema:inLanguage en
12 schema:isAccessibleForFree false
13 schema:isPartOf N60ee61bf5e9d4e13a3175c41c0e665dc
14 schema:keywords ECG
15 ECG-based user authentication
16 Hybrid Heart Models
17 Lian et al
18 Medical
19 Personalised Medical
20 ability
21 al
22 applications
23 authentication
24 authentication system
25 automaton model
26 biometric identification
27 characteristics
28 complexity
29 conduction system
30 data
31 design
32 development
33 devices
34 diagnosis
35 electrical conduction system
36 estimation
37 et al
38 framework
39 generation
40 growth
41 heart
42 heart model
43 heart rhythm
44 huge growth
45 human heart
46 human wearer
47 hybrid automaton model
48 identification
49 implantable devices
50 important requirement
51 medical diagnosis
52 medical monitoring devices
53 medical therapy
54 model
55 model-based framework
56 monitoring devices
57 optimization
58 pacemaker
59 paper
60 parameters
61 personalisation
62 physiological processes
63 physiology
64 popularity
65 process
66 purpose
67 purpose of authentication
68 range
69 requirements
70 rhythm
71 safety
72 sensors
73 smartphones
74 software
75 such devices
76 synthetic ECG
77 system
78 testing
79 therapy
80 treatment
81 unique characteristics
82 usefulness
83 user authentication
84 verification
85 view
86 wearable devices
87 wearers
88 schema:name Estimation and Verification of Hybrid Heart Models for Personalised Medical and Wearable Devices
89 schema:pagination 3-7
90 schema:productId N4b793eebe3ba4da09342ba3ddb014406
91 Nb648715a5b4e4a28b8cd968659cbc6ad
92 schema:publisher Nce4132c6e2cd49ad98d575f63ed2e42b
93 schema:sameAs https://app.dimensions.ai/details/publication/pub.1047059837
94 https://doi.org/10.1007/978-3-319-23401-4_1
95 schema:sdDatePublished 2021-11-01T19:02
96 schema:sdLicense https://scigraph.springernature.com/explorer/license/
97 schema:sdPublisher N35da82e1093a4b8388572051b9c946c6
98 schema:url https://doi.org/10.1007/978-3-319-23401-4_1
99 sgo:license sg:explorer/license/
100 sgo:sdDataset chapters
101 rdf:type schema:Chapter
102 N1d94597185bb48999a4f8b46e4aa3a0a schema:familyName Bourdon
103 schema:givenName Jérémie
104 rdf:type schema:Person
105 N30a98b6cb1a34a7cb8b580d2f2f3ee59 rdf:first sg:person.011566260657.69
106 rdf:rest N96e1b125673b4986bb7117d939aaa32c
107 N35da82e1093a4b8388572051b9c946c6 schema:name Springer Nature - SN SciGraph project
108 rdf:type schema:Organization
109 N4b793eebe3ba4da09342ba3ddb014406 schema:name dimensions_id
110 schema:value pub.1047059837
111 rdf:type schema:PropertyValue
112 N60ee61bf5e9d4e13a3175c41c0e665dc schema:isbn 978-3-319-23400-7
113 978-3-319-23401-4
114 schema:name Computational Methods in Systems Biology
115 rdf:type schema:Book
116 N654777f2a3bc47fd8e409a5743352197 rdf:first N9eea6033fd2d42719f20a1db86b2922a
117 rdf:rest Nd04c6587861f42e5a5cd1f24ad35aeef
118 N96e1b125673b4986bb7117d939aaa32c rdf:first sg:person.011375012273.39
119 rdf:rest Nf86137b1ca8944b69729e3dfbca7fcb9
120 N9eea6033fd2d42719f20a1db86b2922a schema:familyName Roux
121 schema:givenName Olivier
122 rdf:type schema:Person
123 Nb648715a5b4e4a28b8cd968659cbc6ad schema:name doi
124 schema:value 10.1007/978-3-319-23401-4_1
125 rdf:type schema:PropertyValue
126 Nce4132c6e2cd49ad98d575f63ed2e42b schema:name Springer Nature
127 rdf:type schema:Organisation
128 Nd04c6587861f42e5a5cd1f24ad35aeef rdf:first N1d94597185bb48999a4f8b46e4aa3a0a
129 rdf:rest rdf:nil
130 Ndce668467aab4189aca4e0617e3a9235 rdf:first sg:person.014036566653.01
131 rdf:rest rdf:nil
132 Nf86137b1ca8944b69729e3dfbca7fcb9 rdf:first sg:person.07767324617.67
133 rdf:rest Ndce668467aab4189aca4e0617e3a9235
134 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
135 schema:name Information and Computing Sciences
136 rdf:type schema:DefinedTerm
137 anzsrc-for:0801 schema:inDefinedTermSet anzsrc-for:
138 schema:name Artificial Intelligence and Image Processing
139 rdf:type schema:DefinedTerm
140 anzsrc-for:09 schema:inDefinedTermSet anzsrc-for:
141 schema:name Engineering
142 rdf:type schema:DefinedTerm
143 anzsrc-for:0903 schema:inDefinedTermSet anzsrc-for:
144 schema:name Biomedical Engineering
145 rdf:type schema:DefinedTerm
146 sg:person.011375012273.39 schema:affiliation grid-institutes:grid.4991.5
147 schema:familyName Kwiatkowska
148 schema:givenName Marta
149 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011375012273.39
150 rdf:type schema:Person
151 sg:person.011566260657.69 schema:affiliation grid-institutes:grid.4991.5
152 schema:familyName Barbot
153 schema:givenName Benoît
154 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011566260657.69
155 rdf:type schema:Person
156 sg:person.014036566653.01 schema:affiliation grid-institutes:grid.4991.5
157 schema:familyName Paoletti
158 schema:givenName Nicola
159 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014036566653.01
160 rdf:type schema:Person
161 sg:person.07767324617.67 schema:affiliation grid-institutes:grid.4991.5
162 schema:familyName Mereacre
163 schema:givenName Alexandru
164 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07767324617.67
165 rdf:type schema:Person
166 grid-institutes:grid.4991.5 schema:alternateName Department of Computer Science, University of Oxford, Oxford, UK
167 schema:name Department of Computer Science, University of Oxford, Oxford, UK
168 rdf:type schema:Organization
 




Preview window. Press ESC to close (or click here)


...