A DDS-Based Energy Management Framework for Small Microgrid Operation and Control

Youssef, Tarek; Hariri, Mohamad El; Elsayed, Ahmed T.; Mohammed, Osama A.

doi:10.1109/tii.2017.2756619

Cited by 33 publications

(24 citation statements)

References 18 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In [13], a real-time energy management system (EMS) for small microgrids was considered. Indeed, a specific function concerning the economic optimization of the power exchange with the host grid was analyzed, which is a long-term horizon optimization.…”

Section: The Hardware-in-the-loop Architecturementioning

confidence: 99%

“…• no specific and/or expensive hardware or software interface module is needed between the simulator and EMS system, as in [5]; • the peculiar communication protocol adopted by the EMS for data acquisition from the plant is actually implemented: this results in less flexibility, but higher fidelity to reality with respect to [6,16]; • the microgrid is simulated in detail, including all the dynamic components (i.e., machines) and their local controls, the controllable loads, so as to analyze the response of the EMS functions to transients rather than only the optimization function performance on a long-term horizon, as in [12,13]; at the same, a soft real-time simulation can be used, because very fast electric transients are not modeled, differently from the applications to power electronic devices as in [7,8], which require hard real-time simulation with small sampling times; • no expensive linear power amplifier is needed as in the applications analyzed in [9][10][11].…”

Section: The Hardware-in-the-loop Architecturementioning

confidence: 99%

See 1 more Smart Citation

Hardware-in-the-Loop Validation of Energy Management Systems for Microgrids: A Short Overview and a Case Study

et al. 2018

View full text Add to dashboard Cite

The energy management system (EMS) of a microgrid often presents a complex structure and a large number of control functions, which must be validated to ensure a reliable and optimal operation of the microgrid. Control system validation is typically performed by using hardware-in-the-loop (HIL) architectures in which the microgrid is simulated in real time and interfaced with the actual system under test. The simulation must ensure both an accurate representation of the microgrid and a reliable replica of the field communication of the EMS with all the control devices. In this paper, an overview of the various HIL architectures proposed in the literature is firstly outlined. Then, an HIL validation facility is presented and used to validate the EMS of an industrial microgrid. Finally, some results of the validation tests are reported to give evidence of the effectiveness of the proposed facility. In the proposed architecture, the soft real-time digital simulator of the microgrid is interfaced with the actual EMS using the same communication system and protocol as on the field. The main advantages of the proposed testing facility are: (i) the use of commercial PCs and the absence of dedicated interface modules, resulting in inexpensive hardware components; (ii) the capability to validate both control and communication functions of the EMS; (iii) the applicability to microgrids of different types (industrial, commercial, residential), as well as of various dimensions, including large microgrids; (iv) the easiness in changing the microgrid and the EMS under validation by only software modifications of the simulator tasks and of the exchange interface. As drawbacks, the proposed testing facility presents the need to adapt the software interface between EMS and the field to the EMS under test and the possibility of testing only the EMS functions and not fast-acting local controllers of the microgrid such as the protection systems.

show abstract

Section: The Hardware-in-the-loop Architecturementioning

confidence: 99%

Section: The Hardware-in-the-loop Architecturementioning

confidence: 99%

Hardware-in-the-Loop Validation of Energy Management Systems for Microgrids: A Short Overview and a Case Study

et al. 2018

View full text Add to dashboard Cite

show abstract

“…Its data-centric publish/subscribe (DCPS) communication feature is able to solve the problems caused by integrating large amount of distributed power generations. Youssef et al [13] utilised DDS standard as communication backbone for all entities in the energy management framework, which allows its integration with different systems. Aiming at the requirement of IEC 61850 protocol mapping to DDS protocol, a method based on real-time innovations (RTI) DDS was proposed and the performance of RTI DDS was tested [14,15].…”

Section: Introductionmentioning

confidence: 99%

DDS‐based protocol‐compatible communication platform for mining power system

Fang

Huang

2020

IET Communications

View full text Add to dashboard Cite

“…In addition, Alaerjan et al [1] defined the missing functional behavior in DDS dynamic model and the semantics of the new operation using Object Constraint Language (OCL). Some recent research projects [2], [7], [10] have explored analysis and verification of many aspects of DDS, such as real-time performance, security of DDS-based middleware and so on. Our work focuses on the communication dependability of the module's reliable pattern using formal methods.…”

Section: Introductionmentioning

confidence: 99%

Formalization and Verification of RTPS StatefulWriter Module Using CSP

Yin¹,

Zhu²,

Yuan³

et al. 2019

International Conferences on Software Engineering and Knowledge Engineering

View full text Add to dashboard Cite

The Real Time Publish Subscribe protocol (RTPS), as a Data Distribution Service (DDS) protocol for computer systems, is composed of several modules. We focus on RTPS StatefulWriter Module which has two patterns, reliable pattern and best-effort pattern. As the main module of sending and receiving messages, its security and reliability are of great concern. The formal method can analyze whether it is a highly credible model from the mathematical point of view. Our research pays attention to the reliable pattern. Thus it is of great importance to model and verify whether the pattern is reliable through formal methods. In this paper, we model seven components of the module using Communicating Sequential Processes (CSP). By feeding the models into the model checker Process Analysis Toolkit (PAT), we verify four properties, divergence free, acknowledgement mechanism, data consistency and sequentiality. Consequently, it can be apparently concluded that the pattern of this module is reliable, which totally caters for its specification.Index Terms-RTPS StatefulWriter Module, CSP, PAT, Modeling, Verification This section detailedly describes the flows of the module which are used in the next section and briefly introduces the process algebra CSP and model checker PAT. A. RTPS StatefulWriter ModuleRTPS StatefulWriter Module has seven components. There are Publisher, DDSWriter, RTPSWriter, HistoryCache, Subscriber, DDSReader and RTPSReader. Fig.

show abstract

A DDS-Based Energy Management Framework for Small Microgrid Operation and Control

Cited by 33 publications

References 18 publications

Hardware-in-the-Loop Validation of Energy Management Systems for Microgrids: A Short Overview and a Case Study

Hardware-in-the-Loop Validation of Energy Management Systems for Microgrids: A Short Overview and a Case Study

DDS‐based protocol‐compatible communication platform for mining power system

Formalization and Verification of RTPS StatefulWriter Module Using CSP

Contact Info

Product

Resources

About