机构名称：
¥ 1.0
摘要 - 我们提出了一个称为Interval信号时间逻辑（I-STL）的信号时间逻辑（STL）的间隔扩展。给定STL公式，我们考虑其每个谓词的间隔包含函数。然后，我们使用最小的最小包含函数和最大函数递归构建一个间隔鲁棒性，这是原始STL公式的鲁棒性的自然包含函数。所产生的间隔语义可容纳，例如，不确定的信号模型为间隔的信号和不确定的谓词，以适当的包含功能建模。在许多情况下，为STL开发的验证或合成算法适用于I-STL的理论和算法最小的变化，并且可以在可忽略不计的计算费用下使用间隔算术套件轻松扩展现有代码。为了证明I-STL，我们提供了一个从硬件实验获得的不符合信号跟踪的频率监视的示例，以及一个强大的在线控制合成典型的示例，从而强制执行具有不确定谓词的STL公式。
自然包含函数的间隔信号时间逻辑
主要关键词
相关文件推荐
