The research is focused on the modeling, analysis, and design of cyber-physical systems (CPSs) specified by a Petri net. In particular, manufacturing systems, concurrent control systems, and discrete event systems are considered. The main goal of the research is to develop effective and efficient modeling and analysis techniques, where efficiency means obtaining results in the assumed time, and effectiveness refers to the correct results.
The performed research is oriented towards real-life production systems, implemented as an integrated system or as a distributed system. Integrated systems are mainly implemented with FPGA devices, also including static and dynamic partial reconfiguration possibilities. Distributed systems are mostly oriented towards realization within microcontrollers (e.g., Arduino, Raspberry Pi, etc.).
The research is conducted in collaboration with leading universities all over the world, including the University of California, Berkeley (USA), Universidade Nova de Lisboa (Portugal), the ew Jersey Institute of Technology, Newark (USA), and Xidian University (China). The tangible results of the research can be found on the website tools that support the design and analysis of Petri net-based systems: https://www.hippo.uz.zgora.pl.
The research is related to the following scientific projects:
- Analysis and decomposition of a control part of a cyber-physical system specified by an interpreted Petri net, OPUS project financed by the National Science Centre (NCN) in Poland, 2020-2024, leader: Assoc. Prof. Remigiusz Wiśniewski, Ph.D., D.Sc.
- Modelling of a control part of the cyber-physical system specified by UML state machine diagram (A research internship at the University of California, Berkeley), MINIATURA project financed by the National Science Centre in Poland (NCN), 2022, leader: Asst. Prof. Grzegorz Bazydło, Ph.D.
- Modelling of cyber-physical systems specified by an interpreted Petri net (An internship at UC Berkeley), MINIATURA project financed by the National Science Centre in Poland (NCN), 2019, leader: Assoc. Prof. Remigiusz Wiśniewski, Ph.D., D.Sc.
