controller synthesis for dynamical systems

A continuous dynamical system is a mathematical model of time-varying systems in nature and engineering. These systems can be found everywhere, including chemical processes, temperature control systems, robotics, and autonomous vehicles. A controller, of a dynamical system, steers its states in a way that a given property is satisfied. For example, for an autonomous vehicle, the controller operates the steering angle and the acceleration in order to drive the vehicle from one place to another.

Controllers are enablers for automation. A majority of controllers nowadays are software-driven, and their correctness is a key aspect for the safety of the underlying system. I develop algorithms for the verified design of software-based controllers for dynamical systems. Ongoing problems include design of controllers that come with a correctness certificate, design of controllers that can adapt to new environmental uncertainties discovered during deployment, and continuous runtime monitoring of AI-based controllers.