Anomaly Detection of Time Series with Smoothness-Inducing Sequential Variational Auto-Encoder