LUNAR: A Runtime Verification Tool for Anomaly Detection in Gas Networks

We introduce LUNAR, a framework to detect and classify network anomalies. The tool is designed to (1) synthesize safety constraints expressed in Signal Temporal Logic (STL) based on network data; (2) detect anomalies in new samples wrt the STL constraints; (3) learn to classify anomaly types based on user labels of prior anomalies.