A KOOPMAN REACHABILITY APPROACH FOR UNCERTAINTY ANALYSIS IN GROUND VEHICLE SYSTEMS