← All publications
ACM Transactions on Cyber-Physical Systems

BuildingRules: A Trigger-Action–Based System to Manage Complex Commercial Buildings

A system that lets office occupants write trigger-action rules for their rooms, with an SMT solver detecting conflicts between rules.

Alessandro A. Nacci, Vincenzo Rana, Bharathan Balaji, Paola Spoletini, Rajesh Gupta, Donatella Sciuto, Yuvraj Agarwal
ACM Transactions on Cyber-Physical Systems
Paper
BuildingRules architecture: web, mobile, and third-party apps use REST APIs to a controller backed by a database, Z3 SMT solver, simulator, and weather, building, and datetime drivers.
BuildingRules architecture: web, mobile, and third-party apps use REST APIs to a controller backed by a database, Z3 SMT solver, simulator, and weather, building, and datetime drivers.

Abstract

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.

Bibtex

@article{Nacci2018,
    author = "Nacci, Alessandro A. and Rana, Vincenzo and Balaji, Bharathan and Spoletini, Paola and Gupta, Rajesh and Sciuto, Donatella and Agarwal, Yuvraj",
    journal = "ACM Transactions on Cyber-Physical Systems",
    pages = "1--22",
    title = "BuildingRules: A Trigger-Action–Based System to Manage Complex Commercial Buildings",
    year = "2018",
    month = "05",
    volume = "2",
    doi = "10.1145/3185500"
}

Plain Text

Alessandro A. Nacci, Vincenzo Rana, Bharathan Balaji, Paola Spoletini, Rajesh Gupta, Donatella Sciuto, and Yuvraj Agarwal. Buildingrules: a trigger-action–based system to manage complex commercial buildings. ACM Transactions on Cyber-Physical Systems, 2:1–22, 05 2018. doi:10.1145/3185500.