Presentation | 2009-06-04 Computation of the Supremal Controllable and Opaque Sublanguage for Discrete Event Systems With Observation Masks Kozue YORIFUJI, Shigemasa TAKAI, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | 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. Under some assumption on observable and uncontrollable events, we present a formula for computing the supremal sublanguage for discrete event systems with observation masks. Whenever the languages under consideration are regular, the supremal sublanguage is effectively computed using the presented formula. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | discrete event system / supervisory control / opacity / supremal controllable and opaque sublanguage |
Paper # | CST2009-7 |
Date of Issue |
Conference Information | |
Committee | CST |
---|---|
Conference Date | 2009/5/27(1days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | |
Vice Chair | |
Secretary | |
Assistant |
Paper Information | |
Registration To | Concurrent System Technology (CST) |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | Computation of the Supremal Controllable and Opaque Sublanguage for Discrete Event Systems With Observation Masks |
Sub Title (in English) | |
Keyword(1) | discrete event system |
Keyword(2) | supervisory control |
Keyword(3) | opacity |
Keyword(4) | supremal controllable and opaque sublanguage |
1st Author's Name | Kozue YORIFUJI |
1st Author's Affiliation | Faculty of Engineering and Design, Kyoto Institute of Technology() |
2nd Author's Name | Shigemasa TAKAI |
2nd Author's Affiliation | Graduate School of Engineering, Osaka University |
Date | 2009-06-04 |
Paper # | CST2009-7 |
Volume (vol) | vol.109 |
Number (no) | 73 |
Page | pp.pp.- |
#Pages | 5 |
Date of Issue |