Language constrained stabilization of discrete-time switched linear systems: an LMI approach. Issue 16 (2018)