Analysis and design of linear time-varying systems based on a finite-time performance index. - Fenghua He 001; Long Wang 009; Yu Yao 004; Hongsheng Qi; Zhe Jiang 005 (ACC, 2015)

Using the theories of finite automata and formal languages to determine observability of switched Boolean control networks. - Kuize Zhang; Lijun Zhang 004; Lihua Xie 001; Zhe Jiang 005 (CDC, 2015)

Stability and stabilization of discrete-time semi-Markov jump linear systems with delay in controller mode switching. - Zepeng Ning; Junnan Shen; Peng Shi 001; Lixian Zhang; Zhe Jiang 005 (CDC, 2016)