Remigiusz Wisniewski

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 31

Top Topics

Manufacturing Systems

Top Venues

IEEE Trans. Syst. Man Cybern. Syst.

Publications

Maxim Malinski, Marcin Wojnakowski, Remigiusz Wisniewski, Andrzej Obuchowicz
Transition Invariants in the Analysis of Concurrent Systems Modelled by Petri Nets. DoCEIS (2024)
Shaopeng Hu, Zhiwu Li, Remigiusz Wisniewski
Optimal Sensor Selection for Diagnosability Enforcement in Labeled Petri Nets. IEEE Trans. Syst. Man Cybern. Syst. 54 (5) (2024)
Marcin Wojnakowski, Remigiusz Wisniewski, Mateusz Poplawski
A Polynomial-Time Algorithm for Detecting Potentially Unbounded Places in a Petri Net-Based Concurrent System. Euro-Par Workshops (2023)
Remigiusz Wisniewski, Justyna Patalas-Maliszewska, Marcin Wojnakowski, Marcin Topczak, Mengchu Zhou
Fast Verification of Petri Net-Based Model of Industrial Decision-Making Systems: A Case Study. SMC (2023)
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)
Justyna Patalas-Maliszewska, Remigiusz Wisniewski, Marcin Topczak, Marcin Wojnakowski
Modelling of the effectiveness of integrating additive manufacturing technologies into Petri net-based manufacturing systems. FUZZ-IEEE (2022)
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)
Remigiusz Wisniewski, Justyna Patalas-Maliszewska, Marcin Wojnakowski, Marcin Topczak
Interpreted Petri Nets in Modelling and Analysis of Physical Resilient Manufacturing Systems. SMC (2022)
Shaohua Wan, Remigiusz Wisniewski, George C. Alexandropoulos, Zonghua Gu, Pierluigi Siano
Special Issue on Optimization of Cross-layer Collaborative Resource Allocation for Mobile Edge Computing, Caching and Communication. Comput. Commun. 181 (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)
Marcin Wojnakowski, Remigiusz Wisniewski
Verification of the Boundedness Property in a Petri Net-Based Specification of the Control Part of Cyber-Physical Systems. DoCEIS (2021)
Andrei Karatkevich, Remigiusz Wisniewski
A Polynomial-Time Algorithm to Obtain State Machine Cover of Live and Safe Petri Nets. IEEE Trans. Syst. Man Cybern. Syst. 50 (10) (2020)
Remigiusz Wisniewski, Mengchu Zhou, Luís Gomes, Maria Pia Fanti, Ratnesh Kumar
Special Issue on Recent Advances in Petri Nets, Automata, and Discrete-Event Hybrid Systems. IEEE Trans. Syst. Man Cybern. Syst. 50 (10) (2020)
Remigiusz Wisniewski, Iwona Grobelna, Andrei Karatkevich
Determinism in Cyber-Physical Systems Specified by Interpreted Petri Nets. Sensors 20 (19) (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, Monika Wisniewska, Marcin Jarnut
C-Exact Hypergraphs in Concurrency and Sequentiality Analyses of Cyber-Physical Systems Specified by Safe Petri Nets. 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)
Iwona Grobelna, Remigiusz Wisniewski, Marcin Wojnakowski
Specification of Cyber-Physical Systems with the Application of Interpreted Nets. IECON (2019)
Remigiusz Wisniewski, Andrei Karatkevich, Lukasz Stefanowicz, Marcin Wojnakowski
Decomposition of distributed edge systems based on the Petri nets and linear algebra technique. J. Syst. Archit. 96 (2019)
Remigiusz Wisniewski, Grzegorz Benysek, Luís Gomes, Dariusz Kania, Theodore E. Simos, Mengchu Zhou
IEEE Access Special Section: Cyber-Physical Systems. IEEE Access 7 (2019)
Remigiusz Wisniewski, Andrei Karatkevich, Marian Adamski, Anikó Costa, Luís Gomes
Prototyping of Concurrent Control Systems With Application of Petri Nets and Comparability Graphs. IEEE Trans. Control. Syst. Technol. 26 (2) (2018)
Remigiusz Wisniewski, Iwona Grobelna
Design of Multi-Context Reconfigurable Logic Controllers Implemented in FPGA Devices Oriented for Further Partial Reconfiguration. J. Circuits Syst. Comput. 27 (6) (2018)
Remigiusz Wisniewski
Dynamic Partial Reconfiguration of Concurrent Control Systems Specified by Petri Nets and Implemented in Xilinx FPGA Devices. IEEE Access 6 (2018)
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)
Iwona Grobelna, Remigiusz Wisniewski, Michal Grobelny, Monika Wisniewska
Design and Verification of Real-Life Processes With Application of Petri Nets. IEEE Trans. Syst. Man Cybern. Syst. 47 (11) (2017)
Iwona Grobelna, Monika Wisniewska, Remigiusz Wisniewski, Michal Grobelny, Piotr Mroz
Decomposition, validation and documentation of control process specification in form of a Petri net. HSI (2014)
Lukasz Stefanowicz, Marian Adamski, Remigiusz Wisniewski, Jakub Lipinski
Application of Hypergraphs to SMCs Selection. DoCEIS (2014)
Arkadiusz Bukowiec, Jacek Tkacz, Marian Adamski, Remigiusz Wisniewski
Dual synthesis of Petri net based dependable logic controllers for safety critical systems. HSI (2014)
Remigiusz Wisniewski, Andrei Karatkevich, Marian Adamski, Daniel Kur
Application of comparability graphs in decomposition of Petri nets. HSI (2014)
Lukasz Stefanowicz, Marian Adamski, Remigiusz Wisniewski
Application of an Exact Transversal Hypergraph in Selection of SM-Components. DoCEIS (2013)
Remigiusz Wisniewski, Alexander Barkalov, Larysa Titarenko, Wolfgang A. Halang
Design of microprogrammed controllers to be implemented in FPGAs. Int. J. Appl. Math. Comput. Sci. 21 (2) (2011)
Remigiusz Wisniewski, Monika Wisniewska, Marek Wegrzyn, Norian Marranghello
Design of microprogrammed controllers with address converter implemented on programmable systems with embedded memories. EWDTS (2011)
Monika Wisniewska, Remigiusz Wisniewski, Marek Wegrzyn, Norian Marranghello
Reduction of the memory size in the microprogrammed controllers. EWDTS (2011)