| Presentation | 2019-01-15 A Study on Control Specifications Using LTL[F] for Supervisory Control Ami Sakakibara, Toshimitsu Ushio, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | LTL[$ mathcal{F} $] is a quantitative extension of linear temporal logic, whose evaluations are based on how well a specification is satisfied. In this report, we study control specifications using LTL[$ mathcal{F} $] for a supervisory control problem. LTL[$ mathcal{F} $] control specifications enable us to distinguish system behavior more explicitly than the conventional linear temporal logic. Furthermore, we discuss the effect of design parameters of control specifications on the supervisors. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | linear temporal logic / LTL[F] / control specification / supervisory control |
| Paper # | MSS2018-58,SS2018-29 |
| Date of Issue | 2019-01-08 (MSS, SS) |
| Conference Information | |
| Committee | MSS / SS |
|---|---|
| Conference Date | 2019/1/15(2days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | Morikazu Nakamura(Univ. of Ryukyus) / Akio Nakata(Hiroshima City Univ.) |
| Vice Chair | Shigemasa Takai(Osaka Univ.) / Takashi Kobayashi(Tokyo Inst. of Tech.) |
| Secretary | Shigemasa Takai(Toshiba) / Takashi Kobayashi(Osaka Univ.) |
| Assistant | Hideki Kinjo(Okinawa Univ.) / Shinpei Hayashi(Tokyo Inst. of Tech.) |
| Paper Information | |
| Registration To | Technical Committee on Mathematical Systems Science and its applications / Technical Committee on Software Science |
|---|---|
| Language | ENG-JTITLE |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | A Study on Control Specifications Using LTL[F] for Supervisory Control |
| Sub Title (in English) | |
| Keyword(1) | linear temporal logic |
| Keyword(2) | LTL[F] |
| Keyword(3) | control specification |
| Keyword(4) | supervisory control |
| 1st Author's Name | Ami Sakakibara |
| 1st Author's Affiliation | Osaka University(Osaka Univ.) |
| 2nd Author's Name | Toshimitsu Ushio |
| 2nd Author's Affiliation | Osaka University(Osaka Univ.) |
| Date | 2019-01-15 |
| Paper # | MSS2018-58,SS2018-29 |
| Volume (vol) | vol.118 |
| Number (no) | MSS-384,SS-385 |
| Page | pp.pp.25-28(MSS), pp.25-28(SS), |
| #Pages | 4 |
| Date of Issue | 2019-01-08 (MSS, SS) |