| Presentation | 2002/7/30 The Generated Language under Decentralized Supervision with the OR and And Rules Naoya IKEUCHI, Koichi OYA, Shigemasa TAKAI, |
|---|---|
| PDF Download Page | PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | We study decentralized supervisory control of discrete event systems where local disabling actions are fused by the OR or AND rules. We assume that a control specification is described by a closed controllable language. Yoo and Lafortune have synthesized a safe decentralized supervisor that achieves a sublanguage of this controllable specification language. In this paper, we present a closed form expression of the generated language under the control action of the decentralized supervisor. By using this closed form expression, we can compute a set of legal event sequences that are disabled by the decentralized supervisor. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | discrete event system / supervisory control / decentralized supervisor / OR rule / AND rule |
| Paper # | CST2002-13 |
| Date of Issue |
| Conference Information | |
| Committee | CST |
|---|---|
| Conference Date | 2002/7/30(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) | The Generated Language under Decentralized Supervision with the OR and And Rules |
| Sub Title (in English) | |
| Keyword(1) | discrete event system |
| Keyword(2) | supervisory control |
| Keyword(3) | decentralized supervisor |
| Keyword(4) | OR rule |
| Keyword(5) | AND rule |
| 1st Author's Name | Naoya IKEUCHI |
| 1st Author's Affiliation | Faculty of Systems Engineering, Wakayama University() |
| 2nd Author's Name | Koichi OYA |
| 2nd Author's Affiliation | Faculty of Systems Engineering, Wakayama University |
| 3rd Author's Name | Shigemasa TAKAI |
| 3rd Author's Affiliation | Faculty of Systems Engineering, Wakayama University |
| Date | 2002/7/30 |
| Paper # | CST2002-13 |
| Volume (vol) | vol.102 |
| Number (no) | 259 |
| Page | pp.pp.- |
| #Pages | 4 |
| Date of Issue | |