{"id":"https://openalex.org/W7165359245","doi":"https://doi.org/10.1145/3765611.3815354","title":"Examining Feasibility of STL for Enforcing Safe Building Control","display_name":"Examining Feasibility of STL for Enforcing Safe Building Control","publication_year":2026,"publication_date":"2026-06-20","ids":{"openalex":"https://openalex.org/W7165359245","doi":"https://doi.org/10.1145/3765611.3815354"},"language":null,"primary_location":{"id":"doi:10.1145/3765611.3815354","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3765611.3815354","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2026 ACM Sustainability Week","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3765611.3815354","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5138964959","display_name":"Jacob Brown","orcid":"https://orcid.org/0009-0005-5887-2586"},"institutions":[{"id":"https://openalex.org/I102149020","display_name":"University of North Carolina at Charlotte","ror":"https://ror.org/04dawnj30","country_code":"US","type":"education","lineage":["https://openalex.org/I102149020"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jacob Brown","raw_affiliation_strings":["Software and Information Systems, University of North Carolina Charlotte, Charlotte, North Carolina, USA"],"raw_orcid":"https://orcid.org/0009-0005-5887-2586","affiliations":[{"raw_affiliation_string":"Software and Information Systems, University of North Carolina Charlotte, Charlotte, North Carolina, USA","institution_ids":["https://openalex.org/I102149020"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084039801","display_name":"Gabe Fierro","orcid":"https://orcid.org/0000-0002-2081-4525"},"institutions":[{"id":"https://openalex.org/I167576493","display_name":"Colorado School of Mines","ror":"https://ror.org/04raf6v53","country_code":"US","type":"education","lineage":["https://openalex.org/I167576493"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Gabe Fierro","raw_affiliation_strings":["Computer Science, Colorado School of Mines, Golden, Colorado, USA"],"raw_orcid":"https://orcid.org/0000-0002-2081-4525","affiliations":[{"raw_affiliation_string":"Computer Science, Colorado School of Mines, Golden, Colorado, USA","institution_ids":["https://openalex.org/I167576493"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5045593113","display_name":"Meera Sridhar","orcid":"https://orcid.org/0000-0002-7508-5024"},"institutions":[{"id":"https://openalex.org/I102149020","display_name":"University of North Carolina at Charlotte","ror":"https://ror.org/04dawnj30","country_code":"US","type":"education","lineage":["https://openalex.org/I102149020"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Meera Sridhar","raw_affiliation_strings":["Software and Information Systems, University of North Carolina Charlotte, Charlotte, North Carolina, USA"],"raw_orcid":"https://orcid.org/0000-0002-7508-5024","affiliations":[{"raw_affiliation_string":"Software and Information Systems, University of North Carolina Charlotte, Charlotte, North Carolina, USA","institution_ids":["https://openalex.org/I102149020"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.77017251,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"600","last_page":"601"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13808","display_name":"Construction Engineering and Safety","score":0.22059999406337738,"subfield":{"id":"https://openalex.org/subfields/2205","display_name":"Civil and Structural Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T13808","display_name":"Construction Engineering and Safety","score":0.22059999406337738,"subfield":{"id":"https://openalex.org/subfields/2205","display_name":"Civil and Structural 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/T11874","display_name":"Structural Response to Dynamic Loads","score":0.08370000123977661,"subfield":{"id":"https://openalex.org/subfields/2205","display_name":"Civil and Structural 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/T10809","display_name":"Occupational Health and Safety Research","score":0.05299999937415123,"subfield":{"id":"https://openalex.org/subfields/3614","display_name":"Radiological and Ultrasound Technology"},"field":{"id":"https://openalex.org/fields/36","display_name":"Health Professions"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.4334999918937683},{"id":"https://openalex.org/keywords/control-system","display_name":"Control system","score":0.3741999864578247},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.3179999887943268},{"id":"https://openalex.org/keywords/work","display_name":"Work (physics)","score":0.2669999897480011},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.258899986743927}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5496000051498413},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.4334999918937683},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.3741999864578247},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.3179999887943268},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.3057999908924103},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.2809000015258789},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.2793000042438507},{"id":"https://openalex.org/C18762648","wikidata":"https://www.wikidata.org/wiki/Q42213","display_name":"Work (physics)","level":2,"score":0.2669999897480011},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.258899986743927},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.2554999887943268},{"id":"https://openalex.org/C155386361","wikidata":"https://www.wikidata.org/wiki/Q1649571","display_name":"Process control","level":3,"score":0.2533999979496002}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3765611.3815354","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3765611.3815354","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2026 ACM Sustainability Week","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3765611.3815354","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3765611.3815354","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2026 ACM Sustainability Week","raw_type":"proceedings-article"},"sustainable_development_goals":[{"score":0.6843600869178772,"display_name":"Sustainable cities and communities","id":"https://metadata.un.org/sdg/11"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":4,"referenced_works":["https://openalex.org/W1547304883","https://openalex.org/W3183477999","https://openalex.org/W4387364760","https://openalex.org/W4406333470"],"related_works":[],"abstract_inverted_index":{"This":[0,62],"poster":[1],"explores":[2],"Signal":[3],"Temporal":[4],"Logic":[5],"(STL)":[6],"as":[7],"a":[8,23,85],"lightweight":[9],"formalism":[10],"for":[11,76,92],"specifying":[12],"and":[13,33,39,60,70,73],"monitoring":[14],"building":[15,77],"control":[16,78],"requirements":[17],"over":[18],"simulated":[19],"traces.":[20],"We":[21],"implement":[22],"single":[24],"zone":[25],"thermostat":[26],"simulation":[27,42],"with":[28],"supervisory":[29],"controls,":[30],"PI-style":[31],"heating":[32],"cooling,":[34],"supply":[35],"air":[36],"temperature":[37],"reset,":[38],"more.":[40,61],"The":[41],"produces":[43],"time":[44],"series":[45],"traces":[46,82],"that":[47,66],"are":[48],"checked":[49],"using":[50],"RTAMT":[51],"against":[52],"STL":[53,67],"specifications":[54],"covering":[55],"comfort":[56],"bounds,":[57],"occupied":[58],"recovery,":[59],"preliminary":[63],"prototype":[64],"demonstrates":[65],"can":[68],"express":[69],"monitor":[71],"safety":[72],"correctness":[74],"properties":[75],"systems":[79],"from":[80],"execution":[81],"alone,":[83],"supporting":[84],"longer-term":[86],"vision":[87],"of":[88],"proactive,":[89],"data-driven":[90],"verification":[91],"opaque":[93],"IoT":[94],"deployments.":[95]},"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2026-06-20T00:00:00"}