Polyhedral Analysis and Branch-and-Cut for the Structural Analysis Problem
Résumé
In this paper we consider the structural analysis problem for differential-algebraic systems with conditional equations. This consists, given a conditional differential-algebraic system, in verifying if the system is structurally solvable for every state, and if not in finding a state in which the system is structurally singular. In this paper we study this problem from a polyhedral point of view. We identify some classes of valid inequalities and characterize when these inequalities define facets for the associated polytope. Moreover, we devise separation routines for these inequalities. Based on this, we develop a Branch-and-Cut algorithm and present some experimental results.