BuildingRules: a trigger-action based system to manage complex commercial buildings

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.

[1]  Cecilia Mascolo,et al.  CARISMA: Context-Aware Reflective mIddleware System for Mobile Applications , 2003, IEEE Trans. Software Eng..

[2]  Emil C. Lupu,et al.  The Ponder Policy Specification Language , 2001, POLICY.

[3]  Pradip Bose,et al.  Energy-aware meeting scheduling algorithms for smart buildings , 2012, BuildSys '12.

[4]  Shing-Chi Cheung,et al.  Inconsistency detection and resolution for context-aware middleware support , 2005, ESEC/FSE-13.

[5]  Jorge Lobo,et al.  A Logic Programming Approach to Conflict Resolution in Policy Management , 2000, KR.

[6]  Bharathan Balaji,et al.  ZonePAC: Zonal Power Estimation and Control via HVAC Metering and Occupant Feedback , 2013, BuildSys@SenSys.

[7]  L. D. Moura,et al.  The YICES SMT Solver , 2006 .

[8]  Paulo Carreira,et al.  Conflict detection and resolution in home and building automation systems: a literature review , 2013, Journal of Ambient Intelligence and Humanized Computing.

[9]  Rajesh Gupta,et al.  Sentinel: occupancy based HVAC actuation using existing WiFi infrastructure within commercial buildings , 2013, SenSys '13.

[10]  Timothy Sohn,et al.  iCAP: an informal tool for interactive prototyping of context-aware applications , 2003, CHI Extended Abstracts.

[11]  B.F. Wollenberg,et al.  Toward a smart grid: power delivery for the 21st century , 2005, IEEE Power and Energy Magazine.

[12]  Alberto Cerpa,et al.  ThermoSense: Occupancy Thermal Based Sensing for HVAC Control , 2013, BuildSys@SenSys.

[13]  David E. Culler,et al.  Design and implementation of a high-fidelity AC metering network , 2009, 2009 International Conference on Information Processing in Sensor Networks.

[14]  R.H. Lasseter,et al.  Microgrid: a conceptual solution , 2004, 2004 IEEE 35th Annual Power Electronics Specialists Conference (IEEE Cat. No.04CH37551).

[15]  David E. Culler,et al.  BOSS: Building Operating System Services , 2013, NSDI.

[16]  Prabal Dutta,et al.  Monjolo: an energy-harvesting energy meter architecture , 2013, SenSys '13.

[17]  Elias B. Kosmatopoulos,et al.  Simulation-assisted building energy performance improvement using sensible control decisions , 2011, BuildSys '11.

[18]  Thomas Weng,et al.  Duty-cycling buildings aggressively: The next frontier in HVAC control , 2011, Proceedings of the 10th ACM/IEEE International Conference on Information Processing in Sensor Networks.

[19]  Gregory D. Abowd,et al.  CAMP: A Magnetic Poetry Interface for End-User Programming of Capture Applications for the Home , 2004, UbiComp.

[20]  Dongman Lee,et al.  A dynamic context-conflict management scheme for group-aware ubiquitous computing environments , 2005, 29th Annual International Computer Software and Applications Conference (COMPSAC'05).

[21]  Anna Philippou,et al.  Tools and Algorithms for the Construction and Analysis of Systems , 2018, Lecture Notes in Computer Science.

[22]  Blase Ur,et al.  Practical trigger-action programming in the smart home , 2014, CHI.

[23]  Magali Bodart,et al.  Lighting energy savings in offices using different control systems and their real consumption , 2008 .

[24]  Steven T. Bushby,et al.  BACnetTM: a standard communication infrastructure for intelligent buildings , 1997 .

[25]  Thomas Weng,et al.  Managing plug-loads for demand response within buildings , 2011, BuildSys '11.

[26]  Bernd Brügge,et al.  Empowering the User to Build Smart Home Applications , 2004 .

[27]  Alberto Cerpa,et al.  Thermovote: participatory sensing for efficient building HVAC conditioning , 2012, BuildSys@SenSys.

[28]  Thomas Weng,et al.  BuildingDepot 2.0: An Integrated Management System for Building Analysis and Control , 2013, BuildSys@SenSys.

[29]  Farrokh Rahimi,et al.  Demand Response as a Market Resource Under the Smart Grid Paradigm , 2010, IEEE Transactions on Smart Grid.

[30]  Gregory D. Abowd,et al.  A Conceptual Framework and a Toolkit for Supporting the Rapid Prototyping of Context-Aware Applications , 2001, Hum. Comput. Interact..

[31]  Mani B. Srivastava,et al.  SensorAct: a privacy and security aware federated middleware for building management , 2012, BuildSys '12.

[32]  Nikolaj Bjørner,et al.  Z3: An Efficient SMT Solver , 2008, TACAS.

[33]  W. Keith Edwards,et al.  Intelligibility and Accountability: Human Considerations in Context-Aware Systems , 2001, Hum. Comput. Interact..

[34]  Andrew Krioukov,et al.  Personal building controls , 2012, IPSN '12.

[35]  Timothy Sohn,et al.  iCAP: Interactive Prototyping of Context-Aware Applications , 2006, Pervasive.

[36]  Thomas Weng,et al.  BuildingDepot: an extensible and distributed architecture for building data storage, access and sharing , 2012, BuildSys '12.

[37]  Barry P. Haynes.  The impact of office comfort on productivity , 2008 .

[38]  Saul Greenberg,et al.  Context as a Dynamic Construct , 2001, Hum. Comput. Interact..

[39]  Evan Mills.  Building commissioning: a golden opportunity for reducing energy costs and greenhouse gas emissions in the United States , 2011 .

[40]  Roy H. Campbell,et al.  An infrastructure for context-awareness based on first order logic , 2003, Personal and Ubiquitous Computing.