Presentation | 2016-01-25 A Note on Bisimilarity Control of Nondeterministic Discrete Event Systems Naoki Kushi, Shigemasa Takai, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | In the previous work of bisimilarity control of nondeterministic discrete event systems, a supervisor has the set of marked states that is a subset of its set of states, so a supervisor not only disables the occurrence of an event in the plant but also influences the marking of the supervised plant in general. In this paper, we consider the bisimilarity control problem where the set of marked states of a supervisor is the same as the set of states. First, we derive sufficient conditions for the existence of such a supervisor and show that the conditions are verified in polinomial time. Then, we identify the subclass of supervisors whose existence is characterized by the sufficient conditions. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | Discrete event systems / Supervisory control / Nondeterministic systems / Bisimilarity control |
Paper # | MSS2015-38,SS2015-47 |
Date of Issue | 2016-01-18 (MSS, SS) |
Conference Information | |
Committee | SS / MSS |
---|---|
Conference Date | 2016/1/25(2days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | Shiinoki-Geihin-Kan |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | Shoji Yuen(Nagoya Univ.) / Satoshi Yamane(Kanazawa Univ.) |
Vice Chair | Kazuhiro Ogata(JAIST) / Morikazu Nakamura(Univ. of Ryukyus) |
Secretary | Kazuhiro Ogata(Tokyo Inst. of Tech.) / Morikazu Nakamura(Waseda Univ.) |
Assistant | Yoshiki Higo(Osaka Univ.) / Hideki Kinjo(Okinawa Univ.) |
Paper Information | |
Registration To | Technical Committee on Software Science / Technical Committee on Mathematical Systems Science and its applications |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | A Note on Bisimilarity Control of Nondeterministic Discrete Event Systems |
Sub Title (in English) | |
Keyword(1) | Discrete event systems |
Keyword(2) | Supervisory control |
Keyword(3) | Nondeterministic systems |
Keyword(4) | Bisimilarity control |
1st Author's Name | Naoki Kushi |
1st Author's Affiliation | Osaka University(Osaka Univ.) |
2nd Author's Name | Shigemasa Takai |
2nd Author's Affiliation | Osaka University(Osaka Univ.) |
Date | 2016-01-25 |
Paper # | MSS2015-38,SS2015-47 |
Volume (vol) | vol.115 |
Number (no) | MSS-419,SS-420 |
Page | pp.pp.19-22(MSS), pp.19-22(SS), |
#Pages | 4 |
Date of Issue | 2016-01-18 (MSS, SS) |