Graduate Center - LMU

Links and Functions
Language Selection

Breadcrumb Navigation


ConVeY - Continuous Verification of CYber-Physical Systems

DFG: Research Training Group 2428

Networks, computers, sensors, and actuators are increasingly integrated into cyber-physical systems, and an increasing number of these systems operate in safety-critical domains. Examples are autonomous vehicles, robotic surgery, traffic control, human-robot collaboration, and smart grids.
The physical environment of the systems changes at runtime in ways that cannot be completely foreseen. The requirements on the systems may also change over time. To deal with these circumstances, the Research Training Group "ConVeY" conducts research that enables to continuously check the behavior of systems during their design and deployment with regards to correctness.
ConVeY is a joint initiative between LMU Munich and TU Munich. It offers its doctoral candidates a comprehensive qualification program.