Diagnosing systems modeled with piecewise linear constraints.

Henri Beringer, Bruno De Backer

Browse the full ICTAI paper archive.