Guaranteed characterization of the vehicle stable state domain | IEEE Conference Publication | IEEE Xplore