A formal methods-based Rule Verification Framework for end-user programming in campus Building Automation Systems

Building Automation Systems have recently exposed programming interfaces for occupants to dynamically control and personalize indoor workplace environments. To this end, the If-This-Then-That paradigm has been proposed as a user-friendly programming approach. However, conflicts, both within the occu...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Building and environment Ročník 181; s. 106983
Hlavní autoři:	Ibrhim, Hamada, Khattab, Sherif, Elsayed, Khaled, Badr, Amr, Nabil, Emad
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Oxford Elsevier Ltd 15.08.2020 Elsevier BV
Témata:	Algorithms Automation Building automation Building management systems Conflict resolution Correctness and safety End user programming Energy efficiency Energy saving Event-condition-action programming Formal method Indoor environments Interfaces Occupant centric control Programming Satisfiability Modulo Theories Verification Web services End user programming Occupant centric control Conflict resolution Correctness and safety Event-condition-action programming Satisfiability Modulo Theories Energy saving
ISSN:	0360-1323, 1873-684X
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!