The stochastic semantics and verification for periodic control systems

Mengfei Yang, Zheng Wang, Geguang Pu, Shengchao Qin, Bin Gu, Jifeng He. The stochastic semantics and verification for periodic control systems. Science in China Series F: Information Sciences, 55(12):2675-2693, 2012. [doi]

Authors

Mengfei Yang

This author has not been identified. Look up 'Mengfei Yang' in Google

Zheng Wang

This author has not been identified. Look up 'Zheng Wang' in Google

Geguang Pu

This author has not been identified. Look up 'Geguang Pu' in Google

Shengchao Qin

This author has not been identified. Look up 'Shengchao Qin' in Google

Bin Gu

This author has not been identified. Look up 'Bin Gu' in Google

Jifeng He

This author has not been identified. Look up 'Jifeng He' in Google