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