上一条: Abstraction-Based Synthesis of Opacity-Enforcing Controllers using Alternating Simulation Relations
下一条: Supervisory Control of Discrete-Event Systems for Infinite-Step Opacity