Grzegorz Bazydlo

According to our database, Grzegorz Bazydlo authored at least 15 papers between 2013 and 2023.

Collaborative distances:

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

2023

Supervisory Control of Cyber-Physical Systems Subject to Actuator Jamming Attacks.

Wenli Duo, Shouguang Wang, MengChu Zhou, Dan You, Remigiusz Wisniewski, Grzegorz Bazydlo

Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2023

Preliminary Verification of Liveness in a Control Part of Cyber-Physical Systems Modeled by a Petri Net.

Mateusz Poplawski, Remigiusz Wisniewski, Grzegorz Bazydlo, Maxim Malinski

Proceedings of the Technological Innovation for Connected Cyber Physical Spaces, 2023

Hippo-CPS: A Tool for Verification and Analysis of Petri Net-Based Cyber-Physical Systems.

Remigiusz Wisniewski, Grzegorz Bazydlo, Marcin Wojnakowski, Mateusz Poplawski

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2023

2022

Trusted and Secure Blockchain-Based Durable Medium Electronic Service.

Grzegorz Bazydlo, Remigiusz Wisniewski, Kamil Kozdrój

Cryptogr., 2022

Analysis of Control Part of Cyber-Physical Systems Specified by Interpreted Petri Nets.

Marcin Wojnakowski, Remigiusz Wisniewski, Mateusz Poplawski, Grzegorz Bazydlo

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2022

Hippo-CPS: Verification of Boundedness, Safeness and Liveness of Petri Net-Based Cyber-Physical Systems.

Marcin Wojnakowski, Mateusz Poplawski, Remigiusz Wisniewski, Grzegorz Bazydlo

Proceedings of the Technological Innovation for Digitalization and Virtualization, 2022

2021

Analysis of safeness in a Petri net-based specification of the control part of cyber-physical systems.

Marcin Wojnakowski, Remigiusz Wisniewski, Grzegorz Bazydlo, Mateusz Poplawski

Int. J. Appl. Math. Comput. Sci., 2021

2020

Dual-model approach for safety-critical embedded systems.

Grzegorz Labiak, Marek Wegrzyn, Alfredo Rosado Muñoz, Grzegorz Bazydlo

Microprocess. Microsystems, 2020

2019

Low-Cost FPGA Hardware Implementation of Matrix Converter Switch Control.

Remigiusz Wisniewski, Grzegorz Bazydlo, Pawel Szczesniak

IEEE Trans. Circuits Syst. II Express Briefs, 2019

SVM algorithm oriented for implementation in a low-cost Xilinx FPGA.

Remigiusz Wisniewski, Grzegorz Bazydlo, Pawel Szczesniak

Integr., 2019

Petri Net-Based Specification of Cyber-Physical Systems Oriented to Control Direct Matrix Converters With Space Vector Modulation.

Remigiusz Wisniewski, Grzegorz Bazydlo, Pawel Szczesniak, Marcin Wojnakowski

IEEE Access, 2019

Analysis and Design Automation of Cyber-Physical System with Hippo and IOPT-Tools.

Remigiusz Wisniewski, Grzegorz Bazydlo, Luís Gomes, Anikó Costa, Marcin Wojnakowski

Proceedings of the IECON 2019, 2019

2017

Dynamic Partial Reconfiguration of Concurrent Control Systems Implemented in FPGA Devices.

Remigiusz Wisniewski, Grzegorz Bazydlo, Luís Gomes, Anikó Costa

IEEE Trans. Ind. Informatics, 2017

2014

Translation UML diagrams into Verilog.

Grzegorz Bazydlo, Marian Adamski, Lukasz Stefanowicz

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

2013

From UML State Machine Diagram into FPGA Implementation.

Grzegorz Bazydlo, Marian Adamski, Marek Wegrzyn, Alfredo Rosado Muñoz

Proceedings of the 12th IFAC Conference on Programmable Devices and Embedded Systems, 2013