Safe and Automatic Addition of Fault Tolerance for Smart Homes Dedicated to People with Disabilities View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2016

AUTHORS

Sébastien Guillet , Bruno Bouchard , Abdenour Bouzouane

ABSTRACT

In this chapter, we discuss a project of the LIARA laboratory that introduces a methodology to design and control smart homes dedicated to people with disabilities. In this context, this project aims at improving the security of the environment through a design methodology involving formal synthesis techniques.

PAGES

87-116

References to SciGraph publications

Book

TITLE

Trends in Ambient Intelligent Systems

ISBN

978-3-319-30182-2
978-3-319-30184-6

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-319-30184-6_4

DOI

http://dx.doi.org/10.1007/978-3-319-30184-6_4

DIMENSIONS

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


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/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/08", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Information and Computing Sciences", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "name": [
            "LIARA, Universit\u00e9 du Qu\u00e9bec \u00c0 Chicoutimi"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Guillet", 
        "givenName": "S\u00e9bastien", 
        "id": "sg:person.011541511453.28", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011541511453.28"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "name": [
            "LIARA, Universit\u00e9 du Qu\u00e9bec \u00c0 Chicoutimi"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Bouchard", 
        "givenName": "Bruno", 
        "id": "sg:person.014102265512.68", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014102265512.68"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "name": [
            "LIARA, Universit\u00e9 du Qu\u00e9bec \u00c0 Chicoutimi"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Bouzouane", 
        "givenName": "Abdenour", 
        "id": "sg:person.015150332556.91", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015150332556.91"
        ], 
        "type": "Person"
      }
    ], 
    "citation": [
      {
        "id": "https://doi.org/10.1145/2038642.2038690", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1005647191"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/2413097.2413134", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1015167521"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/2413097.2413135", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1019078038"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/j.procs.2013.09.034", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1025596686"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/1755888.1755898", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1028952910"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/1273961.1273982", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1030231442"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-36575-3_13", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1032371761", 
          "https://doi.org/10.1007/3-540-36575-3_13"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-36575-3_13", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1032371761", 
          "https://doi.org/10.1007/3-540-36575-3_13"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-642-13238-4_6", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1035193038", 
          "https://doi.org/10.1007/978-3-642-13238-4_6"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-642-13238-4_6", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1035193038", 
          "https://doi.org/10.1007/978-3-642-13238-4_6"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1080/08839510701492579", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1042210598"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1002/sec.794", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1049626960"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/32.879811", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1061154641"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/jproc.2002.805826", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1061296057"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/mis.2008.19", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1061406049"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/mtas.2005.1407746", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1061430668"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.2307/1884176", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1069625429"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/cidm.2013.6597220", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1093545955"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/nesea.2012.6474010", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1093767938"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/ie.2011.36", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1094930306"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/elektro.2012.6225617", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1095675898"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.2495/bio030491", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1098493400"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.2495/bio030501", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1098493401"
        ], 
        "type": "CreativeWork"
      }
    ], 
    "datePublished": "2016", 
    "datePublishedReg": "2016-01-01", 
    "description": "In this chapter, we discuss a project of the LIARA laboratory that introduces a methodology to design and control smart homes dedicated to people with disabilities. In this context, this project aims at improving the security of the environment through a design methodology involving formal synthesis techniques.", 
    "editor": [
      {
        "familyName": "Ravulakollu", 
        "givenName": "Kiran Kumar", 
        "type": "Person"
      }, 
      {
        "familyName": "Khan", 
        "givenName": "Mohammad Ayoub", 
        "type": "Person"
      }, 
      {
        "familyName": "Abraham", 
        "givenName": "Ajith", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-319-30184-6_4", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-319-30182-2", 
        "978-3-319-30184-6"
      ], 
      "name": "Trends in Ambient Intelligent Systems", 
      "type": "Book"
    }, 
    "name": "Safe and Automatic Addition of Fault Tolerance for Smart Homes Dedicated to People with Disabilities", 
    "pagination": "87-116", 
    "productId": [
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-319-30184-6_4"
        ]
      }, 
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "55c459d2fd1f57074fa20e200ea76847e808379043b3bfdc6b5c946be245bf72"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1018000486"
        ]
      }
    ], 
    "publisher": {
      "location": "Cham", 
      "name": "Springer International Publishing", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-319-30184-6_4", 
      "https://app.dimensions.ai/details/publication/pub.1018000486"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2019-04-15T22:41", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-uberresearch-data-dimensions-target-20181106-alternative/cleanup/v134/2549eaecd7973599484d7c17b260dba0a4ecb94b/merge/v9/a6c9fde33151104705d4d7ff012ea9563521a3ce/jats-lookup/v90/0000000001_0000000264/records_8695_00000031.jsonl", 
    "type": "Chapter", 
    "url": "http://link.springer.com/10.1007/978-3-319-30184-6_4"
  }
]
 

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-30184-6_4'

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-30184-6_4'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-30184-6_4'

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-30184-6_4'


 

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

