Hybrid Signal Analysis for Formal System Specifications
October 30, 2026
A method integrates regular expressions, classical signal processing, and semi-supervised machine learning to monitor analog and hybrid systems. The approach uses learned normal behavior to detect faults in voltage regulators and similar real-valued signal environments.
HOW THIS AFFECTS YOU
●
builderThis provides a path for applying ML to hardware monitoring where formal specs are hard to write.
●
researcherThe hybrid use of interval-based regex and ML offers a structured way to handle semi-structured signal data.