PT Journal AU Della Penna, G Intrigila, B Magazzeni, D Melatti, I Tronci, E TI CGMurphi: Automatic synthesis of numerical controllers for nonlinear hybrid systems SO European Journal of Control JI European Journal of Control PY 2013 BP 14 EP 36 VL 19 IS 1 DI 10.1016/j.ejcon.2013.02.001 ER