Modern Building Management Systems (BMSs) provide limited amount of control to its occupants, and typically allow only the facility manager to set the building policies. In this context, we present BuildingRules, a system which provides an intuitive interface to the occupants of commercial buildings to customize their office spaces using trigger-action programming. BuildingRules automatically detects conflicts among the policies, expressed by the occupants, by using the Z3 SMT solver, and leverages an open source web service BMS (BuildingDepot) to provide access control and actuation services in a building. BuildingRules has been designed to scale for large commercial buildings, as it supports grouping of rooms for ease of policy expression, a scalable backend for resolving conflicts, and a simulator that shows the actuation of rules on a timeline. We tested our system with 23 users across 17 days in a virtual office building, and evaluate the effectiveness and scalability of BuildingRules.
The authors of these documents have submitted their reports to this technical report series for the purpose of non-commercial dissemination of scientific work. The reports are copyrighted by the authors, and their existence in electronic format does not imply that the authors have relinquished any rights. You may copy a report for scholarly, non-commercial purposes, such as research or instruction, provided that you agree to respect the author's copyright. For information concerning the use of this document for other than research or instructional purposes, contact the authors. Other information concerning this technical report series can be obtained from the Computer Science and Engineering Department at the University of California at San Diego, email@example.com.
[ Search ]