Provably safe motion of mobile robots in human environments SB Liu, H Roehm, C Heinzemann, I Lütkebohle, J Oehlerking, M Althoff 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2017 | 83 | 2017 |
Effortless creation of safe robots from modules through self-programming and self-verification M Althoff, A Giusti, SB Liu, A Pereira Science Robotics 4 (31), eaaw1924, 2019 | 71 | 2019 |
Optimizing performance in automation through modular robots SB Liu, M Althoff 2020 IEEE International Conference on Robotics and Automation (ICRA), 4044-4050, 2020 | 30 | 2020 |
Reachset Conformance of Forward Dynamic Models for the Formal Analysis of Robots SB Liu, M Althoff 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2018 | 21 | 2018 |
Sara: A tool for safe human-robot coexistence and collaboration through reachability analysis SR Schepp, J Thumm, SB Liu, M Althoff 2022 International Conference on Robotics and Automation (ICRA), 4312-4317, 2022 | 13 | 2022 |
Guarantees for real robotic systems: Unifying formal controller synthesis and reachset-conformant identification SB Liu, B Schürmann, M Althoff IEEE Transactions on Robotics 39 (5), 3776-3790, 2023 | 12* | 2023 |
Interval-arithmetic-based robust control of fully actuated mechanical systems A Giusti, SB Liu, M Althoff IEEE Transactions on Control Systems Technology 30 (4), 1525-1537, 2021 | 12 | 2021 |
Online Verification of Impact-Force-Limiting Control for Physical Human-Robot Interaction SB Liu, M Althoff 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2021 | 11 | 2021 |
Interval-Arithmetic-Based Trajectory Scaling and Collision Detection for Robots with Uncertain Dynamics M Wagner, S Liu, A Giusti, M Althoff 2018 Second IEEE International Conference on Robotic Computing (IRC), 41-48, 2018 | 11 | 2018 |
Velocity Estimation of Robot Manipulators: An Experimental Comparison SB Liu, A Giusti, M Althoff IEEE Open Journal of Control Systems 2, 1-11, 2022 | 7 | 2022 |
Anti-Collision Safety Measures for a Modular Robot SB Liu, M Althoff US Patent App. 17/283,779, 2021 | | 2021 |