Personal information

Other IDs

ResearcherID: A-3111-2013
Scopus Author ID: 36518652600

Keywords

control systems, formal verification, model checking, Petri nets

Countries

Poland

Activities

Collapse all

Employment (1)

University of Zielona Góra: Zielona Góra, PL

2008-03-01 to present | Associate Professor (Institute of Automatics, Electronics and Electrical Engineering)
Employment
Source: Self-asserted source
Iwona Grobelna

Works (41)

Correction: Grobelna, I.; Pławiak-Mowna, A. Motivation and Engagement of Students: A Case Study of Automatics and Robotics Projects. Electronics 2024, 13, 3997

Electronics
2025-03-13 | Journal article
DOI: 10.3390/electronics14061127
Contributors: Iwona Grobelna; Anna Pławiak-Mowna
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

Motivation and Engagement of Students: A Case Study of Automatics and Robotics Projects

Electronics
2024-10-11 | Journal article
DOI: 10.3390/electronics13203997
Contributors: Iwona Grobelna; Anna Pławiak-Mowna
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

Application of Under-Impedance Criterion to Protect against Effects of Phase-to-Phase Short Circuits in Medium-Voltage Networks

Energies
2024-01-20 | Journal article
DOI: 10.3390/en17020505
Contributors: Beata Zięba; Bartosz Olejnik; Iwona Grobelna
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

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

IEEE Transactions on Industrial Electronics
2023-09 | Journal article
DOI: 10.1109/TIE.2022.3206699
Contributors: Mateja Novak; Iwona Grobelna; Ulrik Mathias Nyman; Pawel Szczesniak; Frede Blaabjerg
Source: check_circle
Crossref

Intelligent Industrial Process Control Systems

Sensors
2023-08-01 | Journal article
DOI: 10.3390/s23156838
Contributors: Iwona Grobelna
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

Internet of Things and Cyber–Physical Systems

Future Internet
2022-11-18 | Journal article
DOI: 10.3390/fi14110337
Contributors: Iwona Grobelna
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

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

Sensors
2022-09-14 | Journal article
DOI: 10.3390/s22186936
Contributors: Iwona Grobelna; Paweł Szcześniak
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

Interpreted Petri Nets Applied to Autonomous Components within Electric Power Systems

Applied Sciences
2022-05-09 | Journal article
DOI: 10.3390/app12094772
Contributors: Iwona Grobelna; Paweł Szcześniak
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

Challenges in Application of Petri Nets in Manufacturing Systems

Electronics
2021-09-19 | Journal article
DOI: 10.3390/electronics10182305
Contributors: Iwona Grobelna; Andrei Karatkevich
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

Overview of Control Algorithm Verification Methods in Power Electronics Systems

Energies
2021-07-19 | Journal article
DOI: 10.3390/en14144360
Contributors: Paweł Szcześniak; Iwona Grobelna; Mateja Novak; Ulrik Nyman
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

Determinism in Cyber-Physical Systems Specified by Interpreted Petri Nets

Sensors
2020-09-28 | Journal article
DOI: 10.3390/s20195565
Contributors: Remigiusz Wisniewski; Iwona Grobelna; Andrei Karatkevich
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

Formal Verification of Control Modules in Cyber-Physical Systems

Sensors
2020-09-10 | Journal article
DOI: 10.3390/s20185154
Contributors: Iwona Grobelna
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

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

Informatics in Education
2020-06-15 | Journal article
DOI: 10.15388/infedu.2020.11
Part of ISSN: 1648-5831
Part of ISSN: 2335-8971
Source: Self-asserted source
Iwona Grobelna

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

IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society
2019-12-09 | Conference paper
DOI: 10.1109/iecon.2019.8926908
ISBN: 9781728148786
Source: Self-asserted source
Iwona Grobelna

Design and Verification of Cyber-Physical Systems Specified by Petri Nets—A Case Study of a Direct Matrix Converter

Mathematics
2019-09-02 | Journal article
DOI: 10.3390/math7090812
Part of ISSN: 2227-7390
Source: Self-asserted source
Iwona Grobelna
grade
Preferred source (of 2)‎

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

Journal of Circuits Systems and Computers
2018 | Journal article
DOI: 10.1142/S021812661850086X
WOSUID:

WOS:000425994300004
Contributors: Wisniewski, Remigiusz; Grobelna, Iwona
Source: Self-asserted source
Iwona Grobelna via ResearcherID

Model checking of reconfigurable FPGA modules specified by Petri nets

Journal of Systems Architecture
2018 | Journal article
DOI: 10.1016/j.sysarc.2018.06.005
Source: Self-asserted source
Iwona Grobelna

User awareness in IoT security. A survey of Polish users

AIP Conference Proceedings 2040, 080002 (2018)
2018-11-30 | Conference paper
DOI: 10.1063/1.5079136
Source: Self-asserted source
Iwona Grobelna

C code generation from Petri net based logic controller specification

