上一条: Robust Diagnosability and Robust Prognosability of Discrete-Event Systems Revisited
下一条: Infinite-step opacity and K-step opacity of stochastic discrete-event systems