使用ShapeIt挖掘形状表达式
软件工程
2021-11-03 v2
摘要
我们提出ShapeIt，一种从信息物理系统（CPS）的实数值行为中挖掘规约的工具。学习到的规约采用线性形状表达式的形式，这是一种声明式形式化规约语言，适用于表达实数值信号上的行为性质。线性形状表达式是由参数化直线作为原子符号、并对直线参数施加符号约束的正则表达式。我们在此介绍该工具的架构以及规约挖掘算法的各个步骤。我们还描述了该工具的使用，展示了其在来自不同应用领域的若干案例研究中的适用性。
引用
@article{arxiv.2109.11999,
title = {Mining Shape Expressions with ShapeIt},
author = {Ezio Bartocci and Jyotirmoy Deshmukh and Cristinel Mateis and Eleonora Nesterini and Dejan Nickovic and Xin Qin},
journal= {arXiv preprint arXiv:2109.11999},
year = {2021}
}