Summary

International Symposium on Nonlinear Theory and its Applications

2008

Session Number:C4L-B

Session:

Number:C4L-B1

A Formula for the Supremal Controllable and Opaque Sublanguage in Discrete Event Systems

Shigemasa Takai,  Yusuke Oka,  

pp.-

Publication Date:2008/9/7

Online ISSN:2188-5079

DOI:10.34385/proc.42.C4L-B1

PDF download (83.3KB)

Summary:
In this paper, we study a property of opacity in the language-based framework of discrete event systems. The problem of synthesizing a supervisor that enforces opacity in a maximally permissive way is addressed. A maximally permissive opacity-enforcing supervisor is realized by an automaton that generates the supremal closed controllable and opaque sublanguage of the generated language of the system. This motivates the study on computability of the supremal sublanguage. We present a formula for computing the supremal sublanguage under some assumption on uncontrollable events. Whenever the languages under consideration are regular, the supremal sublanguage is effectively computed using the presented formula.