The CSSystem toolbox

Stability analysis of discrete-time linear switching systems with constrained switching sequences.

Constrained Switching Systems (CSSystems) are discrete-time linear switching systems
where the transition matrix belongs to a finite set of matrices and where only some
matrix products are allowed.
The Constrained Joint Spectral Radius (CJSR) characterizes the maximal asymptotic rate
of growth of a product of matrices that belongs to this set. It is known to be
very hard to compute.
This toolbox gives a few tools to approximate the CJSR, which allows to characterize
the (un)stability of a given CSSystem.