灵活的计算流水线用于稳健的基于抽象的控制合成
摘要：构建强大的控制合成算法，需要结合领域知识并进行复杂的计算或数学权衡。本文介绍了一个灵活且可扩展的框架，用于构建强大的控制合成算法，并将其应用于传统的基于抽象的控制合成流程。该框架以关系接口理论为基础，提供了一种有原则的方法，可以无缝地结合不同的技术（如动态精度网格，合成时精炼抽象，或分解控制前任）或创建定制程序以利用应用程序的内在结构特性。以Dubins车辆为例，展示了内存和运行时的改进。
作者：Eric S. Kim, Murat Arcak, Sanjit A. Seshia
论文ID：1905.09503
分类：Systems and Control
分类简称：cs.SY
提交时间：2019-05-24