上一条： Opacity of Networked Supervisory Control Systems over Insecure Multiple Channel Networks
下一条： Abstraction-Based Synthesis of Opacity-Enforcing Controllers using Alternating Simulation Relations
