arXiv cs.AI· Roderick Bloem, Benedikt Maderbacher, Cristinel Mateis, Dejan Ni\v{c}kovi\'{c}, Sergii Tkachov, Bj\"orn Ziegler·· 2 小时前AI 评分37
结合形式化规约与数据驱动信号分析的混合方法研究
Formal Specifications with Data-Driven Signal Analysis
AI 导读
研究者提出一种混合方法，用于分析、监测模拟与混合系统中的实值信号，融合基于规约与数据驱动两类技术：用带区间运算的正则表达式定位信号关注区域，用经典信号处理提取语义特征，再用半监督机器学习推断区分正常与故障行为的关系。从正常行为数据中学到的关系可自动检测同一系统或其变体中的异常行为。该方法在电压调节器上验证了对不良系统行为的检测效果。
正文 · 原文
Abstract:Developing analog and hybrid systems requires substantial domain knowledge that is hard to articulate in a formal specification; without additional effort, this domain knowledge is also inaccessible to machine learning methods. We propose a hybrid approach for analyzing and monitoring real-valued signals that integrates specification-based and data-driven techniques. We use regular expressions with interval operations to identify regions of interest in a signal, classical signal processing methods to extract semantically meaningful features, and semi-supervised machine learning to infer complex relationships that distinguish correct from faulty behaviors. The relationships learned from normal behavior data can automatically detect incorrect behavior in the same system or variants thereof. We evaluate the method on a voltage regulator, demonstrating its effectiveness in detecting undesired system behaviors.
| Subjects: | Artificial Intelligence (cs.AI); Machine Learning (cs.LG) |
| Cite as: | arXiv:2610.39007 [cs.AI] |
| (or arXiv:2610.39007v1 [cs.AI] for this version) | |
| https://doi.org/10.48550/arXiv.2610.39007 arXiv-issued DOI via DataCite |
Submission history
From: Cristinel Mateis [view email]
[v1]
Wed, 28 Oct 2026 22:34:17 UTC (205 KB)
来源：arXiv cs.AI · arxiv.org