上一条: Synthesis of dynamic masks for infinite-step opacity
下一条: Minimization of Sensor Activation in Decentralized Discrete-Event Systems