8 citations · 21 across the 10 of their papers we have counts for
3 papers · 1 filter
Holistic Construction Automation with Modular Robots: From High-Level Task Specification to Execution
Jonathan Külz, Michael Terzer, Marco Magri +2
In situ robotic automation in construction is challenging due to constantly changing environments, a shortage of robotic experts, and a lack of standardized frameworks bridging rob…
Automatic Geometric Decomposition for Analytical Inverse Kinematics
Daniel Ostermeier, Jonathan Külz, Matthias Althoff
Calculating the inverse kinematics (IK) is a fundamental challenge in robotics. Compared to numerical or learning-based approaches, analytical IK provides higher efficiency and acc…
Reachset-Conformant System Identification
Laura Lützow, Matthias Althoff
Formal verification techniques play a pivotal role in ensuring the safety of complex cyber-physical systems. To transfer model-based verification results to the real world, we requ…