Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

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 )

© 2024 DFG Disclaimer / Copyright / Privacy Policy