∞, Markov, jump linear systems, MJLSs, bounded real lemma, linear matrix inequality