Ruleset Minimization in Multi-tenant Smart Buildings

In the last years, many works have proposed Building Management Systems (BMS) or other tools that allowed to actually exploit the smart buildings infrastructures. Such new systems allow users to define their own policies (generally in the shape of rules exploiting logic formulas) to program the building behavior. Multi-user managements is not totally supported in modern BMS though. Multi-tenant implications have not been adequately investigated thus leaving some issues still unsolved. Specifically, a way for minimizing the ruleset keeping its size to the minimum necessary to guarantee the correct behavior of the building is needed. In this paper, a method for minimizing the ruleset of a SmartBuilding will be presented. It has been developed starting from State of the Art boolean logic minimization algorithms that have been firstly introduced in 1950s. Exploiting the knowledge coming from boolean logic circuits and taking into account also the differences with Smart Buildings scenario, a custom algorithm has been conceived. Its effectiveness has been shown by applying it to data collected during an experimental campaign.