Control of dense-time Discrete Event Systems using digital-clocks to observe event-occurrence times. - Songyan Xu; Ratnesh Kumar 001 (CDC, 2007)

Distributed state estimation in discrete event systems. - Songyan Xu; Ratnesh Kumar 001 (ACC, 2009)

Synthesis of wireless time-triggered embedded networks for networked control systems. - Alessandro Pinto; Ratnesh Kumar 001; Songyan Xu (CASE, 2009)

Discrete event control under nondeterministic partial observation. - Songyan Xu; Ratnesh Kumar 001 (CASE, 2009)

Real-Time Control of Dense-Time Systems Using Digital-Clocks. - Songyan Xu; Ratnesh Kumar 001 (IEEE Trans. Autom. Control., 2010)

Diagnosis of Dense-Time Systems Under Event and Timing Masks. - Songyan Xu; Shengbing Jiang; Ratnesh Kumar 001 (IEEE Trans Autom. Sci. Eng., 2010)

Correct-by-Construction and Optimal Synthesis of Beacon-Enabled ZigBee Network. - Songyan Xu; Ratnesh Kumar 001; Alessandro Pinto (IEEE Trans Autom. Sci. Eng., 2013)

An Improved Attack on the Basic Merkle-Hellman Knapsack Cryptosystem. - Jiayang Liu; Jingguo Bi; Songyan Xu (IEEE Access, 2019)