All Stories

  1. Initial verification of liveness property in the control part of cyber-physical systems modelled by Petri nets

    Article • January 2024, American Institute of Physics

    Dr Grzegorz Bazydlo

  2. Preface of the “Symposium on Control of Cyber-Physical Systems”

    Article • January 2022, American Institute of Physics

    Dr Grzegorz Bazydlo, Tomasz Rudnicki

  3. Reachability tree in liveness analysis of Petri net-based cyber-physical systems

    Article • January 2022, American Institute of Physics

    Dr Grzegorz Bazydlo

  4. Safeness analysis of Petri net-based cyber-physical systems based on the linear algebra and parallel reductions

    Article • January 2022, American Institute of Physics

    Dr Grzegorz Bazydlo

  5. Preface of the “Symposium on Logic Synthesis and Control Systems”

    Article • January 2021, American Institute of Physics

    Dr Grzegorz Bazydlo

  6. Dynamic partial reconfiguration of logic controllers implemented in FPGAs

    Article • September 2016, SPIE

    Dr Grzegorz Bazydlo