Search Results - "Grobelna, Iwona" :: K.UTB vyhledávací portál | TBU Library Retrieval Portal

Intelligent Industrial Process Control Systems

Intelligent Industrial Process Control Systems

by Grobelna, Iwona
Published in Sensors (Basel, Switzerland) (01.08.2023)

Get full text

Journal Article

Formal Verification of Control Modules in Cyber-Physical Systems

Formal Verification of Control Modules in Cyber-Physical Systems

by Grobelna, Iwona
Published in Sensors (Basel, Switzerland) (10.09.2020)

Get full text

Journal Article

Internet of Things and Cyber–Physical Systems

Internet of Things and Cyber–Physical Systems

by Grobelna, Iwona
Published in Future internet (01.11.2022)

Get full text

Journal Article

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

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

by Grobelna, Iwona
Published in Informatics in education (2020)

Get full text

Journal Article

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

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

by Grobelna, Iwona, Szcześniak, Paweł
Published in Sensors (Basel, Switzerland) (14.09.2022)

Get full text

Journal Article

Determinism in Cyber-Physical Systems Specified by Interpreted Petri Nets

Determinism in Cyber-Physical Systems Specified by Interpreted Petri Nets

by Wisniewski, Remigiusz, Grobelna, Iwona, Karatkevich, Andrei
Published in Sensors (Basel, Switzerland) (28.09.2020)

Get full text

Journal Article

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

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

by Zięba, Beata, Olejnik, Bartosz, Grobelna, Iwona
Published in Energies (Basel) (01.01.2024)

Get full text

Journal Article

Interpreted Petri Nets Applied to Autonomous Components within Electric Power Systems

Interpreted Petri Nets Applied to Autonomous Components within Electric Power Systems

by Grobelna, Iwona, Szcześniak, Paweł
Published in Applied sciences (01.05.2022)

Get full text

Journal Article

Overview of Control Algorithm Verification Methods in Power Electronics Systems

Overview of Control Algorithm Verification Methods in Power Electronics Systems

by Szcześniak, Paweł, Grobelna, Iwona, Novak, Mateja, Nyman, Ulrik
Published in Energies (Basel) (01.07.2021)

Get full text

Journal Article

Help Students Learn Interpreted Petri Nets with Minecraft

Help Students Learn Interpreted Petri Nets with Minecraft

by Grobelna, Iwona, Mazurkiewicz, Małgorzata, Janus, Damian
Published in Informatics in education (2023)

Get full text

Journal Article

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

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

by Wisniewski, Remigiusz, Bazydło, Grzegorz, Szcześniak, Paweł, Grobelna, Iwona, Wojnakowski, Marcin
Published in Mathematics (Basel) (01.09.2019)

Get full text

Journal Article

Model checking of reconfigurable FPGA modules specified by Petri nets

Model checking of reconfigurable FPGA modules specified by Petri nets

by Grobelna, Iwona
Published in Journal of systems architecture (01.09.2018)

Get full text

Journal Article

Challenges in Application of Petri Nets in Manufacturing Systems

Challenges in Application of Petri Nets in Manufacturing Systems

by Grobelna, Iwona, Karatkevich, Andrei
Published in Electronics (Basel) (01.09.2021)

Get full text

Journal Article

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

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

by Grobelna, Iwona, Pławiak-Mowna, Anna
Published in Electronics (Basel) (11.10.2024)

Get full text

Journal Article

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

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

by Novak, Mateja, Grobelna, Iwona, Nyman, Ulrik Mathias, Szczesniak, Pawel, Blaabjerg, Frede
Published in IEEE transactions on industrial electronics (1982) (01.09.2023)

Get full text

Journal Article

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

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

by Grobelna, Iwona, Wisniewski, Remigiusz, Grobelny, Michal, Wisniewska, Monika
Published in IEEE transactions on systems, man, and cybernetics. Systems (01.11.2017)

Get full text

Journal Article

Model Checking of Concurrency in Cyber-Physical Systems Specified with Interpreted Petri Nets

Model Checking of Concurrency in Cyber-Physical Systems Specified with Interpreted Petri Nets

by Grobelna, Iwona
Published in 2024 23rd International Symposium INFOTEH-JAHORINA (INFOTEH) (20.03.2024)

Get full text

Conference Proceeding

Deadlock Recovery for Flexible Manufacturing Systems with Exhaustive Exploration of the Reachability Graph

Deadlock Recovery for Flexible Manufacturing Systems with Exhaustive Exploration of the Reachability Graph

by Grobelna, Iwona, Karatkevich, Andrei
Published in 2023 17th International Conference on the Experience of Designing and Application of CAD Systems (CADSM) (22.02.2023)

Get full text

Conference Proceeding

A Process-Oriented Deadlock Recovery Policy for Flexible Manufacturing Systems

A Process-Oriented Deadlock Recovery Policy for Flexible Manufacturing Systems

by Karatkevich, Andrei, Grobelna, Iwona
Published in 2022 17th International Conference on Control, Automation, Robotics and Vision (ICARCV) (11.12.2022)

Get full text

Conference Proceeding

A Quick Heuristic Algorithm for Enforcing the Liveness of S3PR Petri Nets

A Quick Heuristic Algorithm for Enforcing the Liveness of S3PR Petri Nets

by Karatkevich, Andrei, Grobelna, Iwona
Published in 2023 22nd International Symposium INFOTEH-JAHORINA (INFOTEH) (15.03.2023)

Get full text

Conference Proceeding