Presentation | 2012-07-03 Computation of Sublanguages for Synthesizing Decentralized Supervisors for Timed Discrete Event Systems Masashi NOMURA, Shigemasa TAKAI, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | In this paper, we study decentralized supervisory control of timed discrete event systems, where we adopt the OR rule for fusing local enablement decisions and the AND rule for fusing local enforcement decisions. Under these rules, necessary and sufficient conditions for the existence of a decentralized supervisor that achieves a given specification language are easily obtained from the existing result. If a given specification language does not satisfy these existence conditions, we must compute its sublanguage satisfying them. The main contribution of this paper is proposing a method for computing such a sublanguage under a certain assumption. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | timed discrete event system / supervisory control / decentralized control / forcible event |
Paper # | CAS2012-28,VLD2012-38,SIP2012-60,MSS2012-28 |
Date of Issue |
Conference Information | |
Committee | MSS |
---|---|
Conference Date | 2012/6/25(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 | Mathematical Systems Science and its applications(MSS) |
---|---|
Language | ENG |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | Computation of Sublanguages for Synthesizing Decentralized Supervisors for Timed Discrete Event Systems |
Sub Title (in English) | |
Keyword(1) | timed discrete event system |
Keyword(2) | supervisory control |
Keyword(3) | decentralized control |
Keyword(4) | forcible event |
1st Author's Name | Masashi NOMURA |
1st Author's Affiliation | Graduate School of Engineering, Osaka University() |
2nd Author's Name | Shigemasa TAKAI |
2nd Author's Affiliation | Graduate School of Engineering, Osaka University |
Date | 2012-07-03 |
Paper # | CAS2012-28,VLD2012-38,SIP2012-60,MSS2012-28 |
Volume (vol) | vol.112 |
Number (no) | 116 |
Page | pp.pp.- |
#Pages | 6 |
Date of Issue |