SICE Journal of Control, Measurement, and System Integration
Online ISSN : 1884-9970
Print ISSN : 1882-4889
ISSN-L : 1882-4889
CONTRIBUTED PAPERS
A Formula for the Supremal Controllable and Opaque Sublanguage Arising in Supervisory Control
Shigemasa TAKAIYusuke OKA
Author information
JOURNALS FREE ACCESS

2008 Volume 1 Issue 4 Pages 307-311

Details
Abstract

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.

Information related to the author
© 2008 The Society of Instrument and Control Engineers
Previous article Next article
feedback
Top