arXiv cs.AI· Roderick Bloem, Benedikt Maderbacher, Cristinel Mateis, Dejan Ni\v{c}kovi\'{c}, Sergii Tkachov, Bj\"orn Ziegler·· 13 小时前AI 评分20
结合形式化规范与数据驱动信号分析的混合方法
Formal Specifications with Data-Driven Signal Analysis
AI 导读
研究者提出一种融合规范与数据驱动技术的混合方法，用于分析和监控实值信号：用带区间运算的正则表达式定位信号中的关注区域，用经典信号处理方法提取语义特征，再用半监督机器学习推断区分正常与故障行为的复杂关系。从正常行为数据中学到的关系可自动检测同一系统或其变体的异常行为，并在电压调节器上验证了有效性。
正文 · AI 翻译
摘要：开发模拟与混合系统需要大量难以在形式化规范中阐明的领域知识；若不付出额外努力，这些领域知识也无法被机器学习方法获取。我们提出一种用于分析和监测实值信号的混合方法，该方法融合了基于规范的技术与数据驱动技术。我们使用带区间运算的正则表达式来识别信号中的关注区域，使用经典信号处理方法提取具有语义意义的特征，并使用半监督机器学习来推断区分正确行为与故障行为的复杂关系。从正常行为数据中学习到的关系可以自动检测同一系统或其变体中的错误行为。我们在一个电压调节器上评估了该方法，证明了其在检测非期望系统行为方面的有效性。
| 主题： | 人工智能（cs.AI）；机器学习（cs.LG） |
| 引用为： | arXiv:2610.39007 [cs.AI] |
| （或 arXiv:2610.39007v1 [cs.AI] 用于此版本） | |
| https://doi.org/10.48550/arXiv.2610.39007 由 DataCite 颁发的 arXiv DOI |
提交历史
来自：Cristinel Mateis [查看电子邮件]
[v1]
2026年10月28日星期三 22:34:17 UTC（205 KB）
来源：arXiv cs.AI · arxiv.org