专栏首页arxiv.org翻译专栏可控PtS TL公式的合成(CS AI)
原创

可控PtS TL公式的合成(CS AI)

在本文中,我们介绍了可控PtS TL公式的合成,在这项工作中,我们开发了一种利用信号时间逻辑(S TL)检测和预防异常问题的方法。 该方法包括两个步骤:检测异常的原因作为STL公式和通过控制器综合防止满足公式。 这项工作的重点是第一步,并提出了一个公式模板,使任何可控的原因都可以在这个模板中表示。 提出了一种综合公式的有效算法. 最后,在一个例子上显示了结果。

原文题目:Kontrol Edilebilir ptSTL Formulu Sentezi -- Synthesis of Controllable ptSTL Formulas

原文:In this work, we develop an approach to anomaly detection and prevention problem using Signal Temporal Logic (STL). This approach consists of two steps: detection of the causes of the anomalities as STL formulas and prevention of the satisfaction of the formula via controller synthesis. This work focuses on the first step and proposes a formula template such that any controllable cause can be represented in this template. An efficient algorithm to synthesize formulas in this template is presented. Finally, the results are shown on an example.

原文作者:Irmak Saglam,Ebru Aydin Gol

原文地址:https://arxiv.org/abs/2003.09918

原创声明,本文系作者授权云+社区发表,未经许可,不得转载。

如有侵权,请联系 yunjia_community@tencent.com 删除。

我来说两句

0 条评论
登录 后参与评论

相关文章

  • 蝙蝠式在结构上栖息动作的仿生研究:惯性动力学(CS RO)

    蝙蝠的飞行特性在无人机设计中被忽视了。与其他动物不同,蝙蝠在栖息时利用惯性动力学来表现空中翻转。受这一独特动作的启发,这项工作开发并使用了一个名为“鱼叉”的微型...

    时代在召唤
  • 自主舰队的分布式多目标跟踪(CS RO)

    我们提出了一种基于乘法器交替方向方法的可扩展分布式目标跟踪算法,该算法非常适合通过车对车网络进行通信的自动驾驶车队。 每个感测车辆与其邻居通信以执行类似卡尔曼滤...

    时代在召唤
  • YCB-M:用于对象识别和6DoF姿势估计的多相机RGB-D数据集(CS RO)

    尽管近年来引入了各种各样的3D相机,但是用于对象识别和姿态估计的大多数可公开获得的数据集都集中在一台相机上。在这项工作中,我们展示了由7个不同的3D相机捕获的3...

    时代在召唤
  • 危重症儿童管理相关政策的初步学习方法(CS AI)

    电子健康记录的增加使得从患者记录中自动提取医疗政策成为可能,以帮助开发临床决策支持系统。我们采用一种强化的统计相关学习(SRL)框架,从临床医院记录中学习概率规...

    RockNPeng
  • 神经二部匹配(CS ML)

    图神经网络已经发现在算法空间学习中的应用。但是,从理论计算机科学家的角度来看,现有研究选择的算法(排序,广度优先搜索,最短路径查找等)通常是微不足道的。该报告描...

    蔡秋纯
  • 释义与参照:同一枚硬币的两面(CS.CL)

    我们研究了两种不同的NLP任务之间的潜在协同作用,这两种任务都面临词汇变异性:识别谓词释义和事件共引用解析。首先,我们使用来自事件共参考数据集的注释作为远程监控...

    用户7236395
  • 存在输入延迟的非内省代理同构网络的调节状态同步:无标度协议设计

    本文研究了未知非均匀输入延迟情况下非内省智能体同构网络的调节状态同步问题。无标度协议是在附加信息交换的基础上设计的,它不需要任何有向网络拓扑和相关拉普拉斯矩阵谱...

    非过度曝光
  • 虚拟合成孔径雷达:基于深度学习的斑点噪声抑制算法的综合数据集(CS CV)

    合成孔径雷达(SAR)图像包含了大量的信息,但由于图像中存在斑点噪声,实际应用情况有限。近年来,基于深度学习的方法在去噪和图像恢复领域取得了显著的进步。然而,由...

    Elva
  • 具有魔力感的正式方法(cs.LO)

    机器学习和正式方法有互为补充的优点和缺点。在这项工作中,我们结合两个领域的技术来解决控制器设计问题。在深度强化学习(深度RL)中使用黑盒神经网络对这种组合提出了...

    Donuts_choco
  • 超几何系统多项式解解析复杂度的算法估计(cs)

    中文摘要:本文研究了二元完整Horn型超几何系统解的解析复杂性。我们得到了zonotopes定义的超几何系统的Puiseux多项式解的解析复杂性的估计。我们还提...

    用户7454091

扫码关注云+社区

领取腾讯云代金券