Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

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

Address Boltzmannstraße 3
85748 Garching
Deutschland

GERiT This institution in GERiT

85748 Garching

Projects

Research Grants
- Current projects
  - Automatic Test-Case Generation for Autonomous Vehicles
    (Applicant Althoff, Matthias )
  - Formal Verification of Analog AI Hardware (FAI)
    (Applicants Althoff, Matthias ; Hedrich, Lars ; Olbrich, Markus )
  - Pop-Up Automation of Production Processes
    (Applicant Althoff, Matthias )
  - Safe-Guarding Artificial Intelligence in Power Systems
    (Applicant Althoff, Matthias )
  - Scalable Controller Synthesis with Formal Guarantees
    (Applicant Althoff, Matthias )
  - Traffic-Rule-Aware Reachability Analysis for Motion Planning of Automated Vehicles
    (Applicant Althoff, Matthias )
- Completed projects
Research Units
- Completed projects
Collaborative Research Centres
- Current projects
  - Consistency of Data-Defined Models
    (Project Heads Althoff, Matthias ; Platzer, André )
  - Consistency of Hybrid / Continuous Models
    (Project Heads Althoff, Matthias ; Platzer, André ; Pretschner, Alexander )
- Completed projects
  - Automated, Robot-Assisted Handling of Limp and Deformable Objects
    (Project Head Knoll, Alois )
  - Handlungs- und Wahrnehmungsautonomie im Zusammenspiel mit Instruktion
    (Project Heads Knoll, Alois ; Zhang, Jianwei )
  - Miniaturisierte Bildsensoren für medizinische Instrumente
    (Project Head Knoll, Alois )
  - Multisensorunterstützte Montage von Aggregaten
    (Project Heads Knoll, Alois ; Ritter, Helge ; Zhang, Jianwei )
  - Shared Control for Cooperative Tele-Manipulation in Robotic Surgery: Methods, Implementation and Evaluation
    (Project Heads Bauernschmitt, Robert ; Knoll, Alois )
  - Teilautonomie und multimodale Instruktion zum Transfer von Fertigkeiten
    (Project Heads Knoll, Alois ; Schrott, Gerhard )
Major Research Instrumentation
- Completed projects
  - Autonomous research vehicle
Priority Programmes
- Current projects
  - Data-driven process modeling in stamping technology
    (Applicants Althoff, Matthias ; Hartmann, Christoph ; Volk, Wolfram )
- Completed projects
  - Active exploration in the high-dimensional data of an artificial skin
    (Applicants Knoll, Alois ; Strohmayr, Michael )
  - Cooperative and Intrinsically-Correct Control of Vehicles in Diverse Environments (CoInCiDE)
    (Applicants Althoff, Matthias ; Köster, Frank ; Stursberg, Olaf )
Research Training Groups
- Current projects
  - GRK 2428: CONVEY - Continuous Verification of CYber-Physical Systems
    (Spokesperson Beyer, Dirk )
- Completed projects
  - GRK 1480: Programme and Model Analysis
    (Spokesperson Seidl, Helmut )

© 2024 DFG Disclaimer / Copyright / Privacy Policy