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
woernWkr5∂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

Modeling and verification of a robotic surgical system using hybrid input/output automata

AutorM. Capiluppi, L. Schreiter, P. Fiorini, J. Raczkowsky, and H. Woern
Jahr2013
Veröffentlicht in12th International Conference - European Control Conference
KurzfassungThe area of robotic surgical systems has to deal with several important safety aspects to ensure that the patient and the Operating Room staff are safe. A robotic surgical system has to fulfill specific safety requirements and to ensure that the system reacts like its specification. To this end, a verification process is necessary. In this paper an architecture for robotic surgery is modelled using the framework of Hybrid Input/Output Automata (HIOAs). A case study based on a surgical robotic operation scenario is presented and modelled using HIOAs. Exploiting the modularity and compositionality theory of HIOAs, the verification of the system is performed
Bibtex@inproceedings{ ipr_1170857435, author = "{M. Capiluppi and L. Schreiter and P. Fiorini and J. Raczkowsky and and H. Woern}", title = "{Modeling and verification of a robotic surgical system using hybrid input/output automata}", year = "2013", booktitle = "{12th International Conference - European Control Conference}", pages = "4238--4243", }
zurück zur Publikationsübersicht