Global Exponential Stabilization of Language Constrained Switched Linear Discrete-Time System Based on the S-procedure Approach. - Yang Song 003; Yunyun Jin; Wang Yan; Taicheng Yang (CDC, 2019)