Project Details

Professor Dr.-Ing. Matthias Althoff

Address Technische Universität München
Fakultät für Informatik
Lehrstuhl VI: Robotik, Künstliche Intelligenz und Echtzeitsysteme
Boltzmannstraße 3
85748 Garching

Projects

As Applicant
- Current projects
  - Safe-Guarding Artificial Intelligence in Power Systems (Research Grants)
  - Formal Verification of Analog AI Hardware (FAI) (Research Grants)
  - Automatic Test-Case Generation for Autonomous Vehicles (Research Grants)
  - Scalable Controller Synthesis with Formal Guarantees (Research Grants)
  - Traffic-Rule-Aware Reachability Analysis for Motion Planning of Automated Vehicles (Research Grants)
  - Data-driven process modeling in stamping technology (Priority Programmes)
  - Pop-Up Automation of Production Processes (Research Grants)
- Completed projects
  - Analysis und Synthesis of Robustly Controlled Smart-Grid-Systems (Research Grants)
  - Formalization and Analysis of Traffic Rules (Research Grants)
  - Co-design of Reachability Analysis and Trajectory Planning for Collision Avoidance Systems (Research Grants)
  - Cooperative and Intrinsically-Correct Control of Vehicles in Diverse Environments (CoInCiDE) (Priority Programmes)
As Leader
- Completed projects
  - Autonomous research vehicle (Major Research Instrumentation)
As Participating Researcher
- Current projects
  - GRK 2428: CONVEY - Continuous Verification of CYber-Physical Systems (Research Training Groups)
As Project Head
- Current projects
  - Consistency of Hybrid / Continuous Models (Collaborative Research Centres)
  - Consistency of Data-Defined Models (Collaborative Research Centres)

Servicenavigation

Hauptnavigation

Professor Dr.-Ing. Matthias Althoff

Additional Information

Servicenavigation

Hauptnavigation

Professor Dr.-Ing. Matthias Althoff

Additional Information

Textvergrößerung und Kontrastanpassung