Max Robotics — Global Service Robot Directory + US Certification

About

Sebastian Ebert is a researcher advancing the frontiers of model-driven engineering for verifiable robotic systems. His primary research areas include formal verification, distributed systems, and human-robot collaboration, with a particular focus on bridging the gap between conceptual models and runtime implementations. Ebert’s most significant contributions center on the development of DiNeROS, a model-driven framework that leverages distributed Petri nets to enable formal verification of ROS (Robot Operating System) applications. This work, published in 2024 with 7 citations, addresses the critical challenge of verifying industrial robotic systems that are often defined solely by their implementation rather than verifiable models. His related 2023 paper on DiNeROS (6 citations) further establishes this framework as a practical solution for ensuring correctness in distributed, heterogeneous robotic environments. Beyond verification, Ebert has explored conceptual model synchronization using relational reference attribute grammars (2020, 2 citations) and incremental causal connections for self-adaptive systems (2022, 2 citations). His work on human-robot cohabitation in industry (2021, 2 citations) demonstrates a broader interest in safe and effective human-robot interaction. Through these contributions, Ebert is helping to make industrial robotics more reliable, verifiable, and adaptable to real-world deployment challenges.