A method based on linear feasibility tests for full-rank characterization of convex combinations of matrices

Detalhes bibliográficos
Autor(a) principal: Teixeira, Marcelo Carvalho Minhoto [UNESP]
Data de Publicação: 2024
Outros Autores: Galvão, Roberto Kawakami Harrop, Assunção, Edvaldo [UNESP], Afonso, Rubens Junqueira Magalhães
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Repositório Institucional da UNESP
Texto Completo: http://dx.doi.org/10.1016/j.automatica.2024.111842
https://hdl.handle.net/11449/308726
Resumo: Given a set of full-rank matrices A1,A2,…,Ar∈Rp×n, this brief paper proposes a method based on linear feasibility tests to determine whether a convex combination A(α)=∑i=1rαiAi, with α=[α1α2⋯αr]T in the unit simplex Λr, may result in a rank-deficient matrix. The method is based on a sequence of linear programs with increasingly tightened constraints, and is guaranteed to reach an outcome after a finite number of iterations. Given a tolerance ɛ>0 arbitrarily chosen by the user, the method will either (i) certify that ∄α∈Λr such that A(α) is rank-deficient or (ii) yield α∈Λr, v≠0 such that ‖A(α)v‖/‖v‖<ɛ, which certifies that the smallest singular value of A(α) is less than ɛ. This method bridges a gap in the literature, as no other numerically verifiable test for generic p, n, r has been proposed to reach the conclusion (ii). Three numerical examples are provided to showcase the advantages of the proposed method with respect to other tests reported in previous papers. The code employed in this work is available at https://github.com/rubensjma/full-rank-characterization.
id UNSP_a6e849f572a8f062569efb76b3733eaa
oai_identifier_str oai:repositorio.unesp.br:11449/308726
network_acronym_str UNSP
network_name_str Repositório Institucional da UNESP
repository_id_str 2946
spelling A method based on linear feasibility tests for full-rank characterization of convex combinations of matricesConvex combination of matricesFeasibility problemsFull-rank conditionsLinear programmingGiven a set of full-rank matrices A1,A2,…,Ar∈Rp×n, this brief paper proposes a method based on linear feasibility tests to determine whether a convex combination A(α)=∑i=1rαiAi, with α=[α1α2⋯αr]T in the unit simplex Λr, may result in a rank-deficient matrix. The method is based on a sequence of linear programs with increasingly tightened constraints, and is guaranteed to reach an outcome after a finite number of iterations. Given a tolerance ɛ>0 arbitrarily chosen by the user, the method will either (i) certify that ∄α∈Λr such that A(α) is rank-deficient or (ii) yield α∈Λr, v≠0 such that ‖A(α)v‖/‖v‖<ɛ, which certifies that the smallest singular value of A(α) is less than ɛ. This method bridges a gap in the literature, as no other numerically verifiable test for generic p, n, r has been proposed to reach the conclusion (ii). Three numerical examples are provided to showcase the advantages of the proposed method with respect to other tests reported in previous papers. The code employed in this work is available at https://github.com/rubensjma/full-rank-characterization.Department of Electrical Engineering São Paulo State University (UNESP) School of Engineering, SPElectronic Engineering Division Instituto Tecnológico de Aeronáutica (ITA), São José dos Campos, SPDepartment of Electrical Engineering São Paulo State University (UNESP) School of Engineering, SPUniversidade Estadual Paulista (UNESP)Instituto Tecnológico de Aeronáutica (ITA)Teixeira, Marcelo Carvalho Minhoto [UNESP]Galvão, Roberto Kawakami HarropAssunção, Edvaldo [UNESP]Afonso, Rubens Junqueira Magalhães2025-04-29T20:13:30Z2024-11-01info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articlehttp://dx.doi.org/10.1016/j.automatica.2024.111842Automatica, v. 169.0005-1098https://hdl.handle.net/11449/30872610.1016/j.automatica.2024.1118422-s2.0-85201681820Scopusreponame:Repositório Institucional da UNESPinstname:Universidade Estadual Paulista (UNESP)instacron:UNESPengAutomaticainfo:eu-repo/semantics/openAccess2025-04-30T13:23:46Zoai:repositorio.unesp.br:11449/308726Repositório InstitucionalPUBhttp://repositorio.unesp.br/oai/requestrepositoriounesp@unesp.bropendoar:29462025-04-30T13:23:46Repositório Institucional da UNESP - Universidade Estadual Paulista (UNESP)false
dc.title.none.fl_str_mv A method based on linear feasibility tests for full-rank characterization of convex combinations of matrices
title A method based on linear feasibility tests for full-rank characterization of convex combinations of matrices
spellingShingle A method based on linear feasibility tests for full-rank characterization of convex combinations of matrices
Teixeira, Marcelo Carvalho Minhoto [UNESP]
Convex combination of matrices
Feasibility problems
Full-rank conditions
Linear programming
title_short A method based on linear feasibility tests for full-rank characterization of convex combinations of matrices
title_full A method based on linear feasibility tests for full-rank characterization of convex combinations of matrices
title_fullStr A method based on linear feasibility tests for full-rank characterization of convex combinations of matrices
title_full_unstemmed A method based on linear feasibility tests for full-rank characterization of convex combinations of matrices
title_sort A method based on linear feasibility tests for full-rank characterization of convex combinations of matrices
author Teixeira, Marcelo Carvalho Minhoto [UNESP]
author_facet Teixeira, Marcelo Carvalho Minhoto [UNESP]
Galvão, Roberto Kawakami Harrop
Assunção, Edvaldo [UNESP]
Afonso, Rubens Junqueira Magalhães
author_role author
author2 Galvão, Roberto Kawakami Harrop
Assunção, Edvaldo [UNESP]
Afonso, Rubens Junqueira Magalhães
author2_role author
author
author
dc.contributor.none.fl_str_mv Universidade Estadual Paulista (UNESP)
Instituto Tecnológico de Aeronáutica (ITA)
dc.contributor.author.fl_str_mv Teixeira, Marcelo Carvalho Minhoto [UNESP]
Galvão, Roberto Kawakami Harrop
Assunção, Edvaldo [UNESP]
Afonso, Rubens Junqueira Magalhães
dc.subject.por.fl_str_mv Convex combination of matrices
Feasibility problems
Full-rank conditions
Linear programming
topic Convex combination of matrices
Feasibility problems
Full-rank conditions
Linear programming
description Given a set of full-rank matrices A1,A2,…,Ar∈Rp×n, this brief paper proposes a method based on linear feasibility tests to determine whether a convex combination A(α)=∑i=1rαiAi, with α=[α1α2⋯αr]T in the unit simplex Λr, may result in a rank-deficient matrix. The method is based on a sequence of linear programs with increasingly tightened constraints, and is guaranteed to reach an outcome after a finite number of iterations. Given a tolerance ɛ>0 arbitrarily chosen by the user, the method will either (i) certify that ∄α∈Λr such that A(α) is rank-deficient or (ii) yield α∈Λr, v≠0 such that ‖A(α)v‖/‖v‖<ɛ, which certifies that the smallest singular value of A(α) is less than ɛ. This method bridges a gap in the literature, as no other numerically verifiable test for generic p, n, r has been proposed to reach the conclusion (ii). Three numerical examples are provided to showcase the advantages of the proposed method with respect to other tests reported in previous papers. The code employed in this work is available at https://github.com/rubensjma/full-rank-characterization.
publishDate 2024
dc.date.none.fl_str_mv 2024-11-01
2025-04-29T20:13:30Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://dx.doi.org/10.1016/j.automatica.2024.111842
Automatica, v. 169.
0005-1098
https://hdl.handle.net/11449/308726
10.1016/j.automatica.2024.111842
2-s2.0-85201681820
url http://dx.doi.org/10.1016/j.automatica.2024.111842
https://hdl.handle.net/11449/308726
identifier_str_mv Automatica, v. 169.
0005-1098
10.1016/j.automatica.2024.111842
2-s2.0-85201681820
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv Automatica
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.source.none.fl_str_mv Scopus
reponame:Repositório Institucional da UNESP
instname:Universidade Estadual Paulista (UNESP)
instacron:UNESP
instname_str Universidade Estadual Paulista (UNESP)
instacron_str UNESP
institution UNESP
reponame_str Repositório Institucional da UNESP
collection Repositório Institucional da UNESP
repository.name.fl_str_mv Repositório Institucional da UNESP - Universidade Estadual Paulista (UNESP)
repository.mail.fl_str_mv repositoriounesp@unesp.br
_version_ 1834482447117451264