Wissenschaftliche Publikationen
Liste als BibTeX-Datei exportieren
2013
- Relation between object properties and EMG during reaching to grasp Journal of Electromyography and Kinesiology, 23(2):402–410, 2013. Details DOI BIB
- Robot Task and Motion Planning with Sets of Convex Polyhedra In Robotics: Science and Systems (RSS) Workshop on Combined Robot Motion Planning and AI Planning for Practical Applications, 2013. Details BIB
- Robot Task Planning with Contingencies for Run-time Sensing In Proceedings of the Workshop on Combining Task and Motion Planning, IEEE International Conference on Robotics and Automation (ICRA), 2013. Details BIB
- Robots Driven by Compliant Actuators: Optimal Control under Actuation Constraints IEEE Transactions on Robotics, 99(5):, 2013. Details DOI BIB
- Separating Movement and Gravity Components in an Acceleration Signal and Implications for the Assessment of Human Daily Physical Activity PLoS ONE, 8(4):1-10, 2013. Details URL BIB
- Synthesizing Controllers for Automation Tasks with Performance Guarantees In Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings, Seiten 154–159, 2013. Details URL DOI BIB
- System requirements in industrial automation In Industrial Informatics (INDIN), 2013 11th IEEE International Conference on, Seiten 572-577, 2013. Details DOI BIB
- Task Dependency of Grip Stiffness—A Study of Human Grip Force and Grip Stiffness Dependency during Two Different Tasks with Same Grip Forces Plos ONE, ():, 2013. Details DOI BIB
- The Introduction of a New Robot for Assistance in Ophthalmic Surgery In 35th Annual International Conference of the IEEE Engineering in Medicine and Biology and Biology Society (EMBC'13), 2013. IEEE Press. Details BIB
- Towards a bottom-up development of reference architectures for smart energy systems In Software Engineering Challenges for the Smart Grid (SE4SG), 2013 2nd International Workshop on, Seiten 9–16, 2013. IEEE, Details BIB
- Towards Modular Certification using Integrated Model-Based Safety Cases In Proceedings of the International Workshop on Verification and Assurance (VeriSure 2013) (co-located with CAV), 2013. Springer. Details URL BIB
- Training and evaluation of an MDP model for social multi-user human-robot interaction In Proceedings of the 14th Annual SIGdial Meeting on Discourse and Dialogue, 2013. Details BIB
- TUMsBendingUnits from TU Munich: RoboCup 2012 Logistics League Champion In Xiaoping Chen , Peter Stone , LuisEnrique Sucar und Tijn van der Zant , Editor, RoboCup 2012: Robot Soccer World Cup XVI, Band 7500 von Lecture Notes in Computer Science, Seiten 48-58. Springer Berlin Heidelberg, 2013. Details DOI BIB
- Uncalibrated 3D Stereo Image-based Dynamic Visual Servoing for Robot Manipulators In IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2013. Details BIB
- Using Embodied Multimodal Fusion to Perform Supportive and Instructive Robot Roles in Human-Robot Interaction International Journal of Social Robotics, 5(3):345–356, 2013. Details DOI BIB
- Verification of hierarchical IEC 61499 component systems with behavioral event contracts In Jürgen Gausemeier , Franz Ramming , Wilhelm Schäfer und Ansgar Trächtler , Editor, Industrial Informatics (INDIN), 2013 11th IEEE International Conference on, Seiten 578-585, 2013. Details DOI BIB
- Virtual Whiskers – Highly Responsive Robot Collision Avoidance In Torsten Kröger und Friedrich M. Wahl , Editor, IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2013. Details BIB
2012
- Implementation of an event-based low-level control for mobile robots In Mechatronics and Machine Vision in Practice (M2VIP), 2012 19th International Conference, Seiten 135-140, November 2012. Details URL BIB
- Towards Certified Runtime Verification In Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM 2012), Kyoto, Japan, November 2012. ACM. Details DOI BIB
- A Generic Approach Simplifying Model-to-Model Transformation Chains In Robert France , Jürgen Kazmeier , Ruth Breu und Colin Atkinson , Editor, Model Driven Engineering Languages and Systems, Band 7590 von Lecture Notes in Computer Science, Seiten 579–594. Springer-Verlag, Berlin / Heidelberg, Germany, Oktober 2012. Details DOI BIB