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:
I am the Principal Investigator of the project Fully Automated and Correct-by-Construction Synthesis for Complex Control Problems, which is funded by the German Research Foundation (DFG) and aims at advancing abstraction-based controller synthesis methods to facilitate the practical applicability of the approach. I also head the research group Certifiable Autonomy in Unmanned Aerial Vehicles, which is funded by Munich Aerospace. Here we 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: