| Presentation | 2021-07-06 Visitor Route Planning in An Amusement Park Using Counting Temporal Logic Kotaro Nagae, Toshimitsu Ushio, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | In this paper, we propose a method for determining the route of visitors in an amusement park that avoids congestion using counting temporal logic. Since crowding is a factor that lowers the satisfaction level of visitors, we describe a capacity constraint for each attraction using linear temporal logic plus in order to relieve its congestion. Moreover, we use linear temporal logic to describe the demands of each visitor. We convert the formulas into a set of linear inequalities. Then, using an integer linear programming, we obtain a visiting route for each visitor that achieves his/her satisfaction as high as possible under the constraints. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | LTL / cLTL+ / amusement park / route planning |
| Paper # | CAS2021-13,VLD2021-13,SIP2021-23,MSS2021-13 |
| Date of Issue | 2021-06-28 (CAS, VLD, SIP, MSS) |
| Conference Information | |
| Committee | SIP / CAS / VLD / MSS |
|---|---|
| Conference Date | 2021/7/5(2days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | Online |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | Yukihiro Bandou(NTT) / Hiroki Sato(Sony LSI Design) / Kazutoshi Kobayashi(Kyoto Inst. of Tech.) / Atsuo Ozaki(Osaka Inst. of Tech.) |
| Vice Chair | Toshihisa Tanaka(Tokyo Univ. Agri.&Tech.) / Takayuki Nakachi(Ryukyu Univ.) / Yoshinobu Maeda(Niigata Univ.) / Minako Ikeda(NTT) / Shingo Yamaguchi(Yamaguchi Univ.) |
| Secretary | Toshihisa Tanaka(Xiaomi) / Takayuki Nakachi(Takushoku Univ.) / Yoshinobu Maeda(Tokyo Univ. Agri.&Tech.) / Minako Ikeda(Sony LSI Design) / Shingo Yamaguchi(NIT, Toyama college) |
| Assistant | Taichi Yoshida(UEC) / Seisuke Kyochi(Univ. of Kitakyushu) / Motoi Yamaguchi(TECHNOPRO) / Yohei Nakamura(Hitachi) / Takahide Sato(Univ. of Yamanashi) / Yasutoshi Aibara(Murata Manufacturing) / / Masato Shirai(Shimane Univ.) |
| Paper Information | |
| Registration To | Technical Committee on Signal Processing / Technical Committee on Circuits and Systems / Technical Committee on VLSI Design Technologies / 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) | Visitor Route Planning in An Amusement Park Using Counting Temporal Logic |
| Sub Title (in English) | |
| Keyword(1) | LTL |
| Keyword(2) | cLTL+ |
| Keyword(3) | amusement park |
| Keyword(4) | route planning |
| 1st Author's Name | Kotaro Nagae |
| 1st Author's Affiliation | Osaka University(Osaka Univ.) |
| 2nd Author's Name | Toshimitsu Ushio |
| 2nd Author's Affiliation | Osaka University(Osaka Univ.) |
| Date | 2021-07-06 |
| Paper # | CAS2021-13,VLD2021-13,SIP2021-23,MSS2021-13 |
| Volume (vol) | vol.121 |
| Number (no) | CAS-89,VLD-90,SIP-91,MSS-92 |
| Page | pp.pp.64-69(CAS), pp.64-69(VLD), pp.64-69(SIP), pp.64-69(MSS), |
| #Pages | 6 |
| Date of Issue | 2021-06-28 (CAS, VLD, SIP, MSS) |