Detailseite
Person
Professor Dr.-Ing. Matthias Althoff
Adresse
Technische Universität München
Fakultät für Informatik
Lehrstuhl VI: Robotik, Künstliche Intelligenz und Echtzeitsysteme
Boltzmannstraße 3
85748 Garching
-
Als Antragsteller
-
laufende Projekte
-
Absicherung von künstlicher Intelligenz in Energiesystemen (Sachbeihilfen)
-
Formale Verifikation von analoger AI-Hardware (FAI) (Sachbeihilfen)
-
Automatische Testfallerstellung für autonome Fahrzeuge (Sachbeihilfen)
-
Skalierbare Reglersynthese mit formalen Garantien (Sachbeihilfen)
-
Datengetriebene Prozessmodellierung in der Stanz-Biege-Technologie (Schwerpunktprogramme)
-
-
abgeschlossene Projekte
-
Analyse und Synthese von robust geregelten Smart-Grid-Systemen (Sachbeihilfen)
-
Formalisierung und Analyse von Verkehrsregeln (Sachbeihilfen)
-
Kooperative und intrinsisch korrekte Regelung von Fahrzeugen in variablen Umgebungen (Schwerpunktprogramme)
-
-
laufende Projekte
-
Als Leiter
-
abgeschlossene Projekte
-
Autonomes Forschungsfahrzeug (Forschungsgroßgeräte)
-
-
abgeschlossene Projekte
-
Als beteiligter Wissenschaftler
-
laufende Projekte
-
GRK 2428: CONVEY - Continuous Verification of CYber-Physical Systems (Graduiertenkollegs)
-
-
laufende Projekte
-
Als Teilprojektleiter
-
laufende Projekte
-
Konsistenz von hybriden/kontinuierlichen Modellen (Sonderforschungsbereiche)
-
Konsistenz von datendefinierten Modellen (Sonderforschungsbereiche)
-
-
laufende Projekte
