Estimation and Verification of Partially-Observed Discrete-Event Systems
Xiang Yin
所有作者
Xiang Yin
文献摘要
This article considers state estimation and veri cation problems for an important class of man-made cyber-physical systems called Discrete-Event Systems (DES).