从时间序列综合参数化混合自动机
形式语言与自动机理论
2022-10-25 v1 人工智能
摘要
我们提出一种从时间序列数据综合线性混合自动机的算法方法。与现有方法不同，我们的方法提供一整族模型。该族中每个模型都保证以如下意义捕获输入数据直至精度误差 {\epsilon}：对每条时间序列，模型包含一个与该数据点 {\epsilon}-接近的执行。我们的构造允许从该族中有效选取具有最小精度误差 {\epsilon} 的模型。我们在两个案例研究中展示了算法的效率及其寻找精确模型的能力。
引用
@article{arxiv.2208.06383,
title = {Synthesis of Parametric Hybrid Automata from Time Series},
author = {Miriam García Soto and Thomas A. Henzinger and Christian Schilling},
journal= {arXiv preprint arXiv:2208.06383},
year = {2022}
}