It has recently become clear that many control problems are too dicult to admit analytic solutions. New results have also emerged to show that the computational complexity of somè`solved'' control problems is prohibitive. Many of these control problems can be reduced to decidability problems or to optimization questions. Even though such questions may be… (More)