  As the adoption of IoT-based smart homes continues to grow, the importance of
addressing potential conflicts becomes increasingly vital for ensuring seamless
functionality and user satisfaction. In this survey, we introduce a novel
conflict taxonomy, complete with formal definitions of each conflict type that
may arise within the smart home environment. We design an advanced conflict
model to effectively categorize these conflicts, setting the stage for our
in-depth review of recent research in the field. By employing our proposed
model, we systematically classify conflicts and present a comprehensive
overview of cutting-edge conflict detection approaches. This extensive analysis
allows us to highlight similarities, clarify significant differences, and
uncover prevailing trends in conflict detection techniques. In conclusion, we
shed light on open issues and suggest promising avenues for future research to
foster accelerated development and deployment of IoT-based smart homes,
ultimately enhancing their overall performance and user experience.
