RePAD: Real-Time Proactive Anomaly Detection for Time Series