定量偏好下的规范自动机修订
摘要：对基于自动机的控制综合问题中的优先级规范进行修改的问题进行了研究。在这类修订问题中，用户对规范中的子目标的可取性进行了数值排名。当系统无法满足规范时，我们的算法会自动修改规范，以移除用户最不希望达到的目标。我们提出了两个不同的具有偏好的修订问题版本。在第一个版本中，算法返回一个精确的解，而在第二个版本中，算法是一个具有非常数近似比的近似算法。最后，我们展示了算法的可扩展性，并在随机问题实例上实验性地研究了近似算法的近似比。
作者：Kangjin Kim and Georgios Fainekos
论文ID：1402.3611
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2014-02-18