Home | english  | Impressum | KIT
Photo von Heinz Wörn

Prof. Dr.-Ing. Dr. h.c. Heinz Wörn

Professor im Ruhestand
Tel.: +49 721 608-44006
Fax: +49 721 608-47141
woernRdb4∂kit edu


Zur Person

Professor Wörn studierte Elektrotechnik an der Universität Stuttgart und promovierte dort am Institut für Werkzeugmaschinen mit seiner Arbeit zu dem Thema "Mehrprozessorsteuerungssystem für Werkzeugmaschinen mit standartisierten Schnittstellen". Im Anschluss arbeitete er bei KUKA Schweißanlagen und Roboter GmbH, wo er eine leitende Stellung in Forschung und Entwicklung inne hatte. Professor Wörn ist ein international anerkannter Experte für Roboter und Automation. Seine Erfahrung umfasst Roboteranwendungen, Robotersteuerungen und Sensoren für Roboter, sowie deren Programmmierung und Simulation. Seit 1997 leitet er das Institut für Prozessrechentechnik, Automation und Robotik der Universität Karlsruhe als Professor für "Komplexe Systeme in Automation und Robotik".

Forschungsgebiete

  • Planung, Programmierung, Steuerung, Diagnose und Sensorsysteme für Industrieroboter
  • Autonome, mobile Roboter, Mikroroboter, Serviceroboter, Teleroboter, Autonome Fahrzeuge
  • Planung und Simulation von Anlagen und Fabriken
  • Roboter- und sensorgestützte Chirurgie
  • Mikromontage
  • Modellierung komplexer Systeme in Produktion und Medizin

A Concept for Multi-Phase Incremental Formal Verification in Robotic Guided Surgery

AutorMattias Ulbrich, Luzie Schreiter, Sarah Grebing, Jörg Raczkowsky, Heinz Wörn and Bernhard Beckert
Jahr2015
Veröffentlicht inFourth International Workshop on Formal Techniques for Safety-Critical Systems
Editorhttp://www.ftscs.org/index.php?n=Conference.AcceptedPapers
KurzfassungThis work-in-progress paper outlines the concepts of an approach for the formal verification of robotic guided surgery interventions at three different stages of the procedure. The central idea is that complex modelling and verification tasks are performed preclinically during component design yielding simpler safety conditions that can be checked more efficiently shortly before or during the intervention. A simplified example is presented to illustrate this central idea. See, URL: http://www.ftscs.org/index.php?n=Conference.AcceptedPapers
Bibtex@inproceedings{ ipr_1170857551, author = "{Mattias Ulbrich and Luzie Schreiter and Sarah Grebing and J{{\"o}}rg Raczkowsky and Heinz W{{\"o}}rn and Bernhard Beckert}", title = "{A Concept for Multi-Phase Incremental Formal Verification in Robotic Guided Surgery}", year = "2015", booktitle = "{Fourth International Workshop on Formal Techniques for Safety-Critical Systems}", pages = "Forthcoming", editor = "http://www.ftscs.org/index.php?n=Conference.AcceptedPapers", }
zurück zur Publikationsübersicht