| Presentation | 2024-03-14 Automated Stepwise Policy Design for Stepwise Discrete Controller Synthesis Takuto Yamauchi, Kenji Tei, Shinichi Honiden, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | Discrete Controller Synthesis (DCS) automatically synthesizes a safety-guaranteed behavioral specification for a given operating environment. Stepwise Discrete Controller Synthesis approached computational space reduction in DCS through a stepwise analysis of safety. This effect of computational space reduction depends on the stepwise policy that determines which safety features are to be analyzed first. However, stepwise policies have been manually designed for each system based on developers' experience. In this paper, we propose a stepwise policy algorithm that focuses on the number of monitored models. As a result, we have achieved an automated design of the staging policy that is expected to reduce the computational space by an average of 93.6%. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | Discrete Controller Synthesis / Labelled Transition System / Safety Property Guarantees |
| Paper # | KBSE2023-77 |
| 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) | Automated Stepwise Policy Design for Stepwise Discrete Controller Synthesis |
| Sub Title (in English) | |
| Keyword(1) | Discrete Controller Synthesis |
| Keyword(2) | Labelled Transition System |
| Keyword(3) | Safety Property Guarantees |
| 1st Author's Name | Takuto Yamauchi |
| 1st Author's Affiliation | Waseda University(Waseda Univ.) |
| 2nd Author's Name | Kenji Tei |
| 2nd Author's Affiliation | Tokyo Institute of Technology(Tokyo Tech.) |
| 3rd Author's Name | Shinichi Honiden |
| 3rd Author's Affiliation | Waseda University(Waseda Univ.) |
| Date | 2024-03-14 |
| Paper # | KBSE2023-77 |
| Volume (vol) | vol.123 |
| Number (no) | KBSE-443 |
| Page | pp.pp.73-75(KBSE), |
| #Pages | 3 |
| Date of Issue | 2024-03-07 (KBSE) |