Maximal Safe Set Computation for Idle Speed Control of an Automotive Engine. - Andrea Balluchi; Luca Benvenuti; Maria Domenica Di Benedetto; Guido M. Miconi; Ugo Pozzi; Tiziano Villa; Howard Wong-Toi; Alberto L. Sangiovanni-Vincentelli (HSCC, 2000)