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...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Building and environment Jg. 181; S. 106983
Hauptverfasser:	Ibrhim, Hamada, Khattab, Sherif, Elsayed, Khaled, Badr, Amr, Nabil, Emad
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Oxford Elsevier Ltd 15.08.2020 Elsevier BV
Schlagworte:	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
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!