G. Zardini: Co-Design of Autonomous Systems: From Hardware Selection to Control Synthesis, ECC 2021