Iwona Grobelna

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 12

Top Topics

Manufacturing Systems

Top Venues

Publications

Mateja Novak, Iwona Grobelna, Ulrik Nyman, Pawel Szczesniak, Frede Blaabjerg
Modular Modeling and Statistical Validation for Grid-Connected FS-MPC-Controlled Matrix Converters. IEEE Trans. Ind. Electron. 70 (9) (2023)
Iwona Grobelna
Intelligent Industrial Process Control Systems. Sensors 23 (15) (2023)
Iwona Grobelna, Pawel Szczesniak
Model Checking Autonomous Components within Electric Power Systems Specified by Interpreted Petri Nets. Sensors 22 (18) (2022)
Iwona Grobelna
Internet of Things and Cyber-Physical Systems. Future Internet 14 (11) (2022)
Andrei Karatkevich, Iwona Grobelna
A Process-Oriented Deadlock Recovery Policy for Flexible Manufacturing Systems. ICARCV (2022)
Iwona Grobelna
Scratch-Based User-Friendly Requirements Definition for Formal Verification of Control Systems. Informatics Educ. 19 (2) (2020)
Iwona Grobelna
Formal Verification of Control Modules in Cyber-Physical Systems. Sensors 20 (18) (2020)
Remigiusz Wisniewski, Iwona Grobelna, Andrei Karatkevich
Determinism in Cyber-Physical Systems Specified by Interpreted Petri Nets. Sensors 20 (19) (2020)
Iwona Grobelna, Remigiusz Wisniewski, Marcin Wojnakowski
Specification of Cyber-Physical Systems with the Application of Interpreted Nets. IECON (2019)
Remigiusz Wisniewski, Iwona Grobelna
Design of Multi-Context Reconfigurable Logic Controllers Implemented in FPGA Devices Oriented for Further Partial Reconfiguration. J. Circuits Syst. Comput. 27 (6) (2018)
Iwona Grobelna
Model checking of reconfigurable FPGA modules specified by Petri nets. J. Syst. Archit. 89 (2018)
Iwona Grobelna, Remigiusz Wisniewski, Michal Grobelny, Monika Wisniewska
Design and Verification of Real-Life Processes With Application of Petri Nets. IEEE Trans. Syst. Man Cybern. Syst. 47 (11) (2017)
Michal Grobelny, Iwona Grobelna
Logic controller design system supporting UML activity diagrams. MIXDES (2015)
Iwona Grobelna, Monika Wisniewska, Remigiusz Wisniewski, Michal Grobelny, Piotr Mroz
Decomposition, validation and documentation of control process specification in form of a Petri net. HSI (2014)
Iwona Grobelna, Michal Grobelny, Marian Adamski
Model Checking of UML Activity Diagrams in Logic Controllers Design. DepCoS-RELCOMEX (2014)
Andrei Karatkevich, Iwona Grobelna
Deadlock detection in Petri nets: One trace for one deadlock? HSI (2014)
Michal Grobelny, Iwona Grobelna, Marian Adamski
Hardware behavioural modelling, verification and synthesis with UML 2.x activity diagrams. PDeS (2012)