The OPS-SAT benchmark for detecting anomalies in satellite telemetry.

Bogdan Ruszczak Krzysztof Kotowski David Evans Jakub Nalepa

Published in: CoRR (2024)

Keyphrases

detecting anomalies
anomaly detection
production system
expert systems
data mining applications
abnormal events
remote sensing
sat solvers
satisfiability problem
phase transition
sat problem
data sets
search algorithm
preprocessing
data model
stochastic local search