ISSI Institute of Control & Computation Engineering


Assoc. Prof. Remigiusz Wi¶niewski, Ph. D., D.Sc.

Phone : +48 68 2611
E-mail :
Website :



  • Concurrent control systems and cyber-physical systems (CPS): Petri-net based specification of concurrent control systems and control part of CPS; design, verification, decomposition, analysis and implementation of integrated (FPGA) and distributed systems.
  • Programmable devices: FPGA, PLD, CPLD; specification (modeling) of programmable devices, hardware description languages: Verilog, VHDL; dynamic and static partial reconfiguration of programmable devices (FPGA)
  • Cybersecurity: applied cryptography: development of cryptographic algorithms, cryptanalysis of algorithms, software and hardware (FPGA) implementation of algorithms; prime numbers: representation of primes, Goldbach's conjecture, RSA factorization.


  • Seminars
  • Cybersecurity
  • Concurrent systems, control part of cyber-physical systems (CPS)
  • Doctoral studies (Doctoral School of Exact and Technical Sciences)


  • SVM Algorithm Oriented for Implementation in a Low-Cost Xilinx FPGA
    Wi¶niewski R., Bazydło G., Szcze¶niak P., Integration - the VLSI Journal, 2019, Vol. 64, pp. 163-172
  • Design and Verification of Cyber-Physical Systems Specified by Petri Nets-A Case Study of a Direct Matrix Converter
    Wi¶niewski R., Bazydło G., Szcze¶niak P., Grobelna I., Wojnakowski M., Mathematics, 2019, Vol. 7, pp. 1-24
  • Determinism in Cyber-Physical Systems Specified by Interpreted Petri Nets
    Wi¶niewski R., Grobelna I., Karatkevich A., Sensors, 2020, Vol. 20, Iss. 19, pp. 1-22
  • Dynamic partial reconfiguration of concurrent control systems specified by Petri nets and implemented in Xilinx FPGA devices
    Wi¶niewski R., IEEE Access, 2018, Vol. 6, pp. 3276-32391
  • Prototyping of Concurrent Control Systems Implemented in FPGA devices
    Wi¶niewski R., Berlin - Heidelberg : Springer International Publishing (Advances in Industrial Control), 2017, 181 p.
  • Low-Cost FPGA Hardware Implementation of Matrix Converter Switch Control
    Wi¶niewski R., Bazydło G., Szcze¶niak P., IEEE Transactions on Circuits and Systems - II: Express Briefs,2019, Vol. 66, iss. 7, pp. 1177-1181
  • Design and verification of real-life processes with application of Petri nets
    Grobelna I., Wi¶niewski R., Grobelny M., Wi¶niewska M., IEEE Transactions on Systems, Man, and Cybernetics : Systems, 2017, Vol. 47, Iss. 11, pp. 2856-2869
  • C-exact Hypergraphs in Concurrency and Sequentiality Analyses of Cyber-Physical Systems Specified by Safe Petri Nets
    Wi¶niewski R., Wi¶niewska M., Jarnut M., IEEE Access, 2019, Vol. 7, Iss. 1, pp. 13510-13522
  • Decomposition of Distributed Edge Systems Based on the Petri Nets and Linear Algebra Technique
    Wi¶niewski R., Karatkevich A., Stefanowicz Ł., Wojnakowski M., Journal of Systems Architecture, 2019, Vol. 96, pp. 20-31
  • Prototyping of Concurrent Control Systems with Application of Petri Nets and Comparability Graphs
    Wi¶niewski R., Karatkevich A., Adamski M., Costa A., Gomes L., IEEE Transactions on Control Systems Technology, 2018, Vol. 26, Iss. 2, pp. 575--586
  • Dynamic Partial Reconfiguration of Concurrent Control Systems Implemented in FPGA Devices
    Wi¶niewski R., Bazydło G., Gomes L., Costa A., IEEE Transactions on Industrial Informatics, 2017, Vol. 13, Iss. 4, pp. 1734-1741
  • Petri net-based specification of cyber-physical systems oriented to control direct matrix converters with space vector modulation
    Wi¶niewski R., Bazydło G., Szcze¶niak P., Wojnakowski P., IEEE Access, 2019, Vol. 7, pp. 23407-23420
  • Design of multi-context reconfigurable logic controllers implemented in FPGA devices oriented for further partial reconfiguration
    Wi¶niewski R., Grobelna I., Journal of Circuits, Systems, and Computers, 2018, Vol. 27, Iss. 6, pp. 1-25
  • A Polynomial-Time Algorithm to Obtain State Machine Cover of Live and Safe Petri Nets
    Kratkevich A., Wi¶niewski R., IEEE Transactions on Systems, Man, and Cybernetics : Systems, 2020, Vol. 50, No. 10, pp. 3592-3597