CONTROLLING BEHAVIOR OF AN INTERNET OF THINGS (IOT) AUTOMATION SYSTEM BY IDENTIFYING POLICY VIOLATIONS

摘要

This disclosure relates generally to a system and method to identify at least one conflict and for controlling both static and dynamic variables in one or more operations of at least one subsystem of a plurality of building automation sub-systems. It includes a supervisory control layer that orchestrates multiple underlying sub-systems like heating, ventilation, and air-conditioning (HVAC) sub-systems and at least one access control sub-system. A test case generation framework is used to verify static and dynamic variables of operations of the sub-systems. It identifies conflicts in the static and dynamic variables. Therefore, the system provides controls to the sub-systems using the identified and adjusted conflict of static and dynamic variables on operations.