BuildingRules
Alessandro Antonio Nacci, Bharathan Balaji, Paola Spoletini, Rajesh K. Gupta, Donatella Sciuto, Yuvraj Agarwal · 2015
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. BuildingRules let occupants to customise their office spaces using trigger-action programming. In order to accomplish this task, BuildingRules automatically detects conflicts among the policies expressed by the users using a SMT based logic. We tested our system with 23 users across 17 days in a virtual office building, and evaluate the effectiveness and scalability of the system.