{"id":"https://openalex.org/W7104598717","doi":"https://doi.org/10.4230/oasics.dx.2025.1","title":"Beyond Static Diagnosis: A Temporal ASP Framework for HVAC Fault Detection","display_name":"Beyond Static Diagnosis: A Temporal ASP Framework for HVAC Fault Detection","publication_year":2025,"publication_date":"2025-01-01","ids":{"openalex":"https://openalex.org/W7104598717","doi":"https://doi.org/10.4230/oasics.dx.2025.1"},"language":"en","primary_location":{"id":"pmh:oai:drops-oai.dagstuhl.de:24790","doi":null,"is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.DX.2025.1","pdf_url":"https://drops.dagstuhl.de/storage/01oasics/oasics-vol136-dx2025/OASIcs.DX.2025.1/OASIcs.DX.2025.1.pdf","source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"InProceedings"},"volume":null,"type":"article","indexed_in":["datacite","doaj"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://drops.dagstuhl.de/storage/01oasics/oasics-vol136-dx2025/OASIcs.DX.2025.1/OASIcs.DX.2025.1.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5001301874","display_name":"Roxane Koitz","orcid":"https://orcid.org/0000-0002-5077-8641","observed_orcids":["https://orcid.org/0000-0002-5077-8641"]},"institutions":[{"id":"https://openalex.org/I4092182","display_name":"Graz University of Technology","ror":"https://ror.org/00d7xrm67","country_code":"AT","type":"education","lineage":["https://openalex.org/I4092182"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Koitz-Hristov, Roxane","raw_affiliation_strings":["Institute of Software Engineering and Artificial Intelligence, Graz University of Technology, Austria"],"raw_orcid":"https://orcid.org/0000-0002-5077-8641","affiliations":[{"raw_affiliation_string":"Institute of Software Engineering and Artificial Intelligence, Graz University of Technology, Austria","institution_ids":["https://openalex.org/I4092182"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002446810","display_name":"Liliana Marie Prikler","orcid":"https://orcid.org/0000-0002-0348-064X","observed_orcids":["https://orcid.org/0000-0002-0348-064X"]},"institutions":[{"id":"https://openalex.org/I4092182","display_name":"Graz University of Technology","ror":"https://ror.org/00d7xrm67","country_code":"AT","type":"education","lineage":["https://openalex.org/I4092182"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Prikler, Liliana Marie","raw_affiliation_strings":["Institute of Software Engineering and Artificial Intelligence, Graz University of Technology, Austria"],"raw_orcid":"https://orcid.org/0000-0002-0348-064X","affiliations":[{"raw_affiliation_string":"Institute of Software Engineering and Artificial Intelligence, Graz University of Technology, Austria","institution_ids":["https://openalex.org/I4092182"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5011388533","display_name":"Franz Wotawa","orcid":"https://orcid.org/0000-0002-0462-2283","observed_orcids":["https://orcid.org/0000-0002-0462-2283"]},"institutions":[{"id":"https://openalex.org/I4092182","display_name":"Graz University of Technology","ror":"https://ror.org/00d7xrm67","country_code":"AT","type":"education","lineage":["https://openalex.org/I4092182"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Wotawa, Franz","raw_affiliation_strings":["Institute of Software Engineering and Artificial Intelligence, Graz University of Technology, Austria"],"raw_orcid":"https://orcid.org/0000-0002-0462-2283","affiliations":[{"raw_affiliation_string":"Institute of Software Engineering and Artificial Intelligence, Graz University of Technology, Austria","institution_ids":["https://openalex.org/I4092182"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I4092182"],"apc_list":null,"apc_paid":null,"fwci":0.4026,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.69004478,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":93,"max":96},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9409000277519226,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9409000277519226,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10876","display_name":"Fault Detection and Control Systems","score":0.023000000044703484,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.00570000009611249,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/hvac-fault-detection","display_name":"HVAC fault detection","score":0.9929999709129333},{"id":"https://openalex.org/keywords/answer-set-programming","display_name":"answer set programming","score":0.8889999985694885},{"id":"https://openalex.org/keywords/temporal-reasoning","display_name":"temporal reasoning","score":0.9610000252723694},{"id":"https://openalex.org/keywords/building-diagnostics","display_name":"building diagnostics","score":0.8090000152587891},{"id":"https://openalex.org/keywords/heating-systems","display_name":"heating systems","score":0.5600000023841858},{"id":"https://openalex.org/keywords/declarative-modeling","display_name":"declarative modeling","score":0.48399999737739563},{"id":"https://openalex.org/keywords/building-energy-efficiency","display_name":"building energy efficiency","score":0.7179999947547913}],"concepts":[{"id":"https://openalex.org/C122346748","wikidata":"https://www.wikidata.org/wiki/Q1798773","display_name":"HVAC","level":3,"score":0.7789000272750854},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.7602999806404114},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6786999702453613},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.5727999806404114},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5591999888420105},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.5562000274658203},{"id":"https://openalex.org/C152745839","wikidata":"https://www.wikidata.org/wiki/Q5438153","display_name":"Fault detection and isolation","level":3,"score":0.5156000256538391},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.446399986743927},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.37299999594688416},{"id":"https://openalex.org/C18762648","wikidata":"https://www.wikidata.org/wiki/Q42213","display_name":"Work (physics)","level":2,"score":0.3587999939918518},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.3440000116825104},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.3393999934196472},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3206000030040741},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.29910001158714294},{"id":"https://openalex.org/C182620335","wikidata":"https://www.wikidata.org/wiki/Q2852531","display_name":"Answer set programming","level":3,"score":0.28450000286102295},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.28369998931884766},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.28209999203681946},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.2809999883174896},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.27489998936653137},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.2703000009059906},{"id":"https://openalex.org/C761482","wikidata":"https://www.wikidata.org/wiki/Q118093","display_name":"Transmission (telecommunications)","level":2,"score":0.26409998536109924},{"id":"https://openalex.org/C103742991","wikidata":"https://www.wikidata.org/wiki/Q173725","display_name":"Air conditioning","level":2,"score":0.260699987411499},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.2605000138282776},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.2574999928474426}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:drops-oai.dagstuhl.de:24790","doi":null,"is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.DX.2025.1","pdf_url":"https://drops.dagstuhl.de/storage/01oasics/oasics-vol136-dx2025/OASIcs.DX.2025.1/OASIcs.DX.2025.1.pdf","source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"InProceedings"},{"id":"doi:10.4230/oasics.dx.2025.1","doi":"https://doi.org/10.4230/oasics.dx.2025.1","is_oa":true,"landing_page_url":"https://doi.org/10.4230/oasics.dx.2025.1","pdf_url":null,"source":{"id":"https://openalex.org/S7407061190","display_name":"OASIcs : OpenAccess Series in Informatics","issn_l":"2190-6807","issn":["2190-6807"],"is_oa":true,"is_in_doaj":true,"is_core":false,"listed_in":["doaj"],"host_organization":"https://openalex.org/P4310313770","host_organization_name":"Schloss Dagstuhl \u2014 Leibniz-Zentrum fuer Informatik","host_organization_lineage":["https://openalex.org/P4310313770"],"host_organization_lineage_names":["Schloss Dagstuhl \u2014 Leibniz-Zentrum fuer Informatik"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"ConferencePaper"}],"best_oa_location":{"id":"pmh:oai:drops-oai.dagstuhl.de:24790","doi":null,"is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.DX.2025.1","pdf_url":"https://drops.dagstuhl.de/storage/01oasics/oasics-vol136-dx2025/OASIcs.DX.2025.1/OASIcs.DX.2025.1.pdf","source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"InProceedings"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7104598717.pdf","grobid_xml":"https://content.openalex.org/works/W7104598717.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2735910455","https://openalex.org/W4416958740","https://openalex.org/W2494304039","https://openalex.org/W4412548688","https://openalex.org/W2235769048","https://openalex.org/W6964822512","https://openalex.org/W308326513","https://openalex.org/W7164911574","https://openalex.org/W3145066632","https://openalex.org/W1971653644"],"abstract_inverted_index":{"Improving":[0],"sustainability":[1],"in":[2,94,135],"the":[3,44,61,105,128],"building":[4,136],"sector":[5],"requires":[6],"more":[7],"efficient":[8],"operation":[9],"of":[10,47,63,131],"energy-intensive":[11],"systems":[12,29],"such":[13],"as":[14],"Heating,":[15],"Ventilation,":[16],"and":[17,51,80,87,109,112],"Air":[18],"Conditioning":[19],"(HVAC).":[20],"We":[21,59],"present":[22],"a":[23,67,71,125],"novel":[24],"diagnostic":[25],"framework":[26],"for":[27,49],"HVAC":[28],"that":[30,91],"integrates":[31],"Answer":[32],"Set":[33],"Programming":[34],"(ASP)":[35],"with":[36,96],"Functional":[37],"Event":[38],"Calculus":[39],"(FEC).":[40],"Our":[41,83,122],"approach":[42,65],"exploits":[43],"declarative":[45],"nature":[46],"ASP":[48,93],"modeling":[50],"incorporates":[52],"FEC":[53,97],"to":[54],"capture":[55],"temporal":[56,133],"system":[57,81],"dynamics.":[58],"demonstrate":[60],"feasibility":[62],"our":[64],"through":[66],"case":[68],"study":[69],"on":[70,85,119],"real-world":[72],"heating":[73],"system,":[74],"where":[75],"we":[76,103],"model":[77],"key":[78],"components":[79],"constraints.":[82],"evaluation":[84],"nominal":[86],"faulty":[88],"traces":[89],"shows":[90],"exploiting":[92],"combination":[95],"can":[98],"identify":[99],"plausible":[100],"diagnoses.":[101],"Moreover,":[102],"explore":[104],"difference":[106],"between":[107],"static":[108],"rolling-window":[110],"strategies":[111],"provide":[113],"insights":[114],"into":[115],"runtime":[116],"versus":[117],"soundness":[118],"those":[120],"variants.":[121],"work":[123],"provides":[124],"step":[126],"toward":[127],"practical":[129],"application":[130],"ASP-based":[132],"reasoning":[134],"diagnostics.":[137]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-10-27T15:51:10.671819","created_date":"2025-11-11T00:00:00"}