Lukas Dust, Doctoral student


Ph.D. student in electronics focusing on formel verification and scalability in multi-agent robot systems. M.Sc. Computer Science in intelligent embedded systems (MDU). B.Eng. Electrical Engineering in industrial computer science/automation technologies (FH SWF, Germany). Six years of corporative studies in automotive industries with HELLA GmbH & Co. KGaA (Forvia). Further past employments and internships at Amazone (agriculture technology), Infineon (semiconductors), and Miba AG (automotive bearings).

With scalability of multi-agent robotic systems in mind, my current research strives towards facilitating the assured design of ROS 2-based task scheduling of distributed robotic systems by employing formal methods.To introduce and facilitate the use of formal methods in robotics, I currently focus on model-based verification approaches with pattern-based verification.

[Show all publications]

Latest publications:

Pattern-Based Verification of ROS 2 Nodes using UPPAAL (Sep 2023)
Lukas Dust, Rong Gu, Cristina Seceleanu, Mikael Ekström, Saad Mubeen
FMICS 2023 - International Conference on Formal Methods for Industrial Critical Systems (FMICS 2023)

Experimental Evaluation of Callback Behavior in ROS 2 Executors (Sep 2023)
Lukas Dust, Emil Persson, Mikael Ekström, Saad Mubeen, Cristina Seceleanu, Rong Gu
28th International Conference on Emerging Technologies and Factory Automation (ETFA 2023)

Federated fuzzy learning with imbalanced data (Dec 2021)
Lukas Dust, Marina López Murcia, Petter Nordin , Andreas Mäkilä , Ning Xiong, Francisco Herrera
IEEE Conference on Machine Learning and Applications 2021 (ICMLA'21)

Quantitative analysis of communication handling for centralized multi-agent robot systems using ROS2
Lukas Dust, Emil Persson, Mikael Ekström, Saad Mubeen, Emmanuel Dean
2022 IEEE 20th International Conference on Industrial Informatics (INDIN) (INDIN'22)