PhD scholarship: Fully automated controller synthesis for UAV missions (Munich, Germany)

Please "share" to help distribute. Thanks.

Abstraction-based controller synthesis is a relatively recent approach whose key advantage over classical synthesis methods is that it permits to solve control problems for nonlinear continuous-state plants described by ordinary differential equations in a fully automated, correct-by-construction fashion, even for rather complex control objectives and in the presence of uncertainties and disturbances. The approach relies on finite-state approximations (``abstractions'') of continuous-state plants described by ordinary differential equations.........
 https://www.linkedin.com/pulse/phd-scholarship-fully-automated-controller-synthesis-uav-reissig