Badania i projekty naukowe

  • Serwis Hippo (współbieżne systemy sterujące, sieci Petriego, grafy, hipergrafy, projektowanie, analiza, dekompozycja)
  • Serwis kryptograficzny (zagadki, zadania, materiały, wizualizacja algorytmów)

    • Sesje i konferencje naukowe

  • Sesja specjalna Logic Synthesis and Control Systems 2018 w ramach konferencji ICCMSE 2018 (Grecja, Thessaloniki)
  • Sesja specjalna Logic Synthesis and Control Systems 2017 w ramach konferencji ICCMSE 2017 (Grecja, Thessaloniki)
  • Sesja specjalna Logic Synthesis and Control Systems 2016 w ramach konferencji ICCMSE 2016 (Grecja, Ateny)
  • Sesja specjalna Design and Analysis of Control Systems 2015 w ramach konferencji ICCMSE 2015 (Grecja, Ateny)
  • Sesja specjalna Design and Analysis of Control Systems 2014 w ramach konferencji IEEE HSI 2014 (Portugalia, Lizbona)

    • Wybrane publikacje

  • Prototyping of Concurrent Control Systems Implemented in FPGA Devices (book), Springer International Publishing, 2017, BibTeX, DOI
  • Design of multi-context reconfigurable logic controllers implemented in FPGA devices oriented for further partial reconfiguration,
       Journal of Circuits, Systems, and Computers, 2018, BibTeX, DOI
  • Dynamic Partial Reconfiguration of Concurrent Control Systems Implemented in FPGA Devices,
        IEEE Transactions on Industrial Informatics, 2017, BibTeX, DOI
  • Design and verification of real-life processes with application of Petri nets,
        IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2017, BibTeX, DOI
  • Prototyping of Concurrent Control Systems with Application of Petri Nets and Comparability Graphs,
        IEEE Transactions on Control Systems Technology, 2017, BibTeX, DOI
  • On state machine decomposition of Petri nets (book chapter), Cambridge Scholar Publishing, 2014, BibTeX
  • Theoretical aspects of Petri nets decomposition based on invariants and hypergraphs (book chapter), Springer-Verlag, 2014, BibTeX
  • Design of microprogrammed controllers to be implemented in FPGAs,
        International Journal of Applied Mathematics and Computer Science, 2011, BibTeX
  • Synthesis of compositional microprogram control units for programmable devices (book), UZ Press, 2009, BibTeX
  • Benefits of hardware accelerated simulation, Int. Conf. on DESDes, UZ Press, 2001, BibTeX

    • Pełna lista publikacji