Abstract:The smart grid is characterized as a power system that integrates real-time measurements, bi-directional communication, a two-way flow of electricity, and evolutionary computation. The power distribution system is a fundamental aspect of the electric power system in order to deliver safe, efficient, reliable, and resilient power to consumers. A distribution management system (DMS) begins with the extension of the Supervisory Control and Data Acquisition (SCADA) system through a transmission network beyond the distribution network. These transmission networks oversee the distribution of energy generated at power plants to consumers via a complex system of transformers, substations, transmission lines, and distribution lines. The major challenges that existing distribution management systems are facing, maintaining constant power loads, user profiles, centralized communication, and the malfunctioning of system equipment and monitoring huge amounts of data of millions of micro-transactions, need to be addressed. Substation feeder protection abruptly shuts down power on the whole feeder in the event of a distribution network malfunction, causing service disruption to numerous end-user clients, including industrial, hospital, commercial, and residential users. Although there are already many traditional systems with the integration of smart things at present, there are few studies of those systems reporting runtime errors during their implementation and real-time use. This paper presents the systematic model of a distribution management system comprised of substations, distribution lines, and smart meters with the integration of Internet-of-Things (IoT), Nondeterministic Finite Automata (NFA), Unified Modeling Language (UML), and formal modeling approaches. Non-deterministic finite automata are used for automating the system procedures. UML is used to represent the actors involved in the distribution management system. Formal methods from the perspective of the Vienna Development Method-Specification Language (VDM-SL) are used for modeling the system. The model will be analyzed using the facilities available in the VDM-SL toolbox.

IoT Based Energy Management System (EMS) Using SOFAT Technique for Smart Grid Distribution System

A novel intelligent technique for energy management in smart home using internet of things

IOT integrated smart grid management system for effective energy management

Design and development of advanced smart energy management system integrated with IoT framework in smart grid environment

An efficient FBI‐iForest approach‐based home energy management system with RES under internet of things framework

Internet of things and cloud computing‐based energy management system for demand side management in smart grid

An energy-efficient and reliable data gathering infrastructure using the internet of things and smart grids

Formal Modeling of IoT-Based Distribution Management System for Smart Grids

Deployment of IoT-Based Smart Demand-Side Management System with an Enhanced Degree of User Comfort at an Educational Institution

Design and Implementation of IoT Integrated Monitoring and Control System of Renewable Energy in Smart Grid for Sustainable Computing Network

Smart Energy Management System for Electric Vehicles Using IoT Technology

Design and implementation of smart home energy management system for Indian residential sector

Sensor based Battery Management System in Electric Vehicle using IoT with Optimized Routing

A new energy management technique for microgrid system using muddy soil fish optimization algorithm

Design and Implementation of IoT Based Intelligent Energy Management Controller for PV/Wind/Battery System with Cost Minimization

Family of energy management system for smart grid

SSNN-Based Energy Management Strategy in Grid Connected System for Load Scheduling and Load Sharing

IoT-Based Low-Voltage Power Distribution System Management and Control Platform

IoT-based optimal demand side management and control scheme for smart microgrid

A Privacy-preserving Energy Management System Based on Homomorphic Cryptosystem for IoT-enabled Active Distribution Network

Real-time implementation of an IoT-based intelligent source allocation system using machine learning technique in a commercial building