Theoretical and experimental procedures for the evaluation of the performances of control strategies for spark ignition engines