{"id":"https://openalex.org/W2807792305","doi":"https://doi.org/10.1145/3232616","title":"Maintenance of Smart Buildings using Fault Trees","display_name":"Maintenance of Smart Buildings using Fault Trees","publication_year":2018,"publication_date":"2018-11-27","ids":{"openalex":"https://openalex.org/W2807792305","doi":"https://doi.org/10.1145/3232616","mag":"2807792305"},"language":"en","primary_location":{"id":"doi:10.1145/3232616","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3232616","pdf_url":null,"source":{"id":"https://openalex.org/S170502224","display_name":"ACM Transactions on Sensor Networks","issn_l":"1550-4859","issn":["1550-4859","1550-4867"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Sensor Networks","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://ris.utwente.nl/ws/files/105396307/a28_cauchi.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5057117258","display_name":"Nathalie Cauchi","orcid":"https://orcid.org/0000-0002-7564-1721"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Nathalie Cauchi","raw_affiliation_strings":["Department of Computer Science, University of Oxford, UK"],"raw_orcid":"https://orcid.org/0000-0002-7564-1721","affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Oxford, UK","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069684684","display_name":"Khaza Anuarul Hoque","orcid":"https://orcid.org/0000-0002-1625-6479"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]},{"id":"https://openalex.org/I76835614","display_name":"University of Missouri","ror":"https://ror.org/02ymw8z06","country_code":"US","type":"education","lineage":["https://openalex.org/I76835614"]}],"countries":["GB","US"],"is_corresponding":false,"raw_author_name":"Khaza Anuarul Hoque","raw_affiliation_strings":["Department of Computer Science, University of Oxford, Oxford, UK; Department of Electrical Engineering 8 Computer Science, University of Missouri, Columbia, USA","Department of Computer Science, University of Oxford, Oxford, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Oxford, Oxford, UK; Department of Electrical Engineering 8 Computer Science, University of Missouri, Columbia, USA","institution_ids":["https://openalex.org/I40120149","https://openalex.org/I76835614"]},{"raw_affiliation_string":"Department of Computer Science, University of Oxford, Oxford, UK","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053065289","display_name":"Mari\u00eblle Stoelinga","orcid":"https://orcid.org/0000-0001-6793-8165"},"institutions":[{"id":"https://openalex.org/I145872427","display_name":"Radboud University Nijmegen","ror":"https://ror.org/016xsfp80","country_code":"NL","type":"education","lineage":["https://openalex.org/I145872427"]},{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Marielle Stoelinga","raw_affiliation_strings":["Formal Methods and Tools Group, University of Twente, The Netherlands; Department of Software Science, Radboud University, The Netherlands","Department of Software Science, Radboud University, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Formal Methods and Tools Group, University of Twente, The Netherlands; Department of Software Science, Radboud University, The Netherlands","institution_ids":["https://openalex.org/I145872427","https://openalex.org/I94624287"]},{"raw_affiliation_string":"Department of Software Science, Radboud University, The Netherlands","institution_ids":["https://openalex.org/I145872427"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5091718585","display_name":"Alessandro Abate","orcid":"https://orcid.org/0000-0002-5627-9093"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Alessandro Abate","raw_affiliation_strings":["Department of Computer Science, University of Oxford, Oxford, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Oxford, Oxford, UK","institution_ids":["https://openalex.org/I40120149"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.6903,"has_fulltext":true,"cited_by_count":11,"citation_normalized_percentile":{"value":0.72619262,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"14","issue":"3-4","first_page":"1","last_page":"25"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11357","display_name":"Risk and Safety Analysis","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1804","display_name":"Statistics, Probability and Uncertainty"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11357","display_name":"Risk and Safety Analysis","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1804","display_name":"Statistics, Probability and Uncertainty"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10780","display_name":"Reliability and Maintenance Optimization","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/dependability","display_name":"Dependability","score":0.9519990682601929},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7452678084373474},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.7032384872436523},{"id":"https://openalex.org/keywords/fault-tree-analysis","display_name":"Fault tree analysis","score":0.5979312062263489},{"id":"https://openalex.org/keywords/fault-tolerance","display_name":"Fault tolerance","score":0.5019917488098145},{"id":"https://openalex.org/keywords/markov-chain","display_name":"Markov chain","score":0.4811495542526245},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.47851383686065674},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.35140323638916016},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.29443466663360596},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.11401748657226562}],"concepts":[{"id":"https://openalex.org/C77019957","wikidata":"https://www.wikidata.org/wiki/Q2689057","display_name":"Dependability","level":2,"score":0.9519990682601929},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7452678084373474},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.7032384872436523},{"id":"https://openalex.org/C107094494","wikidata":"https://www.wikidata.org/wiki/Q428453","display_name":"Fault tree analysis","level":2,"score":0.5979312062263489},{"id":"https://openalex.org/C63540848","wikidata":"https://www.wikidata.org/wiki/Q3140932","display_name":"Fault tolerance","level":2,"score":0.5019917488098145},{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.4811495542526245},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.47851383686065674},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.35140323638916016},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.29443466663360596},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.11401748657226562},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1145/3232616","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3232616","pdf_url":null,"source":{"id":"https://openalex.org/S170502224","display_name":"ACM Transactions on Sensor Networks","issn_l":"1550-4859","issn":["1550-4859","1550-4867"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Sensor Networks","raw_type":"journal-article"},{"id":"pmh:oai:ris.utwente.nl:openaire/6ecaa11f-7c1c-485a-aed6-5cde09ecbf19","is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/6ecaa11f-7c1c-485a-aed6-5cde09ecbf19","pdf_url":"https://ris.utwente.nl/ws/files/105396307/a28_cauchi.pdf","source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Cauchi, N, Hoque, K A, Stoelinga, M & Abate, A 2018, 'Maintenance of Smart Buildings using Fault Trees', Paper presented at 4th ACM International Conference on Systems for Energy-Efficient Built Environments 2017, Delft, Netherlands, 8/11/17 - 9/11/17 pp. 28:1-28:25. https://doi.org/10.1145/3232616","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:ru:oai:repository.ubn.ru.nl:2066/201106","is_oa":true,"landing_page_url":"http://hdl.handle.net/2066/201106","pdf_url":"http://hdl.handle.net/2066/201106","source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ACM Transactions on Sensor Networks, 14, 1 - 25","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:repository.ubn.ru.nl:2066/201106","is_oa":false,"landing_page_url":"https://hdl.handle.net/2066/201106","pdf_url":null,"source":{"id":"https://openalex.org/S4306401067","display_name":"Radboud Repository (Radboud University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I145872427","host_organization_name":"Radboud University Nijmegen","host_organization_lineage":["https://openalex.org/I145872427"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article / Letter to editor"}],"best_oa_location":{"id":"pmh:oai:ris.utwente.nl:openaire/6ecaa11f-7c1c-485a-aed6-5cde09ecbf19","is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/6ecaa11f-7c1c-485a-aed6-5cde09ecbf19","pdf_url":"https://ris.utwente.nl/ws/files/105396307/a28_cauchi.pdf","source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Cauchi, N, Hoque, K A, Stoelinga, M & Abate, A 2018, 'Maintenance of Smart Buildings using Fault Trees', Paper presented at 4th ACM International Conference on Systems for Energy-Efficient Built Environments 2017, Delft, Netherlands, 8/11/17 - 9/11/17 pp. 28:1-28:25. https://doi.org/10.1145/3232616","raw_type":"info:eu-repo/semantics/conferenceObject"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320334841","display_name":"Fonds de recherche du Qu\u00e9bec \u2013 Nature et technologies","ror":"https://ror.org/00b9f9778"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2807792305.pdf","grobid_xml":"https://content.openalex.org/works/W2807792305.grobid-xml"},"referenced_works_count":31,"referenced_works":["https://openalex.org/W37165804","https://openalex.org/W928542775","https://openalex.org/W1516256348","https://openalex.org/W1862398452","https://openalex.org/W1973585648","https://openalex.org/W1999766763","https://openalex.org/W2007072455","https://openalex.org/W2032090604","https://openalex.org/W2038219610","https://openalex.org/W2057733281","https://openalex.org/W2086340664","https://openalex.org/W2117189826","https://openalex.org/W2121337044","https://openalex.org/W2155213674","https://openalex.org/W2202738889","https://openalex.org/W2259883075","https://openalex.org/W2329612375","https://openalex.org/W2424668608","https://openalex.org/W2480074868","https://openalex.org/W2555835184","https://openalex.org/W2576749665","https://openalex.org/W2594922377","https://openalex.org/W2612044773","https://openalex.org/W2620490417","https://openalex.org/W2738790184","https://openalex.org/W2963685033","https://openalex.org/W3099654418","https://openalex.org/W3113174340","https://openalex.org/W4300953707","https://openalex.org/W4392546257","https://openalex.org/W6636660784"],"related_works":["https://openalex.org/W2169628522","https://openalex.org/W4252527915","https://openalex.org/W2409287660","https://openalex.org/W2233357156","https://openalex.org/W1976489385","https://openalex.org/W2583115580","https://openalex.org/W2080951167","https://openalex.org/W2391543021","https://openalex.org/W2769888378","https://openalex.org/W2022683204"],"abstract_inverted_index":{"Timely":[0],"maintenance":[1,23,96,103,118],"is":[2],"an":[3,18],"important":[4],"means":[5],"of":[6,44,95,109,120],"increasing":[7],"system":[8,79,84],"dependability":[9,43,80,115],"and":[10,25,28,40,60,86,97,117,124],"life":[11],"span.":[12],"Fault":[13],"Maintenance":[14],"trees":[15],"(FMTs)":[16],"are":[17],"innovative":[19],"framework":[20,63],"incorporating":[21],"both":[22],"strategies":[24,119],"degradation":[26],"models":[27],"serve":[29],"as":[30,83,91,93],"a":[31,45,56,62,121],"good":[32],"planning":[33],"platform":[34],"for":[35,101],"balancing":[36],"total":[37],"costs":[38,94],"(operational":[39],"maintenance)":[41],"with":[42],"system.":[46,126],"In":[47],"this":[48],"work,":[49],"we":[50],"apply":[51],"the":[52,67,107],"FMT":[53,68],"formalism":[54],"to":[55,77,89],"Smart":[57],"Building":[58],"application":[59],"propose":[61],"that":[64],"efficiently":[65],"encodes":[66],"into":[69],"Continuous":[70],"Time":[71],"Markov":[72],"Chains.":[73],"This":[74],"allows":[75],"us":[76],"obtain":[78],"metrics":[81,116],"such":[82],"reliability":[85],"mean":[87],"time":[88],"failure,":[90],"well":[92],"failures":[98],"over":[99],"time,":[100],"different":[102],"policies.":[104],"We":[105],"illustrate":[106],"pertinence":[108],"our":[110],"approach":[111],"by":[112],"evaluating":[113],"various":[114],"Heating,":[122],"Ventilation,":[123],"Air-Conditioning":[125],"1":[127]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":3}],"updated_date":"2026-07-22T07:51:19.307946","created_date":"2025-10-10T00:00:00"}