Remigiusz Wisniewski

According to our database, Remigiusz Wisniewski authored at least 39 papers between 2011 and 2024.

Collaborative distances:

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

2024

Optimal Sensor Selection for Diagnosability Enforcement in Labeled Petri Nets.

Shaopeng Hu, Zhiwu Li, Remigiusz Wisniewski

IEEE Trans. Syst. Man Cybern. Syst., May, 2024

Transition Invariants in the Analysis of Concurrent Systems Modelled by Petri Nets.

Maxim Malinski, Marcin Wojnakowski, Remigiusz Wisniewski, Andrzej Obuchowicz

Proceedings of the Technological Innovation for Human-Centric Systems, 2024

2023

Fast Verification of Petri Net-Based Model of Industrial Decision-Making Systems: A Case Study.

Remigiusz Wisniewski, Justyna Patalas-Maliszewska, Marcin Wojnakowski, Marcin Topczak, Mengchu Zhou

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 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

A Polynomial-Time Algorithm for Detecting Potentially Unbounded Places in a Petri Net-Based Concurrent System.

Marcin Wojnakowski, Remigiusz Wisniewski, Mateusz Poplawski

Proceedings of the Euro-Par 2023: Parallel Processing Workshops - Euro-Par 2023 International Workshops, Limassol, Cyprus, August 28, 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

Special Issue on Optimization of Cross-layer Collaborative Resource Allocation for Mobile Edge Computing, Caching and Communication.

Shaohua Wan, Remigiusz Wisniewski, George C. Alexandropoulos, Zonghua Gu, Pierluigi Siano

Comput. Commun., 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

Interpreted Petri Nets in Modelling and Analysis of Physical Resilient Manufacturing Systems.

Remigiusz Wisniewski, Justyna Patalas-Maliszewska, Marcin Wojnakowski, Marcin Topczak

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

Modelling of the effectiveness of integrating additive manufacturing technologies into Petri net-based manufacturing systems.

Justyna Patalas-Maliszewska, Remigiusz Wisniewski, Marcin Topczak, Marcin Wojnakowski

Proceedings of the IEEE International Conference on Fuzzy Systems, 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

Verification of the Boundedness Property in a Petri Net-Based Specification of the Control Part of Cyber-Physical Systems.

Marcin Wojnakowski, Remigiusz Wisniewski

Proceedings of the Technological Innovation for Applied AI Systems, 2021

2020

Special Issue on Recent Advances in Petri Nets, Automata, and Discrete-Event Hybrid Systems.

Remigiusz Wisniewski, Mengchu Zhou, Luís Gomes, Maria Pia Fanti, Ratnesh Kumar

IEEE Trans. Syst. Man Cybern. Syst., 2020

A Polynomial-Time Algorithm to Obtain State Machine Cover of Live and Safe Petri Nets.

Andrei Karatkevich, Remigiusz Wisniewski

IEEE Trans. Syst. Man Cybern. Syst., 2020

Determinism in Cyber-Physical Systems Specified by Interpreted Petri Nets.

Remigiusz Wisniewski, Iwona Grobelna, Andrei Karatkevich

Sensors, 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

Decomposition of distributed edge systems based on the Petri nets and linear algebra technique.

Remigiusz Wisniewski, Andrei Karatkevich, Lukasz Stefanowicz, Marcin Wojnakowski

J. Syst. Archit., 2019

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

Remigiusz Wisniewski, Grzegorz Bazydlo, Pawel Szczesniak

Integr., 2019

C-Exact Hypergraphs in Concurrency and Sequentiality Analyses of Cyber-Physical Systems Specified by Safe Petri Nets.

Remigiusz Wisniewski, Monika Wisniewska, Marcin Jarnut

IEEE Access, 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

IEEE Access Special Section: Cyber-Physical Systems.

Remigiusz Wisniewski, Grzegorz Benysek, Luís Gomes, Dariusz Kania, Theodore E. Simos, Mengchu Zhou

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

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

Iwona Grobelna, Remigiusz Wisniewski, Marcin Wojnakowski

Proceedings of the IECON 2019, 2019

2018

Prototyping of Concurrent Control Systems With Application of Petri Nets and Comparability Graphs.

Remigiusz Wisniewski, Andrei Karatkevich, Marian Adamski, Anikó Costa, Luís Gomes

IEEE Trans. Control. Syst. Technol., 2018

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

Remigiusz Wisniewski, Iwona Grobelna

J. Circuits Syst. Comput., 2018

Dynamic Partial Reconfiguration of Concurrent Control Systems Specified by Petri Nets and Implemented in Xilinx FPGA Devices.

Remigiusz Wisniewski

IEEE Access, 2018

2017

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

Iwona Grobelna, Remigiusz Wisniewski, Michal Grobelny, Monika Wisniewska

IEEE Trans. Syst. Man Cybern. Syst., 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

Application of Hypergraphs to SMCs Selection.

Lukasz Stefanowicz, Marian Adamski, Remigiusz Wisniewski, Jakub Lipinski

Proceedings of the Technological Innovation for Collective Awareness Systems, 2014

Application of comparability graphs in decomposition of Petri nets.

Remigiusz Wisniewski, Andrei Karatkevich, Marian Adamski, Daniel Kur

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

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

Iwona Grobelna, Monika Wisniewska, Remigiusz Wisniewski, Michal Grobelny, Piotr Mroz

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

Dual synthesis of Petri net based dependable logic controllers for safety critical systems.

Arkadiusz Bukowiec, Jacek Tkacz, Marian Adamski, Remigiusz Wisniewski

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

2013

Application of an Exact Transversal Hypergraph in Selection of SM-Components.

Lukasz Stefanowicz, Marian Adamski, Remigiusz Wisniewski

Proceedings of the Technological Innovation for the Internet of Things, 2013

2011

Design of microprogrammed controllers to be implemented in FPGAs.

Remigiusz Wisniewski, Alexander Barkalov, Larysa Titarenko, Wolfgang A. Halang

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

Design of microprogrammed controllers with address converter implemented on programmable systems with embedded memories.

Remigiusz Wisniewski, Monika Wisniewska, Marek Wegrzyn, Norian Marranghello

Proceedings of the 9th East-West Design & Test Symposium, 2011

Reduction of the memory size in the microprogrammed controllers.

Monika Wisniewska, Remigiusz Wisniewski, Marek Wegrzyn, Norian Marranghello

Proceedings of the 9th East-West Design & Test Symposium, 2011