Μηχανικών

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