Idle speed control design and verification for an automotive engine