Bart Wesselink
Papers
1
Total Citations
2
H-Index
1
About
Bart Wesselink is a researcher at the forefront of formal methods and robotics, with a primary focus on supervisory control theory and domain-specific languages for autonomous systems. His most notable contribution is the development of **RoboSC**, a domain-specific language that bridges the gap between supervisory control theory and the Robot Operating System (ROS/ROS2). This work, published in 2023, enables roboticists to model and synthesize supervisory controllers without deep expertise in formal verification, streamlining the creation of safe and reactive robot behaviors. While his citation count is still growing—with his flagship paper garnering 2 citations—the impact of RoboSC lies in its practical utility for the ROS community, offering a structured approach to controller synthesis that reduces manual coding errors. Wesselink’s research is particularly valuable for students and engineers seeking to integrate formal guarantees into real-world robotic applications, making complex control theory accessible through intuitive modeling. As the field of autonomous systems demands greater reliability, his work positions him as a key contributor to safer, more verifiable robotic software.
Research Focus
Key Achievements
Top Papers
- 1