Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Elf, M., Gutwenger, C., Jünger, M., Rinaldi, G.: Branch-and-Cut Algorithms for Combinatorial Optimization and Their Implementation in ABACUS. In: Jünger, M., Naddef, D. (eds.) Computational Combinatorial Optimization. LNCS, vol. 2241, pp. 157–222. Springer, Heidelberg (2001)
Lovasz, L., Plummer, M.D.: Matching Theory. North-Holland (1986)
Lacroix, M., Mahjoub, A.R., Martin, S.: Combinatorial Optimization Model and MIP formulation for the Structural Analysis of Conditional Differential-Algebraic Systems. Computers & Industrial Engineering 61, 422–429 (2011)
Lacroix, M., Mahjoub, A.R., Martin, S.: Structural Analysis for Differential-Algebraic Systems : Complexity, Formulation and Facets. In: ENDM ISCO 2010, Hamamet, Tunisia, pp. 1073–1080 (2010)
Lacroix, M., Mahjoub, A.R., Martin, S., Picouleau, C.: On the NP-Completeness of the Perfect Matching Free Subgraph Problem. To appear in Theoretical Computer Science (2012), doi: 10.1016/j.tcs.2011.12.065
Lemon Graph Library, https://lemon.cs.elte.hu/trac/lemon
Martin, S.: Analyse structurelle des systèmes algébro-différentiels conditionnels : complexité, modèles et polyèdres. Ph.D. thesis, Université Paris-Dauphine (2011)
Murota, K.: Matrices and Matroids for Systems Analysis. Springer (2000)
Yip, E.L., Sincovec, R.F.: Solvability, Controllability, and Observability of Continuous Descriptor Systems. IEE Transactions on Automatic Control 3, 702–707 (1981)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lacroix, M., Mahjoub, A.R., Martin, S. (2012). Polyhedral Analysis and Branch-and-Cut for the Structural Analysis Problem. In: Mahjoub, A.R., Markakis, V., Milis, I., Paschos, V.T. (eds) Combinatorial Optimization. ISCO 2012. Lecture Notes in Computer Science, vol 7422. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-32147-4_12
Download citation
DOI: https://doi.org/10.1007/978-3-642-32147-4_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-32146-7
Online ISBN: 978-3-642-32147-4
eBook Packages: Computer ScienceComputer Science (R0)