This invited paper unifies our recent work on the automated synthesis of strategy templates as robust certified interfaces for interacting autonomous systems. Strategy templates are similar to classical strategies typically computed by reactive software synthesis but contain a huge set of relevant strategies in a succinct and simple data structure. This permissiveness allows efficient adaptations to new specifications as well as robustness to unexpected actuation failures during runtime. In addition to these favorable engineering properties of strategy templates for cyber-physical systems (CPS), their permissiveness, efficient computability, and adaptability enables their use for the automated synthesis of certified interfaces among different interacting CPS. This paper discusses the foundations and applications of this novel control-inspired distributed reactive synthesis framework for different cooperation and partial-observation settings common for interacting CPS.

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

Strategy Templates

  • Ashwani Anand,
  • Satya Prakash Nayak,
  • Anne-Kathrin Schmuck

摘要

This invited paper unifies our recent work on the automated synthesis of strategy templates as robust certified interfaces for interacting autonomous systems. Strategy templates are similar to classical strategies typically computed by reactive software synthesis but contain a huge set of relevant strategies in a succinct and simple data structure. This permissiveness allows efficient adaptations to new specifications as well as robustness to unexpected actuation failures during runtime. In addition to these favorable engineering properties of strategy templates for cyber-physical systems (CPS), their permissiveness, efficient computability, and adaptability enables their use for the automated synthesis of certified interfaces among different interacting CPS. This paper discusses the foundations and applications of this novel control-inspired distributed reactive synthesis framework for different cooperation and partial-observation settings common for interacting CPS.