Language-guided controller synthesis for discrete-time linear systems
Language-guided controller synthesis for discrete-time linear systems
复制标题
离散时间线性系统的语言引导控制器综合
DOI：
10.1145/2185632.2185649
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
C. Belta
中科院分区：
文献类型：
--
作者：
Ebru Aydin Gol;M. Lazar;C. Belta
本文考虑离散时间线性系统的控制问题，从规范给出的语法共安全线性时态逻辑的线性谓词在系统的状态变量的公式。一个系统的程序开发的初始状态和反馈控制器的自动计算，使相应的闭环系统的所有轨迹满足给定的规格。该过程是基于迭代的建设和完善的自动机，强制执行的公式的满意度。插值和多面体李雅普诺夫函数为基础的方法，提出了计算多面体到多面体控制器，标签的自动机的过渡。本文中开发的算法被实现为一个软件包，可供下载。他们的应用和有效性证明了两个具有挑战性的案例研究。
This paper considers the problem of controlling discrete-time linear systems from specifications given as formulas of syntactically co-safe linear temporal logic over linear predicates in the state variables of the system. A systematic procedure is developed for the automatic computation of sets of initial states and feedback controllers such that all the resulting trajectories of the corresponding closed-loop system satisfy the given specifications. The procedure is based on the iterative construction and refinement of an automaton that enforces the satisfaction of the formula. Interpolation and polyhedral Lyapunov function based approaches are proposed to compute the polytope-to-polytope controllers that label the transitions of the automaton. The algorithms developed in this paper were implemented as a software package that is available for download. Their application and effectiveness are demonstrated for two challenging case studies.