The intention of this paper is to provide an overview of using agent and service-oriented
technologies in intelligent energy systems. It focuses mainly on ongoing research and …

Scalability refers to the capability of a system or network being expanded or upgraded easily
to satisfy ever-increasing growing demand, the development of smart grid is anticipated to …

Abstract Enterprise Internet of Things (EIoT) is the next advancement in technology. EIoT
allows the involvement of embedded devices to participate in business processes to …

Smart grid software interconnects multiple Engineering disciplines (power systems,
communication, software and hardware technology, instrumentation, big data, etc.). The …

IEC 61499 Standard for Function Blocks Architecture is an executable component model for
distributed embedded control system design that combines block diagrams and state …

This paper presents a framework for employing cloud-deployable web services in the design
of distributed control systems in industrial automation. The paper demonstrates how a part of …

This paper introduces the application of formal modelling to cyber-physical systems for the
purpose of formal verification of cyber-physical agnosticism properties of decentralised …

This paper presents a model-checking framework for the purpose of design and
implementation of robust smart grid applications based on distributed intelligence. The …

Cyber-attacks on Industrial Automation and Control Systems (IACS) are rising in numbers
and sophistication. Embedded controller devices such as Programmable Logic Controllers …

The protection system is a crucial part of the power grid. It protects people, equipment, and
property. Reliability of such mission critical systems is of an extreme importance. Protection …