You may want to take a look at Avis, Fukuda, Picozzi, "On canonical representations of convex polyhedra" (2002); not sure if it fits our case though.
Also, your problem as a simple solution if you only have inequations of the from x - y \leq cst (systems of difference constraints). In this case the problem is known to be polynomial.