Hybridization of Bound-and-Decompose and Mixed Integer Feasibility Checking to Measure Redundancy in Structured Linear Systems.
Manish BansalKiavash KianfarYu DingErick Moreno-CentenoPublished in: IEEE Trans Autom. Sci. Eng. (2013)
Keyphrases
- linear systems
- mixed integer
- linear program
- dynamical systems
- sufficient conditions
- optimal solution
- convex hull
- feasible solution
- benders decomposition
- lot sizing
- upper bound
- continuous variables
- lower bound
- network design problem
- sparse linear systems
- linear programming
- worst case
- interior point methods
- training data