基于延迟抽象的控制器合成
摘要：基于懒惰抽象的控制器合成方法（ABCS）用于连续时间非线性动力系统的达成-避免及安全规范。目前最先进的多层次ABCS方法预先计算多个不同粒度的有限状态抽象，并在可行的情况下将反应合成应用于最粗糙的抽象，但在必要时适应性地考虑更细的抽象。懒惰ABCS通过按需构造抽象改进了这种技术。我们认为，抽象迁移关系只需要在当前合成算法要求的精度下局部计算一小组前沿状态。我们展示了懒惰ABCS能够显著优于之前的多层次ABCS算法：在标准基准测试中，懒惰ABCS的速度比之前的快4倍以上。
作者：Kyle Hsu, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck
论文ID：1804.02722
分类：Systems and Control
分类简称：cs.SY
提交时间：2019-08-13