Project Details
Person
Professor Dr. Majid Zamani
Address
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
-
As Applicant
-
Current projects
-
Opacity of Large-Scale Cyber-Physical Systems (Research Grants)
-
-
Completed projects
-
Compositional synthesis of abstractions for infinite networks (Research Grants)
-
Automated Synthesis of Networked Control Systems (Research Grants)
-
Information measures for control: invariance and reachability (Research Grants)
-
-
Current projects
-
As Participating Researcher
-
Current projects
-
GRK 2428: CONVEY - Continuous Verification of CYber-Physical Systems (Research Training Groups)
-
-
Current projects
