Home | english  | Impressum | Datenschutz | Sitemap | KIT

Kontakt
Karlsruher Institut für Technologie
Lehrstuhl für Interaktive Echtzeitsysteme

Prof. Dr.- Ing. Jürgen Beyerer
c/o Technologiefabrik
Haid-und-Neu-Str. 7
76131 Karlsruhe

Tel:  +49 721 - 608 45910

Willkommen am Lehrstuhl für Interaktive Echtzeitsysteme

IES

Prof. Dr.-Ing. J. Beyerer

Aktuell

 

Klausur Automatische Sichtprüfung und Bildverarbeitung

Eine Klausureinsicht kann aufgrund des Coronavirus aktuell nicht stattfinden.

Klausur Mensch-Maschine-Wechselwirkung

Achtung: Die zunächst auf den 16. April 2020 verlegte Prüfung kann wegen der vorläufigen Aussetzung des Studienbetriebs am KIT an dem genannten Termin leider nicht stattfinden. Ein Ersatztermin kann in der momentan unsicheren Lage noch nicht verlässlich geplant werden. Falls Sie sich bereits zur Prüfung angemeldet haben, werden Sie per E-Mail informiert werden, sobald ein Ersatztermin in Aussicht steht. Sollten Sie sich noch nicht angemeldet, aber Interesse an der Prüfung haben, schreiben Sie bitte ein E-Mail an mmwab@iosb.fraunhofer.de. Der bisherige Nachholtermin 29. Juli bleibt bis auf Weiteres bestehen.

  • Schriftlich: Prüfungsdauer 60 Minuten, Gesamtdauer 90 Minuten
  • Ort: Gaede-Hoersaal
  • Termine:
    • 16. April 2020, 11 Uhr entfällt; Ersatztermin wird bekanntgegeben, sobald er geplant werden kann 
    • 29. Juli 2020, 11 Uhr (Nachholtermin, Anmeldung über Campus-Management bis 22. Juli)

Probabilistiche Planung

Bitte beachten Sie, dass die Vorlesung Probabilistische Planung nicht länger angeboten wird. Die Unterlagen zur letzten Vorlesungsreihe finden sie hier.

Neue Adresse

Der Lehrstuhl ist an einen neuen Standort in der Technologiefabrik umgezogen.

Lehrbuch zur Mustererkennung

Am 11. Dezember 2017 erschien das Lehrbuch "Beyerer, Richter, Nagel: Pattern Recognition: Introduction, Features, Classifiers and Principles". Weitere Information finden Sie auf der Seite des De Gruyter Verlags.

Vorlesungsangebot
Das Vorlesungsangebot des Lehrstuhls finden Sie hier.

Lehrbuch zur Automatischen Sichtprüfung
Am 30. September 2012 erschien das Lehrbuch "Beyerer, Puente León, Frese: Automatische Sichtprüfung, Grundlagen, Methoden und Praxis der Bildgewinnung und Bildauswertung". Weitere Information finden Sie auf der Lehrbuch-Seite oder auf der Seite vom Springer-Verlag.

Karlsruher Zentrum für Materialsignaturen
Der Lehrstuhl für Interaktive Echtzeitsysteme hat sich mit anderen Instituten des KIT und dem Fraunhofer IOSB zum Karlsruher Zentrum für Materialsignaturen KCM zusammengeschlossen. Weitere Informationen finden Sie auf der Seite des KCM.

Bachelor-, Master-, Studien- und Diplomarbeiten zu vergeben: Weitere Informationen finden Sie hier.

 
 
Vermeidung von Deadlocks im Kontext flexibler Robotik und Cyber-Physical Systems
Typ:

Studien-/ Diplom- oder Masterarbeit

Links:
Betreuer:

Dipl.-Wirt.-Ing. Julius Pfrommer

Status:

abgeschlossen

Abgabedatum:

Juni 2014

Hintergrund

Die Gruppe Leitsysteme und Anlagenmodellierung in der Abteilung Informationsmanagement und Leittechnik (ILT) am Fraunhofer IOSB beschäftigt sich mit der Modellierung und Steuerung von Produktionsanlagen in der herstellenden Industrie.

Im Zuge aktueller Forschung an Cyber-Physical Systems in der Produktion werden am Fraunhofer IOSB hochflexible Fertigungsanlagen der Zukunft entwickelt. Diese können kurzfristig auf veränderte Bedingungen (Auftragslage, Ausfall von Maschinen, ...) reagieren. Produktionsprozesse sind demnach nicht mehr fest vordefiniert. Stattdessen wird ausgehend von den Fähigkeiten von Anlagenkomponenten die „Route“ einzelner Produkte innerhalb der Anlage individuell generiert und bleibt auch noch zur Laufzeit veränderlich.

Soll diese Planung nicht nur für ein einzelnes Produkt, sondern für viele parallel ablaufende Vorgänge geschehen, erhöht sich der Planungsaufwand erheblich. Ein Ansatz ist es Teilprobleme getrennt zu lösen und mit überschaubaren Leistungseinbußen in eine Gesamtlösung zu integrieren. Es ist dabei zu vermeiden, dass durch emergent entstehendes Verhalten des Gesamtsystems Deadlocks (Verklemmungen) ausgelöst werden. Diese können nur durch einen externen Eingriff behoben werden und würden den Produktionsbetrieb erheblich stören. In der Analyse des Verhaltens flexibler Produktionsanlagen ist ein grundlegendes Problem die Explosion der Anzahl möglicher Systemzustände (bis über 10^100 in praktischen Anwendungen). Hier stehen Methoden aus der Symbolischen Modellprüfung zur Verfügung um auch ohne Enumeration einzelner Zustände formale Aussagen über das Gesamtsystem zu treffen.

Aufgabenstellung

Im Zuge dieser Arbeit soll ein existierendes Verfahren zur Symbolischen Modellprüfung implementiert und auf ein praxisnahes Beispiel angewendet werden. Der zu entwickelnde Klassifikator unterscheidet zwischen ungefährlichen Zuständen eines Produktionssystems und Solchen, die unweigerlich zu einem ungewünschten Verhalten (Verklemmung) führen.

Wir bieten

... die Möglichkeit einer interessanten und praxisrelevanten Abschlussarbeit mit intensiver Betreuung, eine moderne Hardware- und Softwareausstattung sowie eine angenehme Arbeitsatmosphäre in einem kreativen Team von jungen Mitarbeitern.

Voraussetzungen

Das Angebot richtet sich Studenten der Informatik, Elektrotechnik, Regelungstechnik, Maschinenbau, Wirtschaftsingenieurwesen/-Informatik oder verwandte Studiengänge. Gesucht werden

  • Bereitschaft sich in neue Themengebiete einzuarbeiten und Freude am Einbringen eigener Ideen
  • Ausgeprägte analytische Fähigkeiten
  • Praktische Programmiererfahrung

Ansprechpartner

Dipl.-Wirt.-Ing. Julius Pfrommer
KIT, Lehrstuhl für Interaktive Echtzeitsysteme
Adenauerring 4, 76131 Karlsruhe
E-Mail: julius.pfrommer@kit.edu
Tel.: 0721 6091-286