Embedded Intelligence

Page 1 of 2.

1. Henry Carrillo; Oliver Birbach; Holger Täubig; Berthold Bäuml; Udo Frese; José A. Castellanos

   On the Criteria for Configurations Selection in Robot Calibration

   In: Proceedings of the IEEE International Conference on Robotics and Automation. IEEE International Conference on Robotics and Automation (ICRA-13), May 6-10, Karlsruhe, Germany, Pages 3638-3644, IEEE, 5/2013.

2. Holger Täubig; Udo Frese; Christoph Hertzberg; Christoph Lüth; Stefan Mohr; Elena Vorobev; Dennis Walter

   Guaranteeing Functional Safety: Design for Provability and Computer-Aided Verification

   In: Autonomous Robots, Vol. 32, No. 3, Pages 303-331, Springer, 4/2012.

3. Holger Täubig; Udo Frese

   A New Library for Real-time Continuous Collision Detection

   In: Proceedings of the 7th German Conference on Robotics. German Conference on Robotics (ROBOTIK-2012), May 21-22, Munich, Germany, Pages 108-112, VDE, 2012.

4. Holger Täubig; Berthold Bäuml; Udo Frese

   Real-time Continuous Collision Detection for Mobile Manipulators - A General Approach

   In: Proceedings of the IEEE-RAS International Conference on Humanoid Robots. IEEE-RAS International Conference on Humanoid Robots (Humanoids-12), Humanoids and Humans: Towards A New Frontier, November 29 - December 1, Osaka, Japan, IEEE, 2012.

5. Holger Täubig; Berthold Bäuml; Udo Frese

   Real-time Swept Volume and Distance Computation for Self Collision Detection

   In: Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems. IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS-11), September 25-30, San Francisco, CA, USA, IEEE, 9/2011.

6. Alexander Dietrich; Thomas Wimböck; Holger Täubig; Alin Albu-Schäffer; Gerd Hirzinger

   Extensions to Reactive Self-Collision Avoidance for Torque and Position Controlled Humanoids

   In: Proceedings of the International Conference on Robotics and Automation. IEEE International Conference on Robotics and Automation (ICRA-11), May 9-13, Shanghai, China, IEEE, 5/2011.

7. Dennis Walter; Holger Täubig; Christoph Lüth

   Experiences in Applying Formal Verification in Robotics

   In: SafeComp 2010 --- 29th International Conference on Computer Safety, Reliability and Security, Proceedings. International Conference on Computer Safety, Reliability and Security (SAFEComp-2010), September 14-17, Vienna, Austria, Pages 347-360, Lecture Notes in Computer Science (LNCS), Vol. 6351, Springer, 2010.

8. Udo Frese; Holger Täubig

   Verfahren zur Vermeidung von Kollisionen gesteuert beweglicher Teile einer Anlage

   Deutsches Forschungszentrum für Künstliche Intelligenz, Robert-Hooke-Straße 5, 28359 Bremen. Research Report, Vol. RR0901, 2009.

9. Udo Frese; Holger Täubig

   Verfahren zur Vermeidung von Kollisionen gesteuert beweglicher Teile einer Anlage

   DFKI, DFKI Research Reports (RR), Vol. 09-01, 2009.

10. Udo Frese; Daniel Hausmann; Christoph Lüth; Holger Täubig; Dennis Walter

    The Importance of Being Formal

    In: M. Huhn; H. Hungar (Hrsg.). 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, Pages 57-70, Vol. 238, No. 4, Elsevier B.V. 2009.

• 1
• 2