Philippe, M., & Jungers, R. (2015). A sufficient condition for the boundedness of matrix products accepted by an automaton. Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control. Published. HSCC 2015, Seattle, WA, April 2015. https://doi.org/10.1145/2728606.2728610