Journal ArticleDOI
Supervisory Energy-Management Systems for Microgrids: Modeling and Formal Verification
Reads0
Chats0
TLDR
This article presents the modeling and verification of supervisory energy-management systems (EMSs) for microgrids using timed automata (TA) and a formal verification approach.Abstract:
This article presents the modeling and verification of supervisory energy-management systems (EMSs) for microgrids using timed automata (TA) and a formal verification approach. The EMS plays an essential role in managing the power flow among different components in the microgrid system for its safe and reliable operation. The modeling of the EMS is based on predefined invariants with allowable and nonallowable operating modes, which are the conditions that do not change over time. The failure of invariants could have severe effects on microgrid system functionality, which highlights the importance of verification during the initial stage of EMS design. Conventional approaches, such as simulation and/or experimental verification, require manual checking and skilled professional knowledge to check EMS design correctness. Also, there may be a corner case that could lead to system failure that goes unidentified by manual analysis.read more
Citations
More filters
Journal ArticleDOI
A distributed rule-based power management strategy in a photovoltaic/hybrid energy storage based on an active compensation filtering technique
Journal ArticleDOI
An Economical Energy Management Strategy for Viable Microgrid Modes
TL;DR: An improved binary bat (iBBat) algorithm is introduced which helps to schedule the load demand of smart homes and energy generation from distributed generator of microgrid to the loaddemand and supply and shows a phenomenal reduction in the peak-to-average ratio of load demand from main the main grid.
Journal ArticleDOI
Overview of Control Algorithm Verification Methods in Power Electronics Systems
TL;DR: The paper presents the existing verification methods for control algorithms in power electronics systems, including the application of model checking techniques, with an emphasis on statistical model checking.
Proceedings ArticleDOI
PV Assisted EV Charging in DC Micro-Grids
TL;DR: The integration of solar energy through photovoltaic panels (PV) in dc micro-grids as an assisted approach for EV charging is presented.
Journal ArticleDOI
A Discrete-Event Supervisory Control for the AC Microgrid
TL;DR: This paper introduces a systematic and bottom-up approach to the development and synthesis of a microgrid supervisory control (SC) to formalize a discrete power management strategy for islanded mode of operation of an AC microgrid.
References
More filters
Journal ArticleDOI
The model checker SPIN
TL;DR: An overview of the design and structure of the verifier, its theoretical foundation, and an overview of significant practical applications are given.
Journal ArticleDOI
Power-Electronic Systems for the Grid Integration of Renewable Energy Sources: A Survey
Juan Manuel Campos Carrasco,Leopoldo G. Franquelo,Jan T. Bialasiewicz,Eduardo de Teresa Galván,R.C.P. Guisado,Ma.A.M. Prats,Jose I. Leon,Narciso Moreno-Alfonso +7 more
TL;DR: New trends in power electronics for the integration of wind and photovoltaic (PV) power generators are presented and a review of the appropriate storage-system technology used for the Integration of intermittent renewable energy sources is introduced.
Book
Symbolic Model Checking
TL;DR: Using symbolic model checking techniques it is possible to verify industrial-size finite state systems and models with more than 10120 states have been verified using special techniques.
Journal ArticleDOI
UPPAAL in a Nutshell
TL;DR: A detailed user guide is given which describes how to use the various tools of Uppaal version 2.02 to construct abstract models of a real-time system, to simulate its dynamical behavior, to specify and verify its safety and bounded liveness properties in terms of its model.
Journal ArticleDOI
Defining control strategies for MicroGrids islanded operation
TL;DR: In this article, the feasibility of control strategies to be adopted for the operation of a microgrid when it becomes isolated is evaluated and the need of storage devices and load shedding strategies is evaluated.