In recent times, IoT has emerged as a new paradigm for the interconnection of
heterogeneous, resource-constrained, and communication-capable smart devices. It has …

With recent advances in communication technologies and Internet of Things (IoT)
infrastructures, home automation (HA) systems have emerged as a new promising paradigm …

Energy is a vital resource for human activities and lifestyle, powering important everyday
infrastructures and services. Currently, pollutant and non-renewable sources, such as fossil …

In the coming years, cities face an urban transition in order to manage their resources, public
administration, safety, regional economics, education, innovation, health, culture, and …

The new and disruptive Internet of Things (IoT)-based technologies being used in smart
homes have significantly bounded and dispersed communication components. To examine …

Formal Verification is one of the crucial methods to detect possible weaknesses and
vulnerabilities at an early stage. This paper reviews formal methods for an extensive variety …

Abstract Internet of Things (IoT) is an emerging technique for connecting heterogeneous
technologies related to our daily needs that can affect our lives tremendously. Many …

Manufacturers of smart home consumer devices like home theatres, music players, voice-
based assistants, smart lighting, and security cameras have widely adopted the Internet of …

In everyday life, electricity is necessary, and proper use is critical. To strengthen home
electricity control, the existing systems have been examined over the years. However, the …

Demand response (DR) is the response of electricity consumers to time-varying tariffs or
incentives awarded by the utility. Home energy management systems are systems whose …