alt Holger Täubig

keywords: collision avoidance, safety, IEC 61508, robotics, AGV, industrial robot, humanoid robot

Holger Täubig

I am a researcher at the department for Safe and Secure Cognitive Systems of the German Research Center for Artificial Intelligence (DFKI) and a member of Prof. Udo Frese's Real-time Vision Working Group. The main focus of my current research is 2D and 3D collision avoidance. All of my work at DFKI is somehow or other associated with safety, especially with the design and analysis of safety algorithms in robotics. Further interests are machine learning and algorithm enginering in robotics.

Research

Current Projects:

Previous projects:

Previous Employments:

Contact

E-Mail

holger.taeubig@dfki.de

Tel.

+49-421-218-64271

Fax

+49-421-218-9864271

Address

Cartesium 0.56
Enrique-Schmidt-Straße 5
28359 Bremen

Publications

 2013   2012   2011   2010   2009   2008 


2013     Back to top

Henry Carrillo, Oliver Birbach, Holger Täubig, Berthold Bäuml, Udo Frese, José A. Castellanos (2013). On the Criteria for Configurations Selection in Robot Calibration. In Proceedings of the IEEE International Conference on Robotics and Automation (ICRA 2013), Karlsruhe, Germany, pp. 3638–3644.   detail   pdf

2012     Back to top

Holger Täubig, Udo Frese (2012). A New Library for Real-time Continuous Collision Detection. In Proceedings of the 7th German Conference on Robotics (ROBOTIK 2012), pp. 108–112. VDE.   detail     www   pdf
Holger Täubig, Berthold Bäuml, Udo Frese (2012). Real-time Continuous Collision Detection for Mobile Manipulators - A General Approach. In Proceedings of the IEEE-RAS International Conference on Humanoid Robots (HUMANOIDS 2012), Osaka, Japan. IEEE.   detail     www   pdf
Holger Täubig, Udo Frese, Christoph Hertzberg, Christoph Lüth, Stefan Mohr, Elena Vorobev, Dennis Walter (2012). Guaranteeing Functional Safety: Design for Provability and Computer-Aided Verification. In Autonomous Robots, 32 (3), pp. 303–331.   detail   pdf

2011     Back to top

Alexander Dietrich; Thomas Wimböck; Holger Täubig; Alin Albu-Schäffer; Gerd Hirzinger (2011). Extensions to Reactive Self-Collision Avoidance for Torque and Position Controlled Humanoids. In Proceedings of the IEEE International Conference on Robotics and Automation (ICRA-11), May 9-13, Shanghai, China. IEEE.   detail
Holger Täubig, Berthold Bäuml, Udo Frese (2011). Real-time Swept Volume and Distance Computation for Self Collision Detection. In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2011), San Francisco, California, USA. IEEE. (Best Student Paper Award Finalist).   detail   pdf

2010     Back to top

Dennis Walter, Holger Täubig, Christoph Lüth (2010). Experiences in Applying Formal Verification in Robotics. In Schoitsch, Erwin (Eds.), 29th Int. Conf. on Computer Safety, Reliability and Security (SAFECOMP 2010), Vol. 6351, pp. 347–360, Lecture Notes in Computer Science. Springer.   detail   pdf

2009     Back to top

Udo Frese, Holger Täubig (2009). Verfahren zur Vermeidung von Kollisionen gesteuert beweglicher Teile einer Anlage. No. RR-09-01. Deutsches Forschungszentrum für Künstliche Intelligenz, Robert-Hooke-Straße 5, 28359 Bremen. Technischer Report RR-09-01.   detail   pdf
Udo Frese, Daniel Hausmann, Christoph Lüth, Holger Täubig, Dennis Walter (2009). The Importance of Being Formal. In M. Huhn, H. Hungar (Eds.), Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems. International Workshop on Certification of Safety-Critical Software Controlled Systems (SafeCert-08), located at ETAPS'08, March 29, Budapest, Hungary, 238 (4), pp. 57–70, Electronic Notes in Theoretical Computer Science. Elsevier Science.   detail   pdf

2008     Back to top

Christoph Lüth, Udo Frese, Holger Täubig, Dennis Walter, Daniel Hausmann (2008). SAMS Sicherheitskomponente für Autonome Mobile Serviceroboter. In Proc. ROBOTIK 2008, Vol. 2012, VDI-Berichte. VDI-Verlag.   detail   pdf
Udo Frese, Daniel Hausmann, Christoph Lüth, Holger Täubig, Dennis Walter (2008). Zertifizierung einer Sicherungskomponente mittels durchgängig formaler Modellierung. In Software Engineering 2008, Lecture Notes in Informatics. GI.   detail   pdf
      Show selected entries in BibTex Format