...
机译:Modular Synthesis of Maximally Permissive Opacity-Enforcing Supervisors for Discrete Event Systems
Division of Electrical, Electronic and Information Engineering, Osaka University, Suita-shi, 565-0871 Japan;
Department of Information Science,Kyoto Institute of Technology, Kyoto-shi, 606-8585 Japan;
discrete event system; supervisory control; opacity; maximally permissive supervisor; modular synthesis;