论文标题
混合障碍证书方法以满足线性时间逻辑规格
A hybrid barrier certificate approach to satisfy linear temporal logic specifications
论文作者
论文摘要
在这项工作中，我们通过最近的混合动力学系统形式主义制定了物理植物（句法）线性时间逻辑规范的满意度。为了解决此问题，我们将这种混合系统框架引入了所谓的最终属性的这种混合系统框架，该属性适当地匹配了满足这种时间逻辑规范的条件。最终的属性可以通过屏障证书建立，我们为经过考虑的混合系统框架提供了该属性。使用混合屏障证书，我们为原始问题提供了解决方案。模拟说明了提出的方法的有效性。
In this work we formulate the satisfaction of a (syntactically co-safe) linear temporal logic specification on a physical plant through a recent hybrid dynamical systems formalism. In order to solve this problem, we introduce an extension to such a hybrid system framework of the so-called eventuality property, which matches suitably the condition for the satisfaction of such a temporal logic specification. The eventuality property can be established through barrier certificates, which we derive for the considered hybrid system framework. Using a hybrid barrier certificate, we propose a solution to the original problem. Simulations illustrate the effectiveness of the proposed method.
