Sum of squares approach for ground vehicle lateral control under tire saturation forces