Declarative Models of Concurrent Cyclic Processes

Grzegorz Bocewicz is an Associate Professor at the Faculty of Electronics and Computer Science of Koszalin University of Technology in Poland. He obtained an M.Sc. in Telecommunications from the Koszalin University of Technology, Poland, and Ph.D. and D.Sc. degrees in Computer Sciences from the Wrocław University of Technology, Poland in 2006, 2007, and 2014, respectively. From 2016-2022 he was a Dean of the Faculty of Electronics and Computer Science of Koszalin University of Technology. Currently, he is the head of the Department of Computer Science and Management. His research interests include the modeling and design of decision support systems, methods of advanced planning and scheduling, constraints programming techniques, modeling and analyzing of systems of concurrent cyclic processes, operational research techniques, artificial intelligence methods, theory of dynamic discrete event systems, and projects portfolio prototyping under uncertain constraints.He hassupervised/co-supervised five Ph.D. theses in the domains of computer science, automation, and management. As an author, co-author, or editor, he has published over 60 journal articles, three books, 40 chapters in books, and 50 peer-reviewed conference papers. He has delivered oral presentations of 60 papers submitted to Polish and international conferences. He is a Fellow of two IFAC Technical Committees (TC 5.1 - Manufacturing Plant Control, and TC 5.2 - Management and Control in Manufacturing and Logistics) and the Polish Association for Measurements, Automatics, and Robotics - POLSPAR. The result of his scientific activity is also cooperation with many universities (i.e., Aalborg University, Wrocław University of Science and Technology) and participation in many scientific projects (funded by the European Commission, National Science Center, and Koszalin University of Technology).

• 1.Concurrent cyclic processes.- 2 Performance modeling.- 3 Cyclic steady states reachability.- 4 Modeling the uncertainty of concurrent cyclic processes.- 5 Summary.- References.