Iwona Grobelna
Uniwersytet Zielonogórski
H-index: 12
Europe-Poland
Top articles of Iwona Grobelna
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Model Checking of Concurrency in Cyber-Physical Systems Specified with Interpreted Petri Nets | Iwona Grobelna | 2024/3/20 | |
Application of Under-Impedance Criterion to Protect against Effects of Phase-to-Phase Short Circuits in Medium-Voltage Networks | Energies | Beata Zięba Bartosz Olejnik Iwona Grobelna | 2024/1/20 |
Deadlock Recovery for Flexible Manufacturing Systems with Exhaustive Exploration of the Reachability Graph | Iwona Grobelna Andrei Karatkevich | 2023/2/22 | |
Intelligent Industrial Process Control Systems | Iwona Grobelna | 2023/8/1 | |
A Quick Heuristic Algorithm for Enforcing the Liveness of S3PR Petri Nets | Andrei Karatkevich Iwona Grobelna | 2023/3/15 | |
Help students learn interpreted Petri nets with Minecraft | Informatics in Education | Iwona Grobelna Małgorzata Mazurkiewicz Damian Janus | 2022/7/22 |
Logical vs. Physical Time in Cyber-Physical Systems Specified by Interpreted Petri Nets | Łukasz Sawicki Iwona Grobelna Piotr Mróz Małgorzata Mazurkiewicz | 2022/7 | |
A process-oriented deadlock recovery policy for flexible manufacturing systems | Andrei Karatkevich Iwona Grobelna | 2022/12/11 | |
Statistical Performance Verification of the FS-MPC Algorithm Applied to the Matrix Converter | Mateja Novak Iwona Grobelna Ulrik Nyman Pawel Szczesniak Frede Blaabjerg | 2022/5/15 | |
Internet of Things and Cyber–Physical Systems | Iwona Grobelna | 2022/11/18 | |
Interpreted petri nets applied to autonomous components within electric power systems | Applied Sciences | Iwona Grobelna Paweł Szcześniak | 2022/5/9 |
Modular Modeling and Statistical Validation for Grid-Connected FS-MPC-Controlled Matrix Converters | IEEE Transactions on Industrial Electronics | Mateja Novak Iwona Grobelna Ulrik Mathias Nyman Pawel Szczesniak Frede Blaabjerg | 2022/9/20 |
A deadlock recovery policy for flexible manufacturing systems with minimized traversing within reachability graph | Iwona Grobelna Andrei Karatkevich | 2022/3/16 | |
Model Checking Autonomous Components within Electric Power Systems Specified by Interpreted Petri Nets | Sensors | Iwona Grobelna Paweł Szcześniak | 2022/9/14 |
Challenges in application of Petri nets in manufacturing systems | Iwona Grobelna Andrei Karatkevich | 2021/9/19 | |
Overview of control algorithm verification methods in power electronics systems | Paweł Szcześniak Iwona Grobelna Mateja Novak Ulrik Nyman | 2021/7/19 | |
Determinism in cyber-physical systems specified by interpreted Petri nets | Sensors | Remigiusz Wisniewski Iwona Grobelna Andrei Karatkevich | 2020/9/28 |
Formal verification of control modules in cyber-physical systems | Sensors | Iwona Grobelna | 2020/9/10 |
Scratch-Based User-Friendly Requirements Definition for Formal Verification of Control Systems | Informatics in Education-An International Journal | Iwona Grobelna | 2020 |