Portal de Periódicos da CAPES

Towards automatic conflict detection in home and building automation systems

2013; Elsevier BV; Volume: 12; Linguagem: Inglês

10.1016/j.pmcj.2013.06.001

1873-1589

Paulo Carreira, Sílvia Resendes, André C. Santos,

IoT and Edge/Fog Computing

Home and Building Automation Systems (HBAS) are becoming of widespread adoption. When distinct users interact with such systems, their intentions are likely to be different, often resulting in conflicting situations, which the systems ought to recognize and resolve automatically. This work aims at investigating conflict in HBAS and creating a solution to detect and resolve them. Herein, we review the literature concerning conflict detection and resolution, and propose a formal framework based on constraint solving that enables detecting and solving conflict situations automatically.