Reachability computation for linear hybrid systems