Grzegorz Bazydlo

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 13

Top Topics

Fpga Implementation

Cyber Physical Systems

Embedded Systems

Top Venues

IEEE Trans. Ind. Informatics

Publications

Remigiusz Wisniewski, Grzegorz Bazydlo, Marcin Wojnakowski, Mateusz Poplawski
Hippo-CPS: A Tool for Verification and Analysis of Petri Net-Based Cyber-Physical Systems. Petri Nets (2023)
Mateusz Poplawski, Remigiusz Wisniewski, Grzegorz Bazydlo, Maxim Malinski
Preliminary Verification of Liveness in a Control Part of Cyber-Physical Systems Modeled by a Petri Net. DoCEIS (2023)
Wenli Duo, Shouguang Wang, MengChu Zhou, Dan You, Remigiusz Wisniewski, Grzegorz Bazydlo
Supervisory Control of Cyber-Physical Systems Subject to Actuator Jamming Attacks. ICNSC (2023)
Grzegorz Bazydlo, Remigiusz Wisniewski, Kamil Kozdrój
Trusted and Secure Blockchain-Based Durable Medium Electronic Service. Cryptogr. 6 (1) (2022)
Marcin Wojnakowski, Remigiusz Wisniewski, Mateusz Poplawski, Grzegorz Bazydlo
Analysis of Control Part of Cyber-Physical Systems Specified by Interpreted Petri Nets. SMC (2022)
Marcin Wojnakowski, Mateusz Poplawski, Remigiusz Wisniewski, Grzegorz Bazydlo
Hippo-CPS: Verification of Boundedness, Safeness and Liveness of Petri Net-Based Cyber-Physical Systems. DoCEIS (2022)
Marcin Wojnakowski, Remigiusz Wisniewski, Grzegorz Bazydlo, Mateusz Poplawski
Analysis of safeness in a Petri net-based specification of the control part of cyber-physical systems. Int. J. Appl. Math. Comput. Sci. 31 (4) (2021)
Grzegorz Labiak, Marek Wegrzyn, Alfredo Rosado Muñoz, Grzegorz Bazydlo
Dual-model approach for safety-critical embedded systems. Microprocess. Microsystems 72 (2020)
Remigiusz Wisniewski, Grzegorz Bazydlo, Pawel Szczesniak, Marcin Wojnakowski
Petri Net-Based Specification of Cyber-Physical Systems Oriented to Control Direct Matrix Converters With Space Vector Modulation. IEEE Access 7 (2019)
Remigiusz Wisniewski, Grzegorz Bazydlo, Pawel Szczesniak
SVM algorithm oriented for implementation in a low-cost Xilinx FPGA. Integr. 64 (2019)
Remigiusz Wisniewski, Grzegorz Bazydlo, Pawel Szczesniak
Low-Cost FPGA Hardware Implementation of Matrix Converter Switch Control. IEEE Trans. Circuits Syst. II Express Briefs (7) (2019)
Remigiusz Wisniewski, Grzegorz Bazydlo, Luís Gomes, Anikó Costa, Marcin Wojnakowski
Analysis and Design Automation of Cyber-Physical System with Hippo and IOPT-Tools. IECON (2019)
Remigiusz Wisniewski, Grzegorz Bazydlo, Luís Gomes, Anikó Costa
Dynamic Partial Reconfiguration of Concurrent Control Systems Implemented in FPGA Devices. IEEE Trans. Ind. Informatics 13 (4) (2017)
Grzegorz Bazydlo, Marian Adamski, Lukasz Stefanowicz
Translation UML diagrams into Verilog. HSI (2014)
Grzegorz Bazydlo, Marian Adamski, Marek Wegrzyn, Alfredo Rosado Muñoz
From UML State Machine Diagram into FPGA Implementation. PDeS (2013)