Zobrazeno 1 - 10
of 113
pro vyhledávání: '"Iwona Grobelna"'
Publikováno v:
Energies, Vol 17, Iss 2, p 505 (2024)
Common overcurrent criteria used to detect phase-to-phase short circuits in medium-voltage (MV) networks in some cases do not bring the expected results. In particular, this applies to instantaneous overcurrent protections in lines with variable rang
Externí odkaz:
https://doaj.org/article/73cbf15f674f4fe9823bf5cce324906c
Publikováno v:
Informatics in Education, Vol 22, Iss 2, Pp 257-276 (2022)
Background: Petri nets are a formal specification technique for modelling of control processes and modern flexible manufacturing systems. Interpreted Petri nets take into account input and output signals, allowing to apply them in any control system
Externí odkaz:
https://doaj.org/article/6dc7cff9eacd4abe90b86e310596a49e
Autor:
Iwona Grobelna
Publikováno v:
Sensors, Vol 23, Iss 15, p 6838 (2023)
The widespread realization of Industry 4 [...]
Externí odkaz:
https://doaj.org/article/76e225f0f12541b1a6da89692df7b2f5
Autor:
Iwona GROBELNA
Publikováno v:
Informatics in Education, Vol 19, Iss 2, Pp 223-238 (2020)
Control systems are becoming ever more commonly used in everyday life. This is true both in industry and in the domestic domain, in the form of e.g., smart home systems. The quality of such systems can be increased by using formal verification method
Externí odkaz:
https://doaj.org/article/c3448b45556149908b90cd33d37eedc0
Autor:
Iwona Grobelna
Publikováno v:
Future Internet, Vol 14, Iss 11, p 337 (2022)
The area of the Internet of Things (IoT) and cyber–physical systems (CPS) has created a great opportunity for interdisciplinary research concerning both fundamental theoretical studies as well as their application in practice [...]
Externí odkaz:
https://doaj.org/article/f8a8e4ea34624cb2a196ef809781878f
Autor:
Iwona Grobelna, Paweł Szcześniak
Publikováno v:
Sensors, Vol 22, Iss 18, p 6936 (2022)
Autonomous components within electric power systems can be successfully specified by interpreted Petri nets. Such a formal specification makes it possible to check some basic properties of the models, such as determinism or deadlock freedom. In this
Externí odkaz:
https://doaj.org/article/c724858a736d4d4eb37f61c3aad96311
Autor:
Iwona Grobelna, Paweł Szcześniak
Publikováno v:
Applied Sciences, Vol 12, Iss 9, p 4772 (2022)
In this article, interpreted Petri nets are applied to the area of power and energy systems. These kinds of nets, equipped with input and output signals for communication with the environment, have so far proved to be useful in the specification of c
Externí odkaz:
https://doaj.org/article/b86f2faca33040e599cd9516f865a2aa
Publikováno v:
Novak, M, Grobelna, I, Nyman, U, Szczesniak, P & Blaabjerg, F 2023, ' Modular Modeling and Statistical Validation for Grid-Connected FS-MPC-Controlled Matrix Converters ', IEEE Transactions on Industrial Electronics, vol. 70, no. 9, 9896732, pp. 8613-8623 . https://doi.org/10.1109/TIE.2022.3206699
In recent publications, statistical model checking (SMC) has been proposed as a method for verifying the performance of finite-set model predictive control (FS-MPC) algorithms applied to power electronics converters. One of the reasons the full poten
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2db070d8e1b79bb6c85204d5f06cc7e3
https://vbn.aau.dk/da/publications/476b1e78-4fa1-46d7-b1c9-f9965af7aa09
https://vbn.aau.dk/da/publications/476b1e78-4fa1-46d7-b1c9-f9965af7aa09
Publikováno v:
Energies, Vol 14, Iss 14, p 4360 (2021)
The paper presents the existing verification methods for control algorithms in power electronics systems, including the application of model checking techniques. In the industry, the most frequently used verification methods are simulations and exper
Externí odkaz:
https://doaj.org/article/c8dc2978bf2e4a0fb4b6f1462774db4c
Autor:
Andrei Karatkevich, Iwona Grobelna
Publikováno v:
2023 22nd International Symposium INFOTEH-JAHORINA (INFOTEH).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1b8818d3978d4c95e26a08f5808dd88b
https://doi.org/10.1109/infoteh57020.2023.10094203
https://doi.org/10.1109/infoteh57020.2023.10094203