Stefan Liu, M.Sc.

Stefan Liu is currently research assistant and PhD student under the supervision of Prof. Dr.-Ing. Matthias Althoff since 2017. He holds a bachelor's degree in Mechatronics and a master's degree in Robotics, Cognition, Intelligence from the Technical University of Munich (TUM).

Boson Stefan Liu, M.Sc.

Informatics 6 - Chair of Robotics, Artificial Intelligence and Real-time Systems (Prof. Knoll)

Postal address

Postal:
Boltzmannstr. 3
85748 Garching b. München

Research interest

Formal methods in robotics
Safety of human-robot interaction
Model identification and conformance checking

Further interest: modular robotics, reachability analysis, human-robot collaboration, mobile robots, control theory, modelling & simulation

Currently, Stefan Liu is involved in the following research project:

BeRo (ZIM)
CONCERT (EU)

Offered Theses

The following theses topics are recommended especially towards students of Robotics, Cognition, Intelligence; Informatics; Mechanical engineering; Electrical engineering.

[MA]: Safe motion planning for human-robot interaction through temporal logic (contact: stefan.liu@tum.de)

Teaching assistant

Cyber-Physical Systems (IN2305); since SS 2018
Formal Methods for Cyber-Physical Systems (IN2383); since WS 2020/21
Seminar Cyber-physical Systems; since WS 2017/18
Master-Praktikum Building a modular robot; since WS 2017/18

Publications

2021

Giusti, A.; Liu, S. B.; Althoff, M.: Interval-Arithmetic-Based Robust Control of Fully Actuated Mechanical Systems. IEEE Transactions on Control Systems Technology, 2021, 1-13 more… BibTeX Full text ( DOI ) Full text (mediaTUM)
Liu, S. B.; Althoff, M.: Online Verification of Impact-Force-Limiting Control for Physical Human-Robot Interaction. 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2021, 754-760 more… BibTeX Full text (mediaTUM)

2020

Liu, S. B.; Althoff, M.: Optimizing performance in automation through modular robots. IEEE International Conference on Robotics and Automation, 2020 more… BibTeX Full text ( DOI ) Full text (mediaTUM)

2019

Althoff, M.; Giusti, A.; Liu, S. B.; Pereira, A.: Effortless creation of safe robots from modules through self-programming and self-verification. Science Robotics 4 (31), 2019, eaaw1924 more… BibTeX Full text ( DOI ) Full text (mediaTUM)

2018

Liu, S. B.; Althoff, M.: Reachset Conformance of Forward Dynamic Models for the Formal Analysis of Robots. Proc. of the 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2018 more… BibTeX Full text ( DOI ) Full text (mediaTUM)
Wagner, M.; Liu, S. B.; Giusti, A.; Althoff, M.: Interval-Arithmetic-Based Trajectory Scaling and Collision Detection for Robots with Uncertain Dynamics. Proc. of the IEEE International Conference on Robotic Computing, 2018 more… BibTeX Full text ( DOI ) Full text (mediaTUM)

2017

Liu, S. B.; Roehm, H.; Heinzemann, C.; Lütkebohle, I.; Oehlerking, J.; Althoff, M.: Provably Safe Motion of Mobile Robots in Human Environments. Proc. of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2017 more… BibTeX Full text ( DOI ) Full text (mediaTUM)