Signal-Interpreted Coloured Petri Nets: A modelling tool for rapid prototy** in feedback-based control of discrete event systems
Petri nets (PNs) are typically used for design and verification rather than direct control
implementation. In this paper, aligning with the Industry 4.0 paradigm's focus on flexible and …
implementation. In this paper, aligning with the Industry 4.0 paradigm's focus on flexible and …
Power quality of electrical distribution systems considering PVs, EVs and DSM
MJM Al Essa - Journal of Control, Automation and Electrical Systems, 2020 - Springer
This paper investigates the effect of photovoltaic panels (PVs) and electric vehicles (EVs) on
power quality of electrical distribution systems, while proposing an approach of demand …
power quality of electrical distribution systems, while proposing an approach of demand …
Petri Nets for Smart Grids: The Story So Far
Since the energy domain is in a transformative shift towards sustainability, the integration of
new technologies and smart systems into traditional power grids has emerged. As an …
new technologies and smart systems into traditional power grids has emerged. As an …
Performance validation of cooperative controllers in autonomous AC microgrids under communication delay
To enhance the stability and resiliency in autonomous microgrids, distributed frequency and
voltage restoration controllers are prominently used these days. These controllers are …
voltage restoration controllers are prominently used these days. These controllers are …
Energy efficient software and hardware configuration of the digital substation in accordance with IEC 61850
W Al-Tibbi - E3S Web of Conferences, 2021 - e3s-conferences.org
The features of configuring software and hardware of modern data acquisition systems as
part of a digital substation to comply with the international standard IEC 61850 are …
part of a digital substation to comply with the international standard IEC 61850 are …
基于 CPN 的安全协议形式化建模及安全分析方法.
龚翔， 冯涛， 杜谨泽 - Journal on Communication/Tongxin …, 2021 - search.ebscohost.com
为了解决有色Petri 网(CPN) 对安全协议进行形式化建模分析时, 仅能判断协议是否存在漏洞而
无法找出漏洞具体位置和攻击路径的问题, 以及CPN 建模时随着攻击者模型引入 …
无法找出漏洞具体位置和攻击路径的问题, 以及CPN 建模时随着攻击者模型引入 …
Analysis of the Correctness of the Model of Biomedical Experiment Based on the Transition Graph by Means of a Matrix Algebra
A Kruzhkov, R Nasyrov… - … International Workshop on …, 2019 - atlantis-press.com
The article deals with the problems of formal description of methods of organization of
biomedical experiment. The need for a formal description of the experimental scheme is …
biomedical experiment. The need for a formal description of the experimental scheme is …
[CITATION][C] Framework proposal for selecting a hybrid renewable generation mix at a prosumer connecting point in the context of micro smart grids
PHF Machado - 2019