Skip to Main content Skip to Navigation
Master thesis

Efficient computation of solution space and conflicts detection for linear systems

Alexandre Borthomieu 1
1 STEEP - Sustainability transition, environment, economy and local policy
LJK - Laboratoire Jean Kuntzmann, Inria Grenoble - Rhône-Alpes
Abstract : We analyze a system of linear inequations $l \leq A\cdot x \leq u$, used for the purpose of Material Flow Analysis, with three different but complementary goals: (i) given some known variables $x_i$, efficiently compute the solution space of unknown variables, (ii) if the set of constraints is infeasible, efficiently identify the conflicts, (iii) efficiently classify variables to determine whereas they are redundant, just measured, determinable or non-determinable. In each case we compare the efficiency of different algorithms or languages.
Complete list of metadatas

Cited literature [3 references]  Display  Hide  Download

https://hal.inria.fr/hal-02433237
Contributor : Peter Sturm <>
Submitted on : Thursday, January 9, 2020 - 8:48:16 AM
Last modification on : Thursday, March 26, 2020 - 8:49:38 PM

Identifiers

  • HAL Id : hal-02433237, version 1

Collections

Citation

Alexandre Borthomieu. Efficient computation of solution space and conflicts detection for linear systems. Modeling and Simulation. 2019. ⟨hal-02433237⟩

Share

Metrics

Record views

19

Files downloads

173