上一条: Opacity Enforcement by Insertion Functions under Energy Constraints
下一条: Infinite-step opacity of stochastic discrete-event systems