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

Detailseite

Institution

Druckansicht

Technische Universität München
TUM School of Computation, Information and Technology
Lehrstuhl für 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 )

© 2025 DFG Kontakt / Impressum / Datenschutz