Modular Synthesis of Maximally Permissive Opacity-Enforcing Supervisors for Discrete Event Systems

Shigemasa Takai, Yuta Watanabe. Modular Synthesis of Maximally Permissive Opacity-Enforcing Supervisors for Discrete Event Systems. IEICE Transactions, 94-A(3):1041-1044, 2011. [doi]

Abstract

Abstract is missing.