• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

2022 Fiscal Year Research-status Report

Sampling-guided symbolic control framework under changing environments

Research Project

Project/Area Number 21K14191
Research InstitutionNational Institute of Advanced Industrial Science and Technology

Principal Investigator

プルエクプラサート サシニー  国立研究開発法人産業技術総合研究所, 情報・人間工学領域, 研究員 (50814795)

Project Period (FY) 2021-04-01 – 2024-03-31
Keywordssymbolic control / motion planning / robotics / control theory
Outline of Annual Research Achievements

During this academic year, there were two main research directions of the project.
1. The first direction is to extend the developed symbolic control framework to control and monitor multi-agent systems, focusing on nonholonomic robots.
2. The second direction is to study a safe learning approach using discrete (symbolic) structures.

Current Status of Research Progress
Current Status of Research Progress

2: Research has progressed on the whole more than it was originally planned.

Reason

The project is progressing smoothly. We are extending the developed symbolic controller synthesis algorithm to multi-agent systems.

Strategy for Future Research Activity

For the next academic year, which is the last phase of this research project, we will focus on extending the symbolic control algorithms to applications such as robots. We will perform simulations to demonstrate the effectiveness of the algorithms.

Causes of Carryover

The reason for incurring the amount to be used next fiscal year is that I cannot travel overseas due to the pandemic.

  • Research Products

    (4 results)

All 2022

All Journal Article (2 results) (of which Int'l Joint Research: 2 results,  Peer Reviewed: 2 results) Presentation (2 results) (of which Int'l Joint Research: 2 results)

  • [Journal Article] Dynamic Shielding for Reinforcement Learning in Black-Box Environments2022

    • Author(s)
      Waga Masaki、Castellano Ezequiel、Pruekprasert Sasinee、Klikovits Stefan、Takisaka Toru、Hasuo Ichiro
    • Journal Title

      Lecture Notes in Computer Science

      Volume: 13505 Pages: 25~41

    • DOI

      10.1007/978-3-031-19992-9_2

    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Logic for Timed Agent Network Topologies2022

    • Author(s)
      Eberhart Clovis、Haydon James、Dubut Jeremy、Cetinkaya Ahmet、Pruekprasert Sasinee
    • Journal Title

      Proceedings of the 61st Conference on Decision and Control (CDC)

      Volume: - Pages: 2870~2877

    • DOI

      10.1109/CDC51059.2022.9992550

    • Peer Reviewed / Int'l Joint Research
  • [Presentation] Dynamic Shielding for Reinforcement Learning in Black-Box Environments2022

    • Author(s)
      Waga Masaki、Castellano Ezequiel、Pruekprasert Sasinee、Klikovits Stefan、Takisaka Toru、Hasuo Ichiro
    • Organizer
      Automated Technology for Verification and Analysis (ATVA 2022)
    • Int'l Joint Research
  • [Presentation] Logic for Timed Agent Network Topologies2022

    • Author(s)
      Eberhart Clovis、Haydon James、Dubut Jeremy、Cetinkaya Ahmet、Pruekprasert Sasinee
    • Organizer
      2022 IEEE 61st Conference on Decision and Control (CDC)
    • Int'l Joint Research

URL: 

Published: 2023-12-25  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi