| Presentation | 2018-06-15 Bisimilarity Control of Partially Observed Nondeterministic Discrete Event Systems with Deterministic Specifications Yuki Nakago, Shigemasa Takai, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | For nondeterministic discrete event systems with deterministic control specifications, necessary and sufficient conditions for the existence of a supervisorthat solves the bisimilarity control problem under full event observationhave been presented in the literature. However, all events are not necessarily observable. In this paper, we derive necessary and sufficient conditions for the existence of a solution to the bisimilarity control problem under partial event observation, provided that all controllable events are observable. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | nondeterministic discrete event system / bisimilarity control / supervisor / partial observation |
| Paper # | CAS2018-21,VLD2018-24,SIP2018-41,MSS2018-21 |
| Date of Issue | 2018-06-07 (CAS, VLD, SIP, MSS) |
| Conference Information | |
| Committee | CAS / SIP / MSS / VLD |
|---|---|
| Conference Date | 2018/6/14(2days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | Hokkaido Univ. (Frontier Research in Applied Sciences Build.) |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | System and Signal Processing, etc |
| Chair | Hideaki Okazaki(Shonan Inst. of Tech.) / Shogo Muramatsu(Niigata Univ.) / Morikazu Nakamura(Univ. of Ryukyus) / Noriyuki Minegishi(Mitsubishi Electric) |
| Vice Chair | Taizo Yamawaki(Hitachi) / Naoyuki Aikawa(TUS) / Kazunori Hayashi(Osaka City Univ) / Shigemasa Takai(Osaka Univ.) / Nozomu Togawa(Waseda Univ.) |
| Secretary | Taizo Yamawaki(Shonan Inst. of Tech.) / Naoyuki Aikawa(Hitachi) / Kazunori Hayashi(Takushoku Univ.) / Shigemasa Takai(Hiroshima Univ.) / Nozomu Togawa(Toshiba) |
| Assistant | Motoi Yamaguchi(Renesas Electronics) / / Hideki Kinjo(Okinawa Univ.) |
| Paper Information | |
| Registration To | Technical Committee on Circuits and Systems / Technical Committee on Signal Processing / Technical Committee on Mathematical Systems Science and its applications / Technical Committee on VLSI Design Technologies |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Bisimilarity Control of Partially Observed Nondeterministic Discrete Event Systems with Deterministic Specifications |
| Sub Title (in English) | |
| Keyword(1) | nondeterministic discrete event system |
| Keyword(2) | bisimilarity control |
| Keyword(3) | supervisor |
| Keyword(4) | partial observation |
| 1st Author's Name | Yuki Nakago |
| 1st Author's Affiliation | Osaka University(Osaka Univ.) |
| 2nd Author's Name | Shigemasa Takai |
| 2nd Author's Affiliation | Osaka University(Osaka Univ.) |
| Date | 2018-06-15 |
| Paper # | CAS2018-21,VLD2018-24,SIP2018-41,MSS2018-21 |
| Volume (vol) | vol.118 |
| Number (no) | CAS-82,VLD-83,SIP-84,MSS-85 |
| Page | pp.pp.111-114(CAS), pp.111-114(VLD), pp.111-114(SIP), pp.111-114(MSS), |
| #Pages | 4 |
| Date of Issue | 2018-06-07 (CAS, VLD, SIP, MSS) |