Photonics Applications in Astronomy, Communications, Industry, and High Energy Physics Experiments 2017
2017 | Book chapter
DOI: 10.1117/12.2280959
WOSUID:

WOS:000411461300077
Contributors: Grobelny, Michal; Grobelna, Iwona; Karatkevich, Andrei
Source: Self-asserted source
Iwona Grobelna via ResearcherID

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

Ieee Transactions on Systems Man Cybernetics-Systems
2017 | Journal article
DOI: 10.1109/TSMC.2016.2531673
WOSUID:

WOS:000413071700006
Contributors: Grobelna, Iwona; Wisniewski, Remigiusz; Grobelny, Michal; Wisniewska, Monika
Source: Self-asserted source
Iwona Grobelna via ResearcherID

IoT Security with One-Time Pad Secure Algorithm Based on the Double Memory Technique

Proceedings of the International Conference of Computational Methods in Sciences and Engineering 2017 (Iccmse-2017)
2017 | Book chapter
DOI: 10.1063/1.5012401
WOSUID:

WOS:000419835900112
Contributors: Wisniewski, Remigiusz; Grobelny, Michal; Grobelna, Iwona; Bazydlo, Grzegorz
Source: Self-asserted source
Iwona Grobelna via ResearcherID

A rule-based Approach to Model Checking of UML State Machines

Proceedings of the International Conference of Computational Methods in Sciences and Engineering 2016 (ICCMSE-2016)
2016 | Book chapter
DOI: 10.1063/1.4968655
WOSUID:

WOS:000389449900027
Contributors: Grobelna, Iwona; Grobelny, Michal; Stefanowicz, Lukasz; Simos, TE; Kalogiratou, Z; Monovasilis, T
Source: Self-asserted source
Iwona Grobelna via ResearcherID

Application of Modified Martinez-Silva Algorithm in Determination of Net Cover

Proceedings of the International Conference of Computational Methods in Sciences and Engineering 2016 (ICCMSE-2016)
2016 | Book chapter
DOI: 10.1063/1.4968657
WOSUID:

WOS:000389449900029
Contributors: Stefanowicz, Lukasz; Grobelna, Iwona; Simos, TE; Kalogiratou, Z; Monovasilis, T
Source: Self-asserted source
Iwona Grobelna via ResearcherID

Model Checking of UML Activity Diagrams Using a Rule-Based Logical Model

Design of Reconfigurable Logic Controllers
2016 | Book chapter
DOI: 10.1007/978-3-319-26725-8_12
WOSUID:

WOS:000385169400013
Contributors: Grobelna, Iwona; Grobelny, Michal; Adamski, Marian; Karatkevich, A; Bukowiec, A; Doligalski, M; Tkacz, J
Source: Self-asserted source
Iwona Grobelna via ResearcherID

Partial Reconfiguration of Concurrent Logic Controllers Implemented in FPGA Devices

Proceedings of the International Conference of Computational Methods in Sciences and Engineering 2016 (ICCMSE-2016)
2016 | Book chapter
DOI: 10.1063/1.4968656
WOSUID:

WOS:000389449900028
Contributors: Wisniewski, Remigiusz; Grobelna, Iwona; Stefanowicz, Lukasz; Simos, TE; Kalogiratou, Z; Monovasilis, T
Source: Self-asserted source
Iwona Grobelna via ResearcherID

Various Interpretations of Actions of UML Activity Diagrams in Logic Controller Design

Design of Reconfigurable Logic Controllers
2016 | Book chapter
DOI: 10.1007/978-3-319-26725-8_11
WOSUID:

WOS:000385169400012
Contributors: Grobelny, Michal; Grobelna, Iwona; Adamski, Marian; Karatkevich, A; Bukowiec, A; Doligalski, M; Tkacz, J
Source: Self-asserted source
Iwona Grobelna via ResearcherID

Design and Verification of Distributed Logic Controllers with Application of Petri Nets

International Conference of Computational Methods in Sciences and Engineering 2015 (Iccmse 2015)
2015 | Book chapter
DOI: 10.1063/1.4938881
WOSUID:

WOS:000371804300110
Contributors: Wisniewski, Remigiusz; Grobelna, Iwona; Grobelny, Michal; Wisniewska, Monika; Simos, TE; Kalogiratou, Z; Monovasilis, T
Source: Self-asserted source
Iwona Grobelna via ResearcherID

Logic Controller Design System Supporting UML Activity Diagrams

2015 22nd International Conference Mixed Design of Integrated Circuits & Systems (Mixdes)
2015 | Journal article
WOSUID:

WOS:000364071600118
Contributors: Grobelny, Michal; Grobelna, Iwona; IEEE
Source: Self-asserted source
Iwona Grobelna via ResearcherID

UML Activity Diagram Swimlanes in Logic Controller Design

International Conference of Computational Methods in Sciences and Engineering 2015 (Iccmse 2015)
2015 | Book chapter
DOI: 10.1063/1.4938886
WOSUID:

