publication venue for Secure-by-construction synthesis of cyber-physical systems 2022 Control co-design of 13 MW downwind two-bladed rotors to achieve 25% reduction in levelized cost of wind energy 2021 Controlling across complex networks - Emerging links between networks and control 2008