上一条: Towards Approximate Opacity of Cyber-Physical System
下一条: A general approach for optimizing dynamic sensor activation for discrete event systems