| 研究課題/領域番号 |
21K14191
|
|---|
| 研究機関 | 国立情報学研究所 |
|---|
研究代表者 |
プルエクプラサート サシニー 国立情報学研究所, 大学共同利用機関等の部局等, 特任研究員 (50814795)
|
|---|
| 研究期間 (年度) |
2021-04-01 – 2024-03-31
|
| キーワード | symbolic control / temporal logic / control theory / motion planning / robotics |
|---|
| 研究実績の概要 |
During the first year (the academic year 2021), I have been working on two research directions for the project.
1) The first direction is to develop an algorithm to shorten the computation time of a symbolic controller under temporal logic specifications. For this direction, the main techniques are reachability analysis, numerical sampling, and heuristic pruning.
2) The second direction is to develop verification and control techniques for distributed and multi-agent systems.
The overall goal is to develop a safe and efficient symbolic controller synthesis technique that is robust enough to handle systems under changing environments, such as a shared environment between multi-agent systems.
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
The project is progressing smoothly as planned. We developed a fast symbolic controller synthesis algorithm using sampling and heuristic pruning, which is the first phase of the project.
|
| 今後の研究の推進方策 |
For the next step, the project will further improve the fast symbolic controller synthesis algorithm developed during the first phase to handle a larger class of temporal logic specifications. Then, we will develop robust control techniques for systems under changing environments.
|
| 次年度使用額が生じた理由 |
The reason for incurring amount to be used next fiscal year is due to canceled trips. This amount will be used for further trips when the global pandemic situation gets better.
|
