technical system to be diagnosed. To handle large differential algebraic models and to
achieve fault isolation, a common strategy is to pick out small overconstrained parts of the
model and to test these separately against measured signals. In this paper, a new algorithm
for computing all minimal overconstrained subsystems in a model is proposed. For
complexity comparison, previous algorithms are recalled. It is shown that the time complexity …