Safe Controller Design For Intelligent Transportation System Applications Using Reachability Analysis