从时间序列数据综合具有仿射动力学的混合自动机
系统与控制
2022-05-03 v1 系统与控制
摘要
嵌入式与信息物理系统的形式化设计依赖于数学建模。在本文中，我们考虑动力学由仿射微分方程定义的混合自动机这一模型类。给定一组时间序列数据，我们提出一种算法方法，用于综合一个混合自动机，其行为在指定精度内接近数据，并与数据同步变化。我们综合算法中的一个基本问题是检查时间序列是否属于某个混合自动机。我们的解决方案集成了仿射动力系统的可达性与优化技术，以获得成员关系的充分必要条件，并将其结合在一个精化框架中。该算法一次处理一个时间序列，因此可以被中断、提供中间结果并恢复。我们报告了实验结果表明我们综合方法的适用性。
引用
@article{arxiv.2102.12734,
title = {Synthesis of Hybrid Automata with Affine Dynamics from Time-Series Data},
author = {Miriam García Soto and Thomas A. Henzinger and Christian Schilling},
journal= {arXiv preprint arXiv:2102.12734},
year = {2022}
}