Structural Analysis for Differential-Algebraic Systems : Complexity, formulation and facets
Mahjoub, Ali Ridha; Lacroix, Mathieu; Martin, Sébastien (2010), Structural Analysis for Differential-Algebraic Systems : Complexity, formulation and facets, ISCO International Symposium on Combinatorial Optimization, 2010-03, Hammamet, Tunisie
Type
Communication / ConférenceDate
2010Conference title
ISCO International Symposium on Combinatorial OptimizationConference date
2010-03Conference city
HammametConference country
TunisieJournal name
Electronic Notes in Discrete MathematicsVolume
36Publisher
Elsevier
Pages
1073-1080
Publication identifier
Metadata
Show full item recordAbstract (EN)
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 wellconstrained for every state and if not in finding a state for which the system is bad-constrained. We first show that the problem reduces to the perfect matching free subgraph problem in a bipartite graph. We then show the NP-completeness of this problem and give a formulation as an integer linear program.We also discuss the polytope of the solutions of this problem and propose a Branch-and-Cut algorithm.Subjects / Keywords
structural analysis; Differential algebraic system; facet; polytope; matching; bipartite graphRelated items
Showing items related by title and author.
-
Martin, Sébastien; Mahjoub, Ali Ridha; Lacroix, Mathieu (2011) Article accepté pour publication ou publié
-
Martin, Sébastien; Mahjoub, Ali Ridha; Lacroix, Mathieu (2009) Communication / Conférence
-
Lacroix, Mathieu; Mahjoub, Ali Ridha; Martin, Sébastien (2012) Communication / Conférence
-
Cornaz, Denis; Furini, Fabio; Lacroix, Mathieu; Malaguti, Enrico; Mahjoub, Ali Ridha; Martin, Sébastien (2014) Communication / Conférence
-
Lacroix, Mathieu; Mahjoub, Ali Ridha; Martin, Sébastien; Picouleau, Christophe (2012) Article accepté pour publication ou publié