| Presentation | 2024-03-14 Dynamic update controller synthesis using on-the-fly exploration Takanori Hirano, Takuto Yamauchi, Kenji Tei, Shinichi Honiden, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | In discrete event systems that require continuous operation, it is necessary to update the system without stopping operation. Dynamic update controller synthesis is an automatic synthesis of update controllers to achieve dynamic updating of a controller-based system, but it requires an exponentially increasing computational space. In this study, we address the issue of reducing the computational space by using on-the-fly search in dynamic update controller synthesis. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | Dynamic update controller synthesis / on-the-fly exprolation / safety property guarantees |
| Paper # | KBSE2023-78 |
| Date of Issue | 2024-03-07 (KBSE) |
| Conference Information | |
| Committee | KBSE |
|---|---|
| Conference Date | 2024/3/14(2days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | Okinawa Prefectual General Welfare Center |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | Takuya Saruwatari(NTT Data) |
| Vice Chair | Yoshinori Tanabe(Tsurumi Univ.) |
| Secretary | Yoshinori Tanabe(BIPROGY) |
| Assistant | Takafumi Tanaka(Tamagawa Univ.) / Takashi Kitamura(AIST) |
| Paper Information | |
| Registration To | Technical Committee on Knowledge-Based Software Engineering |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Dynamic update controller synthesis using on-the-fly exploration |
| Sub Title (in English) | |
| Keyword(1) | Dynamic update controller synthesis |
| Keyword(2) | on-the-fly exprolation |
| Keyword(3) | safety property guarantees |
| 1st Author's Name | Takanori Hirano |
| 1st Author's Affiliation | Waseda University(Waseda Univ.) |
| 2nd Author's Name | Takuto Yamauchi |
| 2nd Author's Affiliation | Waseda University(Waseda Univ.) |
| 3rd Author's Name | Kenji Tei |
| 3rd Author's Affiliation | Tokyo Institute of Technology(Tokyo Tech.) |
| 4th Author's Name | Shinichi Honiden |
| 4th Author's Affiliation | National Institute of Informatics(NII) |
| Date | 2024-03-14 |
| Paper # | KBSE2023-78 |
| Volume (vol) | vol.123 |
| Number (no) | KBSE-443 |
| Page | pp.pp.76-78(KBSE), |
| #Pages | 3 |
| Date of Issue | 2024-03-07 (KBSE) |