One-Shot Learning of Ensembles of Temporal Logic Formulas for Anomaly Detection in Cyber-Physical Systems

Created by W.Langdon from gp-bibliography.bib Revision:1.8051

@InProceedings{Indri:2022:EuroGP,

• author = "Patrick Indri and Alberto Bartoli and Eric Medvet and Laura Nenzi",
• title = "One-Shot Learning of Ensembles of Temporal Logic Formulas for Anomaly Detection in Cyber-Physical Systems",
• booktitle = "EuroGP 2022: Proceedings of the 25th European Conference on Genetic Programming",
• year = "2022",
• editor = "Eric Medvet and Gisele Pappa and Bing Xue",
• series = "LNCS",
• volume = "13223",
• publisher = "Springer Verlag",
• address = "Madrid, Spain",
• pages = "34--50",
• month = "20-22 " # apr,
• organisation = "EvoStar, Species",
• keywords = "genetic algorithms, genetic programming, Ensemble learning, Grammar Guided Genetic Programming, Specification mining",
• isbn13 = "978-3-031-02055-1",
• URL = "https://medvet.inginf.units.it/publications/2022-c-ibmn-one/",
• DOI = "doi:10.1007/978-3-031-02056-8_3",
• code_url = "https://github.com/pindri/OneShot-ensemble-learning-anomaly-detection-MTS",
• size = "16 pages",
• abstract = "Cyber-Physical Systems (CPS) are prevalent in critical infrastructures and a prime target for cyber-attacks. Multivariate time series data generated by sensors and actuators of a CPS can be monitored for detecting cyber-attacks that introduce anomalies in those data. We use Signal Temporal Logic (STL) formulas to tightly describe the normal behavior of a CPS, identifying data instances that do not satisfy the formulas as anomalies. We learn an ensemble of STL formulas based on observed data, without any specific knowledge of the CPS being monitored. We propose an algorithm based on Grammar-Guided Genetic Programming (G3P) that learns the ensemble automatically in a single evolutionary run. We test the effectiveness of our data-driven proposal on two real-world datasets, finding that the proposed one-shot algorithm provides good detection performance.",
• notes = "http://www.evostar.org/2022/eurogp/ Part of \cite{Medvet:2022:GP} EuroGP'2022 held inconjunction with EvoApplications2022 EvoCOP2022 EvoMusArt2022",

}

Genetic Programming entries for Patrick Indri Alberto Bartoli Eric Medvet Laura Nenzi

Citations