Skip to content

A Neural-Symbolic Dynamic Graph Framework for Real-Time Anomaly Detection in Software-Defined Industrial Cyber-Physical Systems

Sep 2026 · Engineering Research Express
Smart Grid Security and Resilience

Abstract

Abstract Software-defined industrial cyber-physical systems (SD-ICPS) face emerging security challenges as sensor measurements, system logs, and network traffic become increasingly interconnected under stringent timing requirements. Most existing anomaly detection methods rely on a single modality, provide limited modeling of cross-modal attack evidence, and assume a static graph structure, which restricts their ability to capture topology changes caused by SDN reconfiguration. Given the above deficiencies, this paper introduces NS-MFM-DGA, a neural-symbolic multimodal foundation model that incorporates dynamic graph attention for real-time anomaly detection in SD-ICPS. The framework aligns heterogeneous data through cross-modal contrastive learning, adapts to changes in industrial network topology, and incorporates symbolic domain knowledge to improve interpretability. Experiments on the two public testbed datasets, a synthetic SDN-CPS benchmark and an in-house SD-ICPS testbed, have shown that NS-MFM-DGA achieves a 94.2% F1-score on SWaT with an average inference latency of 23.0 ms. Compared with the ten baselines, it has improved the mean F1-score by 15.2 percentage points over the average of the baselines and by 4.1 percentage points over the best baseline. The measured detector-side inference latency satisfies the 100 ms supervisory detection budget under the evaluated hardware and workload conditions, supporting online deployment at the supervisory monitoring layer. Therefore, NS-MFM-DGA provides a feasible and explainable low-latency anomaly-detection framework for supervisory monitoring in SD-ICPS.

View source

Similar papers

#computer vision Conference Aug 2008

Scrum in a Multiproject Environment: An Ethnographically-Inspired Case Study on the Adoption Challenges

Agile methods continue to gain popularity. In particular, the Scrum method appears to be on the verge of becoming a de-facto standard in the industry, leading the so called Agile movement. While there are success stories and recommendations, there is little scientifically valid evidence of the challenges in the adoption of Agile methods in general, and Scrum in particular. Little, if anything, is empirically known about the application and adoption of Scrum in a multi-team and multi-project situation. The authors carried out an ethnographically informed longitudinal case study in industrial settings and closely followed how the Scrum method was adopted in a 20-person department, working in a simultaneous multi-project R&D environment. Altogether 10 challenges pertinent to the case of multi-team multi-project Scrum adoption were identified in the study. The authors contend that these results carry great relevance for other industrial teams. Future research avenues arising from the study are indicated.

A. Marchenko, P. Abrahamsson · 59 citations · ⚡11
#computer vision Open access Sep 2012

Making the leap to a software platform strategy: Issues and challenges

A comprehensive taxonomy of the challenges faced when a medium-scale organization decided to adopt software platforms is provided, namely: business challenges, organizational challenges, technical challenges, and people challenges.

Yaser Ghanam, F. Maurer, P. Abrahamsson · 41 citations · ⚡3
#machine learning Open access Mar 2024

Integration of molecular coarse-grained model into geometric representation learning framework for protein-protein complex property prediction

MCGLPPI, a novel geometric representation learning framework that combines graph neural networks (GNNs) with the MARTINI molecular coarse-grained (CG) model to predict overall PPI properties accurately and efficiently, offers an effective and efficient solution for PPI overall property predictions.

Yang Yue, Shu Li, Yihua Cheng et al. · 15 citations

PepPCBench is a Comprehensive Benchmarking Framework for Protein-Peptide Complex Structure Prediction

PepPCBench enables a robust evaluation of PFNN-based methods and supports their continued development for peptide-protein structure prediction, and highlights the influence of peptide length, conformational flexibility, and training set similarity on prediction accuracy.

Si-Long Zhai, Huifeng Zhao, Ji-Ke Wang et al. · 13 citations · ⚡1
#machine learning Open access Sep 2025

Unified and explainable molecular representation learning for imperfectly annotated data from the hypergraph view

OmniMol is presented, a framework using hypergraphs to improve predictions of molecular properties, addressing challenges of imperfect data annotation and enhancing model explainability, and achieves state-of-the-art performance in properties prediction.

Bowen Wang, Junyou Li, Donghao Zhou et al. · 11 citations

Related blog posts

Microsoft Research Blog Jul 13, 2026

Verifying Rust cryptography in SymCrypt, from standards to code

Cryptographic code supports vital protections in modern computing systems. Learn how a new method helps verify code as developers write it while preserving speed and adaptability as it gets implemented and evolves. The post Verifying Rust cryptography in SymCrypt, from standards to code appeared first on Microsoft Research.

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.