Research Interests and Group Members

Gunther Reißig


My research interests include the theory and applications of continuous, discrete, and hybrid dynamical systems. Much of my current work is directed toward the long-term goal of

For details, please see my recent publications as well as The Systems and Control Seminar which I organize.

Please feel free to contact me to explore the possibility of cooperation. You may also check to see if we have any current openings.

Current Projects:
The project Fully Automated and Correct-by-Construction Synthesis for Complex Control Problems, which is funded by the German Research Foundation (DFG) aims at advancing abstraction-based controller synthesis methods to facilitate the practical applicability of the approach. The research group Certifiable Autonomy in Unmanned Aerial Vehicles, funded by Munich Aerospace, has its focus on methods to enable Unmanned Aerial Vehicles (UAVs) to fully autonomously perform complex missions, which are not waypoint based, in a safe and reliable manner.

Current Group Members:

Former Group Members:


Impressum und Haftungsausschluß