BuildingRules: A Trigger-Action–Based System to Manage Complex Commercial Buildings
Alessandro A. Nacci
Vincenzo Rana
Paola Spoletini
Rajesh Gupta
Donatella Sciuto
ACM Transactions on Cyber-Physical Systems


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.


    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.