Accurately evaluating the behavioral patterns of robots in complex dynamic environments can ensure the reliability of their operation. Among them, trajectory evaluation provides a data foundation for the safety and effectiveness of robots. However, existing single-dimensional evaluation methods fail to capture the full trajectory characteristics, particularly lacking in continuous assessment for trajectory under dynamic environments. To address this issue, this paper proposes a spatio-temporal fusion evaluation method based on signal temporal logic (STL), which aims to integrate the temporal characteristics and spatial distribution to evaluate sequential trajectory. This method initially identifies robots’ behavioral patterns and performance indicators through the analysis of trajectory signals and the extraction of sequential features. Subsequently, the behavior of robots is defined using formal semantic logic by constructing STL formulas in both temporal and spatial domains, and these formulas are optimized through a reinforcement learning algorithm. Finally, logical fusion in the spatio-temporal domain is applied to recognize the assessment levels corresponding to various trajectories. To validate this method, simulation data is utilized to evaluate robot performance across various behaviors, thereby confirming the effectiveness of this evaluation approach.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Spatio-Temporal Signal Evaluation of Robots Trajectories Based on Signal Temporal Logic

  • Gang Yan,
  • Song Liu,
  • Lunfei Liang,
  • He Wang,
  • Xiaojun Zhu,
  • Geng Chen,
  • Yan Pan,
  • Haifeng Huang

摘要

Accurately evaluating the behavioral patterns of robots in complex dynamic environments can ensure the reliability of their operation. Among them, trajectory evaluation provides a data foundation for the safety and effectiveness of robots. However, existing single-dimensional evaluation methods fail to capture the full trajectory characteristics, particularly lacking in continuous assessment for trajectory under dynamic environments. To address this issue, this paper proposes a spatio-temporal fusion evaluation method based on signal temporal logic (STL), which aims to integrate the temporal characteristics and spatial distribution to evaluate sequential trajectory. This method initially identifies robots’ behavioral patterns and performance indicators through the analysis of trajectory signals and the extraction of sequential features. Subsequently, the behavior of robots is defined using formal semantic logic by constructing STL formulas in both temporal and spatial domains, and these formulas are optimized through a reinforcement learning algorithm. Finally, logical fusion in the spatio-temporal domain is applied to recognize the assessment levels corresponding to various trajectories. To validate this method, simulation data is utilized to evaluate robot performance across various behaviors, thereby confirming the effectiveness of this evaluation approach.