用ShapeIt挖掘形状表达式
Mining Shape Expressions with ShapeIt
摘要：
我们提出了ShapeIt，一个工具，用于挖掘规范的网络物理系统（CPS）从他们的实值行为。学习的规范是线性形状表达式的形式，这是一种声明性的正式规约语言，适合于表达实值信号上的行为属性。线性形状表达式是一种正则表达式，由作为原子符号的参数化线组成，线参数上带有符号约束。我们在这里提出的架构，我们的工具，随着规范挖掘算法的不同步骤。我们还描述了使用的工具，证明其适用性的几个案例研究，从不同的应用领域。
英文摘要：
We present ShapeIt, a tool for mining specifications of cyber-physical systems (CPS) from their real-valued behaviors. The learned specifications are in the form of linear shape expressions, a declarative formal specification language suitable to express behavioral properties over real-valued signals. A linear shape expression is a regular expression composed of parameterized lines as atomic symbols with symbolic constraints on the line parameters. We present here the architecture of our tool along with the different steps of the specification mining algorithm. We also describe the usage of the tool demonstrating its applicability on several case studies from different application domains.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
