next up previous contents
Next: Implementation Up: Regularity of matrix with Previous: Regularity of matrix with   Contents

Mathematical background

Let assume that a parametric matrix has rows (or columns) in which some elements depend linearly on some of the unknowns. Let consider the set $H$ of interval matrices obtained as follows: It can be then shown that if all the matrices in $H$ have their determinants of the same sign, then the set of parametric matrices does not include any singular matrix. This test is more powerful than the test proposed by Rohn (see section 7.4.2) as it takes more into account the structure of the parametric matrix.

Jean-Pierre Merlet 2012-12-20