Sampling-guided symbolic control framework under changing environments

2023 Fiscal Year Final Research Report

• Project/Area Number: 21K14191
• Research Category: Grant-in-Aid for Early-Career Scientists
• Allocation Type: Multi-year Fund
• Review Section: Basic Section 21040:Control and system engineering-related
• Research Institution: National Institute of Advanced Industrial Science and Technology (2022-2023); National Institute of Informatics (2021)
• Principal Investigator: Pruekprasert Sasinee 国立研究開発法人産業技術総合研究所, 情報・人間工学領域, 研究員 (50814795)
• Project Period (FY): 2021-04-01 – 2024-03-31
• Keywords: symbolic control / control theory / motion planning / robotics

Outline of Final Research Achievements

This research project studied safe control frameworks for semi-controlled environments in which some disturbance may occur. The overall goal of the project is to develop safe and efficient symbolic-structure-based control and verification techniques that are robust enough to handle systems under some nondeterminism and uncertainties. Throughout the research period, we developed efficient symbolic control algorithms for safety verification and control under temporal logic specficiations, and demonstrated their performances by simulations on nonholonomic robots. We studied a safe learning approach utilizing discrete symbolic structures. We also developed a moment approximation method of a stochastic polynomial system, which can be used for system safety verification.

Free Research Field

system control

Academic Significance and Societal Importance of the Research Achievements

Our research project provides safe system verification and control approaches that are suitable for managing safety-critical systems.