Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Institution

Druckansicht

Technische Universität München
Fakultät für Informatik
Lehrstuhl VI: Robotik, Künstliche Intelligenz und Echtzeitsysteme

Adresse Boltzmannstraße 3
85748 Garching
Deutschland

GERiT Diese Institution in GERiT

85748 Garching

Projekte

Sachbeihilfen
- laufende Projekte
  - Absicherung von künstlicher Intelligenz in Energiesystemen
    (Antragsteller Althoff, Matthias )
  - Automatische Testfallerstellung für autonome Fahrzeuge
    (Antragsteller Althoff, Matthias )
  - Formale Verifikation von analoger AI-Hardware (FAI)
    (Antragsteller Althoff, Matthias ; Hedrich, Lars ; Olbrich, Markus )
  - Pop-Up-Automatisierung von Produktionsprozessen
    (Antragsteller Althoff, Matthias )
  - Sichere Mensch-Roboter-Interaktion mittels maschinellem Lernen und Erreichbarkeitsanalyse
    (Antragsteller Althoff, Matthias )
  - Skalierbare Reglersynthese mit formalen Garantien
    (Antragsteller Althoff, Matthias )
  - Verkehrsregelbewusste Erreichbarkeitsanalyse für die Bewegungsplanung von automatisierten Fahrzeugen
    (Antragsteller Althoff, Matthias )
- abgeschlossene Projekte
  - Analyse und Synthese von robust geregelten Smart-Grid-Systemen
    (Antragsteller Althoff, Matthias ; Stursberg, Olaf )
  - Analyse von Wirkungszusammenhängen bei der Medikamentenentwicklung
    (Antragsteller Lengauer, Thomas )
  - Co-Design von Erreichbarkeitsanalyse und Trajektorienplanung für Kollisionsvermeidungssysteme
    (Antragsteller Althoff, Matthias )
  - Defect formation and anode/cathode relationships in underfilm corrosion of heterogeneous aluminium alloys
    (Antragsteller Schneider, Ph.D., Oliver )
  - Formalisierung und Analyse von Verkehrsregeln
    (Antragsteller Althoff, Matthias ; Hilgendorf, Eric ; Nipkow, Ph.D., Tobias )
  - Grenzflächeneigenschaften und Lokalkorrosion photolithographisch strukturierter Al-Cu-Legierungen
    (Antragsteller Schneider, Ph.D., Oliver )
  - Konzeptbasiertes Retrieval und Informationsfusion in heterogenen Dokumentbeständen
    (Antragsteller Knoll, Alois )
  - Robotisch unterstützte Rehabilitation der Funktion der menschlichen Hand unter Verwendung eines dynamischen Modells beim komplexen regionalen Schmerzsyndrom (CRPS)
    (Antragsteller Burgkart, Rainer ; Lenz, Alexander )
Forschungsgruppen
- abgeschlossene Projekte
Sonderforschungsbereiche
- laufende Projekte
  - Konsistenz von datendefinierten Modellen
    (Teilprojektleiter Althoff, Matthias ; Platzer, André )
  - Konsistenz von hybriden/kontinuierlichen Modellen
    (Teilprojektleiter Althoff, Matthias ; Platzer, André ; Pretschner, Alexander )
- abgeschlossene Projekte
  - Automatisierte, robotergestützte Handhabung biegeschlaffer und deformierbarer Bauteile
    (Teilprojektleiter Knoll, Alois )
  - Handlungs- und Wahrnehmungsautonomie im Zusammenspiel mit Instruktion
    (Teilprojektleiter Knoll, Alois ; Zhang, Jianwei )
  - Miniaturisierte Bildsensoren für medizinische Instrumente
    (Teilprojektleiter Knoll, Alois )
  - Multisensorunterstützte Montage von Aggregaten
    (Teilprojektleiter Knoll, Alois ; Ritter, Helge ; Zhang, Jianwei )
  - Shared Control für kooperierende Telemanipulatoren am Beispiel Chirurgie: Methodische Grundlagen, Implementierung, Evaluation
    (Teilprojektleiter Bauernschmitt, Robert ; Knoll, Alois )
  - Teilautonomie und multimodale Instruktion zum Transfer von Fertigkeiten
    (Teilprojektleiter Knoll, Alois ; Schrott, Gerhard )
Forschungsgroßgeräte
- abgeschlossene Projekte
  - Autonomes Forschungsfahrzeug
Schwerpunktprogramme
- laufende Projekte
  - Datengetriebene Prozessmodellierung in der Stanz-Biege-Technologie
    (Antragsteller Althoff, Matthias ; Hartmann, Christoph ; Volk, Wolfram )
- abgeschlossene Projekte
  - Aktive Exploration in den hochdimensionalen Daten einer künstlichen Haut
    (Antragsteller Knoll, Alois ; Strohmayr, Michael )
  - Kooperative und intrinsisch korrekte Regelung von Fahrzeugen in variablen Umgebungen
    (Antragsteller Althoff, Matthias ; Köster, Frank ; Stursberg, Olaf )
Graduiertenkollegs
- laufende Projekte
  - GRK 2428: CONVEY - Continuous Verification of CYber-Physical Systems
    (Sprecher Beyer, Dirk )
- abgeschlossene Projekte
  - GRK 1480: PUMA Programm- und Modell-Analyse
    (Sprecher Seidl, Helmut )

© 2024 DFG Kontakt / Impressum / Datenschutz