Remigiusz Wisniewski

Orcid: 0000-0001-6829-2263

Affiliations:
  • University of Zielona Góra, Institute of Electrical Engineering, Poland


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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Optimal Sensor Selection for Diagnosability Enforcement in Labeled Petri Nets.
IEEE Trans. Syst. Man Cybern. Syst., May, 2024

Transition Invariants in the Analysis of Concurrent Systems Modelled by Petri Nets.
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.
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2023

Supervisory Control of Cyber-Physical Systems Subject to Actuator Jamming Attacks.
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.
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.
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.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2023

2022
Trusted and Secure Blockchain-Based Durable Medium Electronic Service.
Cryptogr., 2022

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

Analysis of Control Part of Cyber-Physical Systems Specified by Interpreted Petri Nets.
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2022

Interpreted Petri Nets in Modelling and Analysis of Physical Resilient Manufacturing Systems.
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.
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.
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.
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.
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.
IEEE Trans. Syst. Man Cybern. Syst., 2020

A Polynomial-Time Algorithm to Obtain State Machine Cover of Live and Safe Petri Nets.
IEEE Trans. Syst. Man Cybern. Syst., 2020

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

2019
Low-Cost FPGA Hardware Implementation of Matrix Converter Switch Control.
IEEE Trans. Circuits Syst. II Express Briefs, 2019

Decomposition of distributed edge systems based on the Petri nets and linear algebra technique.
J. Syst. Archit., 2019

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

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

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

IEEE Access Special Section: Cyber-Physical Systems.
IEEE Access, 2019

Analysis and Design Automation of Cyber-Physical System with Hippo and IOPT-Tools.
Proceedings of the IECON 2019, 2019

Specification of Cyber-Physical Systems with the Application of Interpreted Nets.
Proceedings of the IECON 2019, 2019

2018
Prototyping of Concurrent Control Systems With Application of Petri Nets and Comparability Graphs.
IEEE Trans. Control. Syst. Technol., 2018

Design of Multi-Context Reconfigurable Logic Controllers Implemented in FPGA Devices Oriented for Further Partial Reconfiguration.
J. Circuits Syst. Comput., 2018

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

2017
Design and Verification of Real-Life Processes With Application of Petri Nets.
IEEE Trans. Syst. Man Cybern. Syst., 2017

Dynamic Partial Reconfiguration of Concurrent Control Systems Implemented in FPGA Devices.
IEEE Trans. Ind. Informatics, 2017

2014
Application of Hypergraphs to SMCs Selection.
Proceedings of the Technological Innovation for Collective Awareness Systems, 2014

Application of comparability graphs in decomposition of Petri nets.
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.
Proceedings of the 7th International Conference on Human System Interactions, 2014

Dual synthesis of Petri net based dependable logic controllers for safety critical systems.
Proceedings of the 7th International Conference on Human System Interactions, 2014

2013
Application of an Exact Transversal Hypergraph in Selection of SM-Components.
Proceedings of the Technological Innovation for the Internet of Things, 2013

2011
Design of microprogrammed controllers to be implemented in FPGAs.
Int. J. Appl. Math. Comput. Sci., 2011

Design of microprogrammed controllers with address converter implemented on programmable systems with embedded memories.
Proceedings of the 9th East-West Design & Test Symposium, 2011

Reduction of the memory size in the microprogrammed controllers.
Proceedings of the 9th East-West Design & Test Symposium, 2011


  Loading...