Browsing by Author Shi, Ling
Showing results 1 to 4 of 4
| Issue Date | Title | Author(s) | |
|---|---|---|---|
| 2021 | Encryption scheduling for remote state estimation under an operation constraint | Huang, Lingying; Ding, Kemi; Leong, Alex S.; Quevedo, Daniel E.; Shi, Ling | |
| 2012 | Optimal sensor power scheduling for state estimation of Gauss–Markov systems over a packet-dropping network | Shi, Ling; Xie, Lihua | |
| 2021 | Optimal unbiased linear sensor fusion over multiple lossy channels with collective observability | Wu, Yuchi; Ding, Kemi; Li, Yuzhe; Shi, Ling | |
| 2018 | A UTP semantics for communicating processes with shared variables and its formal encoding in PVS | Shi, Ling; Zhao, Yongxin; Liu, Yang; Sun, Jun; Dong, Jin Song; Qin, Shengchao |