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

Shigemasa TAKAI  Yuta WATANABE  

IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences   Vol.E94-A   No.3   pp.1041-1044
Publication Date: 2011/03/01
Online ISSN: 1745-1337
DOI: 10.1587/transfun.E94.A.1041
Print ISSN: 0916-8508
Type of Manuscript: LETTER
Category: Concurrent Systems
discrete event system,  supervisory control,  opacity,  maximally permissive supervisor,  modular synthesis,  

Full Text: PDF>>
Buy this Article

In this paper, we study opacity-enforcing supervisory control of discrete event systems. We consider the case that the secrete behavior of the system is specified by multiple secret languages, and synthesize a maximally permissive supervisor that enforces opacity for all secret languages. We prove that, under a certain assumption on observable and uncontrollable events, a maximally permissive opacity-enforcing supervisor can be synthesized in a modular fashion.