当前位置:
X-MOL 学术
›
arXiv.cs.SY
›
论文详情
Our official English website, www.x-mol.net, welcomes your
feedback! (Note: you will need to create a separate account there.)
A hybrid barrier certificate approach to satisfy linear temporal logic specifications
arXiv - CS - Systems and Control Pub Date : 2020-11-23 , DOI: arxiv-2011.11464 Andrea Bisoffi, Dimos V. Dimarogonas
arXiv - CS - Systems and Control Pub Date : 2020-11-23 , DOI: arxiv-2011.11464 Andrea Bisoffi, Dimos V. Dimarogonas
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.
中文翻译:
满足线性时序逻辑规范的混合屏障证书方法
在这项工作中,我们通过最近的混合动力系统形式主义,制定了对物理工厂的(语法上安全的)线性时间逻辑规范的满意度。为了解决这个问题,我们引入了对所谓的事件属性的这种混合系统框架的扩展,该框架适当地匹配了满足这种时间逻辑规范的条件。可以通过障碍证书来建立最终属性,我们可以从考虑的混合系统框架中获得该证书。使用混合障碍证书,我们提出了针对原始问题的解决方案。仿真表明了该方法的有效性。
更新日期:2020-11-25
中文翻译:
满足线性时序逻辑规范的混合屏障证书方法
在这项工作中,我们通过最近的混合动力系统形式主义,制定了对物理工厂的(语法上安全的)线性时间逻辑规范的满意度。为了解决这个问题,我们引入了对所谓的事件属性的这种混合系统框架的扩展,该框架适当地匹配了满足这种时间逻辑规范的条件。可以通过障碍证书来建立最终属性,我们可以从考虑的混合系统框架中获得该证书。使用混合障碍证书,我们提出了针对原始问题的解决方案。仿真表明了该方法的有效性。