IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Online ISSN : 1745-1337
Print ISSN : 0916-8508
Regular Section
Modular Synthesis of Maximally Permissive Opacity-Enforcing Supervisors for Discrete Event Systems
Shigemasa TAKAIYuta WATANABE
Author information
JOURNAL RESTRICTED ACCESS

2011 Volume E94.A Issue 3 Pages 1041-1044

Details
Abstract

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.

Content from these authors
© 2011 The Institute of Electronics, Information and Communication Engineers
Previous article Next article
feedback
Top