Ludwig-Maximilians-Universität München (LMU)
Institut für Informatik
Software and Computational Systems Lab
Address
Oettingenstraße 67
80538 München
Deutschland
GERiT
This institution in GERiT
80538 München
Projects
Research Grants
Current projects
Opacity of Large-Scale Cyber-Physical Systems
(Applicant
Zamani, Majid
)
ReVeriX: Efficiently Reverifying Modified Programs Despite of Switching the Verification Approach
(Applicant
Jakobs, Marie-Christine
)
Completed projects
Automated Synthesis of Networked Control Systems
(Applicant
Zamani, Majid
)
Compositional synthesis of abstractions for infinite networks
(Applicant
Zamani, Majid
)
Information measures for control: invariance and reachability
(Applicant
Zamani, Majid
)
Priority Programmes
Completed projects
Network-Informed Control - Control-Informed Network: towards multi techNology dynamICally ChangIng networks (NICCI^2)
(Applicants
Dressler, Falko
;
Findeisen, Rolf
;
Quevedo, Daniel
)
Research Training Groups
Current projects
GRK 2428: CONVEY - Continuous Verification of CYber-Physical Systems
(Spokesperson
Beyer, Dirk
)
