Global Exponential Stabilization of Language Constrained Switched Linear Discrete-Time System Based on the S-procedure Approach | IEEE Conference Publication | IEEE Xplore