# The Barabanov norm is generically unique, simple, and easily computed

@inproceedings{Protasov2021TheBN, title={The Barabanov norm is generically unique, simple, and easily computed}, author={Vladimir Yu. Protasov}, year={2021} }

Every irreducible discrete-time linear switching system possesses an invariant convex Lyapunov function (Barabanov norm), which provides a very refined analysis of trajectories. Until recently that notion remained rather theoretical apart from special cases. In 2015 N.Guglielmi and M.Zennaro showed that many systems possess at least one simple Barabanov norm, which moreover, can be efficiently computed. In this paper we classify all possible Barabanov norms for discrete-time systems. We prove… Expand

#### References

SHOWING 1-10 OF 61 REFERENCES

Canonical Construction of Polytope Barabanov Norms and Antinorms for Sets of Matrices

- Computer Science, Mathematics
- SIAM J. Matrix Anal. Appl.
- 2015

A canonical procedure to construct them exactly is given, which associates a polytope extremal norm---constructed by using the methodologies described in Guglielmi, Wirth, and Zennaro (SIAM J. Matrix Anal. Math., 13 (2013), pp. 37--97)---to a polyTope Barabanov norm, which has the same genericity of an extremalpolytope norm. Expand

Explicit construction of a Barabanov norm for a class of positive planar discrete-time linear switched systems

- Mathematics, Computer Science
- Autom.
- 2012

A special class of positive planar discrete-time linear switched systems is considered and a closed-form expression for a corresponding Barabanov norm and a MUSL is provided, where the unit circle in this norm is a parallelogram. Expand

A New Sufficient Condition for the Uniqueness of Barabanov Norms

- Mathematics, Computer Science
- SIAM J. Matrix Anal. Appl.
- 2012

A new sufficient condition for this uniqueness is given, and a theoretical application shows that the property of having a unique Barabanov norm can in some cases be highly sensitive to small perturbations of the set of matrices. Expand

Extremal norms for fiber-bunched cocycles

- Mathematics
- Journal de l’École polytechnique — Mathématiques
- 2019

In traditional Ergodic Optimization, one seeks to maximize Birkhoff averages. The most useful tool in this area is the celebrated Ma\~n\'e Lemma, in its various forms. In this paper, we prove a… Expand

Barabanov norms, Lipschitz continuity and monotonicity for the max algebraic joint spectral radius

- Mathematics
- Linear Algebra and its Applications
- 2018

We present several results describing the interplay between the max algebraic joint spectral radius (JSR) for compact sets of matrices and suitably defined matrix norms. In particular, we extend a… Expand

Structure of extremal trajectories of discrete linear systems and the finiteness conjecture

- Mathematics
- 2007

In 1995 J.C. Lagarias and Y. Wang conjectured that the generalized spectral radius of a finite set of square matrices can be attained on a finite product of matrices. The first counterexample to this… Expand

Criteria for the stability of the finiteness property and for the uniqueness of Barabanov norms

- Mathematics
- 2009

A set of matrices is said to have the finiteness property if the maximal rate of exponential growth of long products of matrices drawn from that set is realised by a periodic product. The extent to… Expand

ITERATIVE BUILDING OF BARABANOV NORMS AND COMPUTATION OF THE JOINT SPECTRAL RADIUS FOR MATRIX SETS

- Mathematics
- 2010

The problem of construction of Barabanov norms for analysis of
properties of the joint (generalized) spectral radius of
matrix sets has been discussed in a number of publications. In
[18, 21] the… Expand

Complex Polytope Extremality Results for Families of Matrices

- Computer Science, Mathematics
- SIAM J. Matrix Anal. Appl.
- 2005

The small complex polytope extremality theorem is proved under some more restrictive hypotheses on the underlying family of matrices, which assures a certain finiteness property on the number of vertices of the unit ball of the extremal complexpolytope norm. Expand

An explicit counterexample to the Lagarias-Wang finiteness conjecture

- Mathematics, Computer Science
- ArXiv
- 2010

The purpose of this paper is to give the first completely explicit description of a counterexample to the Lagarias-Wang finiteness conjecture by giving an explicit value of A such that A does not satisfy thefiniteness property. Expand