WOS:000371804300115
Contributors: Grobelny, Michal; Grobelna, Iwona; Simos, TE; Kalogiratou, Z; Monovasilis, T
Source: Self-asserted source
Iwona Grobelna via ResearcherID

UML Activity Diagrams in Requirements Specification of Logic Controllers

International Conference of Computational Methods in Sciences and Engineering 2015 (Iccmse 2015)
2015 | Book chapter
DOI: 10.1063/1.4938882
WOSUID:

WOS:000371804300111
Contributors: Grobelna, Iwona; Grobelny, Michal; Simos, TE; Kalogiratou, Z; Monovasilis, T
Source: Self-asserted source
Iwona Grobelna via ResearcherID

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

2014 7th International Conference on Human System Interactions (Hsi)
2014 | Journal article
WOSUID:

WOS:000345791900034
Contributors: Karatkevich, Andrei; Grobelna, Iwona; IEEE
Source: Self-asserted source
Iwona Grobelna via ResearcherID

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

2014 7th International Conference on Human System Interactions (Hsi)
2014 | Journal article
WOSUID:

WOS:000345791900035
Contributors: Grobelna, Iwona; Wisniewska, Monika; Wisniewski, Remigiusz; Grobelny, Michal; Mroz, Piotr; IEEE
Source: Self-asserted source
Iwona Grobelna via ResearcherID

Model Checking of UML Activity Diagrams in Logic Controllers Design

Proceedings of the Ninth International Conference on Dependability and Complex Systems Depcos-Relcomex
2014 | Book chapter
DOI: 10.1007/978-3-319-07013-1_22
WOSUID:

WOS:000363748100022
Contributors: Grobelna, Iwona; Grobelny, Michal; Adamski, Marian; Zamojski, W; Mazurkiewicz, J; Sugier, J; Walkowiak, T; Kacprzyk, J
Source: Self-asserted source
Iwona Grobelna via ResearcherID

Hardware Behavioural Modelling, Verification and Synthesis with UML 2.x Activity Diagrams

11th Ifac/ieee International Conference on Programmable Devices and Embedded Systems (Pdes 2012)
2012 | Journal article
WOSUID:

WOS:000344655200028
Contributors: Grobelny, Michal; Grobelna, Iwona; Adamski, Marian; Bradac, Z; Bradac, F; Zezulka, F
Source: Self-asserted source
Iwona Grobelna via ResearcherID

Hierarchical UML activity diagrams into control interpreted petri nets transformation

Proceedings of the 19th International Conference Mixed Design of Integrated Circuits and Systems - MIXDES 2012
2012 | Conference paper
Source: Self-asserted source
Iwona Grobelna

Control Interpreted Petri Nets - Model Checking and Synthesis

Petri Nets - Manufacturing and Computer Science
2012-08-29 | Book chapter
DOI: 10.5772/47797
Part of ISBN: 9789535107002
Source: Self-asserted source
Iwona Grobelna

Formal verification of embedded logic controller specification with computer deduction in temporal logic

Przeglad Elektrotechniczny
2011 | Journal article
WOSUID:

WOS:000297586400011
Contributors: Grobelna, Iwona
Source: Self-asserted source
Iwona Grobelna via ResearcherID

Model checking of Control Interpreted Petri Nets

Proceedings of the 18th International Conference Mixed Design of Integrated Circuits and Systems - MIXDES 2011
2011 | Conference paper
Source: Self-asserted source
Iwona Grobelna

Petri nets and Activity Diagrams in logic controller specification - transformation and verification

Proceedings of the 17th International Conference Mixed Design of Integrated Circuits and Systems - MIXDES 2010
2010 | Conference paper
Source: Self-asserted source
Iwona Grobelna

Embedded WWW Server in Wireless Sensor Networks

IFAC Proceedings Volumes
2009 | Journal article
DOI: 10.3182/20091006-3-es-4010.00041
Part of ISSN: 1474-6670
Source: Self-asserted source
Iwona Grobelna

Visualization of control process by means of Petri nets and database - art. no. 63472Q

Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments 2006, Pts 1 and 2
2006 | Book chapter
DOI: 10.1117/12.714766
WOSUID:

WOS:000241894400098
Contributors: Wegrzyn, A.; Jozwiak, I.
Source: Self-asserted source
Iwona Grobelna via ResearcherID

Peer review (20 reviews for 15 publications/grants)

Review activity for Advances in Manufacturing. (1)
Review activity for Applied sciences. (1)
Review activity for Arabian journal for science and engineering. (1)
Review activity for Computing. (1)
Review activity for Electronics. (1)
Review activity for Energies. (1)
Review activity for Frontiers of Information Technology & Electronic Engineering. (2)
Review activity for Journal of electronic testing. (2)
Review activity for Journal of surveillance, security and safety. (1)
Review activity for Life cycle reliability and safety engineering. (1)
Review activity for Machine learning and knowledge extraction. (1)
Review activity for Mathematics. (2)
Review activity for PLoS computational biology. (1)
Review activity for Sensors. (2)
Review activity for Systems. (2)
How many people are using ORCID?