Iwona Grobelna

According to our database, Iwona Grobelna authored at least 18 papers between 2012 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

Modular Modeling and Statistical Validation for Grid-Connected FS-MPC-Controlled Matrix Converters.

Mateja Novak, Iwona Grobelna, Ulrik Nyman, Pawel Szczesniak, Frede Blaabjerg

IEEE Trans. Ind. Electron., September, 2023

Intelligent Industrial Process Control Systems.

Iwona Grobelna

Sensors, August, 2023

Help students learn interpreted Petri nets with Minecraft.

Iwona Grobelna, Malgorzata Mazurkiewicz, Damian Janus

Informatics Educ., 2023

2022

Model Checking Autonomous Components within Electric Power Systems Specified by Interpreted Petri Nets.

Iwona Grobelna, Pawel Szczesniak

Sensors, 2022

Internet of Things and Cyber-Physical Systems.

Iwona Grobelna

Future Internet, 2022

A Process-Oriented Deadlock Recovery Policy for Flexible Manufacturing Systems.

Andrei Karatkevich, Iwona Grobelna

Proceedings of the 17th International Conference on Control, 2022

2020

Determinism in Cyber-Physical Systems Specified by Interpreted Petri Nets.

Remigiusz Wisniewski, Iwona Grobelna, Andrei Karatkevich

Sensors, 2020

Formal Verification of Control Modules in Cyber-Physical Systems.

Iwona Grobelna

Sensors, 2020

Scratch-Based User-Friendly Requirements Definition for Formal Verification of Control Systems.

Iwona Grobelna

Informatics Educ., 2020

2019

Specification of Cyber-Physical Systems with the Application of Interpreted Nets.

Iwona Grobelna, Remigiusz Wisniewski, Marcin Wojnakowski

Proceedings of the IECON 2019, 2019

2018

Model checking of reconfigurable FPGA modules specified by Petri nets.

Iwona Grobelna

J. Syst. Archit., 2018

Design of Multi-Context Reconfigurable Logic Controllers Implemented in FPGA Devices Oriented for Further Partial Reconfiguration.

Remigiusz Wisniewski, Iwona Grobelna

J. Circuits Syst. Comput., 2018

2017

Design and Verification of Real-Life Processes With Application of Petri Nets.

Iwona Grobelna, Remigiusz Wisniewski, Michal Grobelny, Monika Wisniewska

IEEE Trans. Syst. Man Cybern. Syst., 2017

2015

Logic controller design system supporting UML activity diagrams.

Michal Grobelny, Iwona Grobelna

Proceedings of the 22nd International Conference Mixed Design of Integrated Circuits & Systems, 2015

2014

Deadlock detection in Petri nets: One trace for one deadlock?

Andrei Karatkevich, Iwona Grobelna

Proceedings of the 7th International Conference on Human System Interactions, 2014

Decomposition, validation and documentation of control process specification in form of a Petri net.

Iwona Grobelna, Monika Wisniewska, Remigiusz Wisniewski, Michal Grobelny, Piotr Mroz

Proceedings of the 7th International Conference on Human System Interactions, 2014

Model Checking of UML Activity Diagrams in Logic Controllers Design.

Iwona Grobelna, Michal Grobelny, Marian Adamski

Proceedings of the Ninth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX. June 30, 2014

2012

Hardware behavioural modelling, verification and synthesis with UML 2.x activity diagrams.

Michal Grobelny, Iwona Grobelna, Marian Adamski

Proceedings of the 11th IFAC Conference on Programmable Devices and Embedded Systems, 2012