Scientific researches and projects:

  • Modelling of cyber-physical systems with the application of an interpreted Petri net - scientific internship to UC Berkeley
         (grant awarded by the Polish National Science Centre (NCN), No. 2018/02/X/ST6/01861, 2018-2019)
  • Hippo System (concurrent control systems, Petri nets, graphs, hypergraphs, prototyping, analysis, decomposition)
  • Cryptographic portal (tasks, quizzes, riddles, visualisation of algorithms - in Polish)

    • Scientific Special Sections and Sessions:

  • Special section on Cyber-Physical Systems (IEEE Acccess, IF: 3,557)
  • Special session Logic Synthesis and Control Systems 2019 (as a part of the ICCMSE, Grece, Rhodes)
  • Special session Logic Synthesis and Control Systems 2018 (as a part of the ICCMSE, Grece, Thessaloniki)
  • Special session Logic Synthesis and Control Systems 2017 (as a part of the ICCMSE, Grece, Thessaloniki)
  • Special session Logic Synthesis and Control Systems 2016 (as a part of the ICCMSE, Grece, Athens)
  • Special session Design and Analysis of Control Systems 2015 (as a part of the ICCMSE, Grece, Athens)
  • Special session Design and Analysis of Control Systems 2014 (as a part of the IEEE HSI, Portugal, Lisbon)

    • Selected publications:

  • 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

    • List of all publications