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

Full description

Saved in:

Bibliographic Details
Published in:	Building and environment Vol. 181; p. 106983
Main Authors:	Ibrhim, Hamada, Khattab, Sherif, Elsayed, Khaled, Badr, Amr, Nabil, Emad
Format:	Journal Article
Language:	English
Published:	Oxford Elsevier Ltd 15.08.2020 Elsevier BV
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!