Optimal synthesis and design of dynamic systems under uncertainty