Scholarlink

In response to the varied application scenarios of Human-Cyber-Physical Systems (HCPS) and the dynamic roles humans play, we have introduced three specialized controller frameworks: H-CP, C-HP, and HP-CP. We designed and implemented these controllers using a formal synthesis methodology, ensuring a rigorous approach to system design. By incorporating Linear Temporal Logic (LTL) into our formal synthesis process, we have enhanced the safety and efficiency of the system. To validate our methodology, we conducted three experiments. The results of these experiments demonstrate the effectiveness of our controllers in a range of HCPS applications.

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

Generation of Human-Cyber-Physical Controller Based on Formal Synthesis

  • 会议论文

  • 发表日期：

    2025年

查看全文
  • Yong Zhang,
  • Dong Yang,
  • Yanqi Dong,
  • Sirui Liu,
  • Wei Dong

摘要

In response to the varied application scenarios of Human-Cyber-Physical Systems (HCPS) and the dynamic roles humans play, we have introduced three specialized controller frameworks: H-CP, C-HP, and HP-CP. We designed and implemented these controllers using a formal synthesis methodology, ensuring a rigorous approach to system design. By incorporating Linear Temporal Logic (LTL) into our formal synthesis process, we have enhanced the safety and efficiency of the system. To validate our methodology, we conducted three experiments. The results of these experiments demonstrate the effectiveness of our controllers in a range of HCPS applications.