Title: Computer-aided design of closed loop control systems