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

Detailseite

Person

Druckansicht

Professor Dr. Majid Zamani

Adresse Ludwig-Maximilians-Universität München (LMU)
Institut für Informatik
Software and Computational Systems Lab
Oettingenstraße 67
80538 München

ORCID-ID 0000-0001-6608-3708

Projekte

Als Antragsteller
- laufende Projekte
  - Opazität von Large-Scale Cyber-Physikalischen Systemen (Sachbeihilfen)
- abgeschlossene Projekte
  - Strukturierte Synthese symbolischer Abstraktionen für unendliche Kopplungen dynamischer Systeme (Sachbeihilfen)
  - Automatisierte Synthese Vernetzte Regelungssysteme (Sachbeihilfen)
  - Informationsmaße für Regelungssysteme: Invarianz und Erreichbarkeit (Sachbeihilfen)
Als beteiligter Wissenschaftler
- laufende Projekte
  - GRK 2428: CONVEY - Continuous Verification of CYber-Physical Systems (Graduiertenkollegs)

© 2024 DFG Kontakt / Impressum / Datenschutz