157 TRIPLES      23 PREDICATES      48 URIs      20 LITERALS      8 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-319-30184-6_4 schema:about anzsrc-for:08
2 anzsrc-for:0801
3 schema:author N4472fc119ae648bebbb245d9e2e37915
4 schema:citation sg:pub.10.1007/3-540-36575-3_13
5 sg:pub.10.1007/978-3-642-13238-4_6
6 https://doi.org/10.1002/sec.794
7 https://doi.org/10.1016/j.procs.2013.09.034
8 https://doi.org/10.1080/08839510701492579
9 https://doi.org/10.1109/32.879811
10 https://doi.org/10.1109/cidm.2013.6597220
11 https://doi.org/10.1109/elektro.2012.6225617
12 https://doi.org/10.1109/ie.2011.36
13 https://doi.org/10.1109/jproc.2002.805826
14 https://doi.org/10.1109/mis.2008.19
15 https://doi.org/10.1109/mtas.2005.1407746
16 https://doi.org/10.1109/nesea.2012.6474010
17 https://doi.org/10.1145/1273961.1273982
18 https://doi.org/10.1145/1755888.1755898
19 https://doi.org/10.1145/2038642.2038690
20 https://doi.org/10.1145/2413097.2413134
21 https://doi.org/10.1145/2413097.2413135
22 https://doi.org/10.2307/1884176
23 https://doi.org/10.2495/bio030491
24 https://doi.org/10.2495/bio030501
25 schema:datePublished 2016
26 schema:datePublishedReg 2016-01-01
27 schema:description In this chapter, we discuss a project of the LIARA laboratory that introduces a methodology to design and control smart homes dedicated to people with disabilities. In this context, this project aims at improving the security of the environment through a design methodology involving formal synthesis techniques.
28 schema:editor Nbc6cacb7567f4235839394b82326c1c3
29 schema:genre chapter
30 schema:inLanguage en
31 schema:isAccessibleForFree false
32 schema:isPartOf Nd08502a69dca469982cee12b469c96f3
33 schema:name Safe and Automatic Addition of Fault Tolerance for Smart Homes Dedicated to People with Disabilities
34 schema:pagination 87-116
35 schema:productId Na51aebac182849a1b20322b5e543f618
36 Nc89723042b6c48f59259e1ead65f9971
37 Nc939a9c3d3f0475eb2501a5302f647b0
38 schema:publisher N39a9d429cdca4aca926364209b001c6c
39 schema:sameAs https://app.dimensions.ai/details/publication/pub.1018000486
40 https://doi.org/10.1007/978-3-319-30184-6_4
41 schema:sdDatePublished 2019-04-15T22:41
42 schema:sdLicense https://scigraph.springernature.com/explorer/license/
43 schema:sdPublisher Ncaf9def9faf94580a690c20c17613d6f
44 schema:url http://link.springer.com/10.1007/978-3-319-30184-6_4
45 sgo:license sg:explorer/license/
46 sgo:sdDataset chapters
47 rdf:type schema:Chapter
48 N0636ac91fa144f418f530c9f2cd735bd schema:name LIARA, Université du Québec À Chicoutimi
49 rdf:type schema:Organization
50 N29763bbbfed646fc82b3cecf9035102a schema:name LIARA, Université du Québec À Chicoutimi
51 rdf:type schema:Organization
52 N39a9d429cdca4aca926364209b001c6c schema:location Cham
53 schema:name Springer International Publishing
54 rdf:type schema:Organisation
55 N441c6b67e62e4c3680c60a1824c2c4c9 rdf:first N72c2db18308544b1901e5b261f8f74e6
56 rdf:rest Naa5fd276748c498887f758eff48247ae
57 N4472fc119ae648bebbb245d9e2e37915 rdf:first sg:person.011541511453.28
58 rdf:rest Neb4b5b12d0f04325b452e987e0f6cb0d
59 N4b2d5148eee543b8a499e40be4bcb362 schema:familyName Ravulakollu
60 schema:givenName Kiran Kumar
61 rdf:type schema:Person
62 N4e6ca87e4f554067b2421dd346f750e1 rdf:first sg:person.015150332556.91
63 rdf:rest rdf:nil
64 N57976237277f4691908f583bee5f076b schema:name LIARA, Université du Québec À Chicoutimi
65 rdf:type schema:Organization
66 N72c2db18308544b1901e5b261f8f74e6 schema:familyName Khan
67 schema:givenName Mohammad Ayoub
68 rdf:type schema:Person
69 Na26840d41564492697cd80224f2bb8a6 schema:familyName Abraham
70 schema:givenName Ajith
71 rdf:type schema:Person
72 Na51aebac182849a1b20322b5e543f618 schema:name readcube_id
73 schema:value 55c459d2fd1f57074fa20e200ea76847e808379043b3bfdc6b5c946be245bf72
74 rdf:type schema:PropertyValue
75 Naa5fd276748c498887f758eff48247ae rdf:first Na26840d41564492697cd80224f2bb8a6
76 rdf:rest rdf:nil
77 Nbc6cacb7567f4235839394b82326c1c3 rdf:first N4b2d5148eee543b8a499e40be4bcb362
78 rdf:rest N441c6b67e62e4c3680c60a1824c2c4c9
79 Nc89723042b6c48f59259e1ead65f9971 schema:name doi
80 schema:value 10.1007/978-3-319-30184-6_4
81 rdf:type schema:PropertyValue
82 Nc939a9c3d3f0475eb2501a5302f647b0 schema:name dimensions_id
83 schema:value pub.1018000486
84 rdf:type schema:PropertyValue
85 Ncaf9def9faf94580a690c20c17613d6f schema:name Springer Nature - SN SciGraph project
86 rdf:type schema:Organization
87 Nd08502a69dca469982cee12b469c96f3 schema:isbn 978-3-319-30182-2
88 978-3-319-30184-6
89 schema:name Trends in Ambient Intelligent Systems
90 rdf:type schema:Book
91 Neb4b5b12d0f04325b452e987e0f6cb0d rdf:first sg:person.014102265512.68
92 rdf:rest N4e6ca87e4f554067b2421dd346f750e1
93 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
94 schema:name Information and Computing Sciences
95 rdf:type schema:DefinedTerm
96 anzsrc-for:0801 schema:inDefinedTermSet anzsrc-for:
97 schema:name Artificial Intelligence and Image Processing
98 rdf:type schema:DefinedTerm
99 sg:person.011541511453.28 schema:affiliation N0636ac91fa144f418f530c9f2cd735bd
100 schema:familyName Guillet
101 schema:givenName Sébastien
102 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011541511453.28
103 rdf:type schema:Person
104 sg:person.014102265512.68 schema:affiliation N57976237277f4691908f583bee5f076b
105 schema:familyName Bouchard
106 schema:givenName Bruno
107 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014102265512.68
108 rdf:type schema:Person
109 sg:person.015150332556.91 schema:affiliation N29763bbbfed646fc82b3cecf9035102a
110 schema:familyName Bouzouane
111 schema:givenName Abdenour
112 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015150332556.91
113 rdf:type schema:Person
114 sg:pub.10.1007/3-540-36575-3_13 schema:sameAs https://app.dimensions.ai/details/publication/pub.1032371761
115 https://doi.org/10.1007/3-540-36575-3_13
116 rdf:type schema:CreativeWork
117 sg:pub.10.1007/978-3-642-13238-4_6 schema:sameAs https://app.dimensions.ai/details/publication/pub.1035193038
118 https://doi.org/10.1007/978-3-642-13238-4_6
119 rdf:type schema:CreativeWork
120 https://doi.org/10.1002/sec.794 schema:sameAs https://app.dimensions.ai/details/publication/pub.1049626960
121 rdf:type schema:CreativeWork
122 https://doi.org/10.1016/j.procs.2013.09.034 schema:sameAs https://app.dimensions.ai/details/publication/pub.1025596686
123 rdf:type schema:CreativeWork
124 https://doi.org/10.1080/08839510701492579 schema:sameAs https://app.dimensions.ai/details/publication/pub.1042210598
125 rdf:type schema:CreativeWork
126 https://doi.org/10.1109/32.879811 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061154641
127 rdf:type schema:CreativeWork
128 https://doi.org/10.1109/cidm.2013.6597220 schema:sameAs https://app.dimensions.ai/details/publication/pub.1093545955
129 rdf:type schema:CreativeWork
130 https://doi.org/10.1109/elektro.2012.6225617 schema:sameAs https://app.dimensions.ai/details/publication/pub.1095675898
131 rdf:type schema:CreativeWork
132 https://doi.org/10.1109/ie.2011.36 schema:sameAs https://app.dimensions.ai/details/publication/pub.1094930306
133 rdf:type schema:CreativeWork
134 https://doi.org/10.1109/jproc.2002.805826 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061296057
135 rdf:type schema:CreativeWork
136 https://doi.org/10.1109/mis.2008.19 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061406049
137 rdf:type schema:CreativeWork
138 https://doi.org/10.1109/mtas.2005.1407746 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061430668
139 rdf:type schema:CreativeWork
140 https://doi.org/10.1109/nesea.2012.6474010 schema:sameAs https://app.dimensions.ai/details/publication/pub.1093767938
141 rdf:type schema:CreativeWork
142 https://doi.org/10.1145/1273961.1273982 schema:sameAs https://app.dimensions.ai/details/publication/pub.1030231442
143 rdf:type schema:CreativeWork
144 https://doi.org/10.1145/1755888.1755898 schema:sameAs https://app.dimensions.ai/details/publication/pub.1028952910
145 rdf:type schema:CreativeWork
146 https://doi.org/10.1145/2038642.2038690 schema:sameAs https://app.dimensions.ai/details/publication/pub.1005647191
147 rdf:type schema:CreativeWork
148 https://doi.org/10.1145/2413097.2413134 schema:sameAs https://app.dimensions.ai/details/publication/pub.1015167521
149 rdf:type schema:CreativeWork
150 https://doi.org/10.1145/2413097.2413135 schema:sameAs https://app.dimensions.ai/details/publication/pub.1019078038
151 rdf:type schema:CreativeWork
152 https://doi.org/10.2307/1884176 schema:sameAs https://app.dimensions.ai/details/publication/pub.1069625429
153 rdf:type schema:CreativeWork
154 https://doi.org/10.2495/bio030491 schema:sameAs https://app.dimensions.ai/details/publication/pub.1098493400
155 rdf:type schema:CreativeWork
156 https://doi.org/10.2495/bio030501 schema:sameAs https://app.dimensions.ai/details/publication/pub.1098493401
157 rdf:type schema:CreativeWork
 




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


...