Conformal Prediction Regions for Time Series using Linear Complementarity Programming (2304.01075v5)
Abstract: Conformal prediction is a statistical tool for producing prediction regions of machine learning models that are valid with high probability. However, applying conformal prediction to time series data leads to conservative prediction regions. In fact, to obtain prediction regions over $T$ time steps with confidence $1-\delta$, {previous works require that each individual prediction region is valid} with confidence $1-\delta/T$. We propose an optimization-based method for reducing this conservatism to enable long horizon planning and verification when using learning-enabled time series predictors. Instead of considering prediction errors individually at each time step, we consider a parameterized prediction error over multiple time steps. By optimizing the parameters over an additional dataset, we find prediction regions that are not conservative. We show that this problem can be cast as a mixed integer linear complementarity program (MILCP), which we then relax into a linear complementarity program (LCP). Additionally, we prove that the relaxed LP has the same optimal cost as the original MILCP. Finally, we demonstrate the efficacy of our method on case studies using pedestrian trajectory predictors and F16 fighter jet altitude predictors.
- Social lstm: Human trajectory prediction in crowded spaces. In Proceedings of the IEEE conference on computer vision and pattern recognition, 961–971.
- Conformal Prediction: A Gentle Introduction. Found. Trends Mach. Learn., 16(4): 494–591.
- Conformal risk control. arXiv preprint arXiv:2208.02814.
- Control of systems integrating logic, dynamics, and constraints. Automatica, 35(3): 407–427.
- Improved Online Conformal Prediction via Strongly Adaptive Online Learning. In Proceedings of the 40th International Conference on Machine Learning, ICML’23. JMLR.org.
- Applied Mathematical Programming. Addison-Wesley Publishing Company. ISBN 9780201004649.
- Guaranteed Dynamic Scheduling of Ultra-Reliable Low-Latency Traffic via Conformal Prediction. IEEE Signal Processing Letters.
- The linear complementarity problem. SIAM.
- Adaptive Conformal Prediction for Motion Planning among Dynamic Agents.
- Conformal prediction under feedback covariate shift for biomolecular design. Proceedings of the National Academy of Sciences, 119(43).
- Adaptive conformal inference under distribution shift. Advances in Neural Information Processing Systems, 34: 1660–1672.
- Conformal inference for online prediction with arbitrary distribution shifts. arXiv preprint arXiv:2208.08401.
- Gurobi Optimization, LLC. 2023. Gurobi Optimizer Reference Manual.
- Reliable Prediction Intervals with Directly Optimized Inductive Conformal Regression for Deep Learning. 5th International Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH 2018).
- Long short-term memory. Neural computation, 9(8): 1735–1780.
- iDECODe: In-Distribution Equivariance for Conformal Out-of-Distribution Detection. Proceedings of the AAAI Conference on Artificial Intelligence, 36(7): 7104–7114.
- CODiT: Conformal Out-of-Distribution Detection in Time-Series Data for Cyber-Physical Systems. In Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2023), 120–131.
- Regression Quantiles. Econometrica, 46(1): 33–50.
- Human trajectory forecasting in crowds: A deep learning perspective. IEEE Transactions on Intelligent Transportation Systems.
- Safe Planning in Dynamic Environments Using Conformal Prediction. IEEE Robotics and Automation Letters, 8(8): 5116–5123.
- Conformal prediction for stl runtime verification. In Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2023), 142–153.
- Sample-efficient safety assurances using conformal prediction. In Algorithmic Foundations of Robotics XV: Proceedings of the Fifteenth Workshop on the Algorithmic Foundations of Robotics, 149–169. Springer.
- Papadopoulos, H. 2008. Inductive conformal prediction: Theory and application to neural networks. In Tools in artificial intelligence. Citeseer.
- PAC Confidence Sets for Deep Neural Networks via Calibrated Prediction. In International Conference on Learning Representations.
- Model predictive control with signal temporal logic specifications. In 53rd IEEE Conference on Decision and Control, 81–87. IEEE.
- Conformalized quantile regression. Advances in neural information processing systems, 32.
- A Tutorial on Conformal Prediction. Journal of Machine Learning Research, 9(3).
- Conformal time-series forecasting. Advances in Neural Information Processing Systems, 34: 6216–6228.
- Learning Optimal Conformal Classifiers. In International Conference on Learning Representations.
- Copula Conformal Prediction for Multi-step Time Series Forecasting. arXiv:2212.03281.
- Conformal prediction under covariate shift. Advances in neural information processing systems, 32.
- Scalable Safe Long-Horizon Planning in Dynamic Environments Leveraging Conformal Prediction and Temporal Correlations. In Long-Term Human Motion Prediction Workshop, International Conference on Robotics and Automation.
- Physics Constrained Motion Prediction with Uncertainty Quantification. arXiv preprint arXiv:2302.01060.
- Reciprocal velocity obstacles for real-time multi-agent navigation. In 2008 IEEE international conference on robotics and automation, 1928–1935. Ieee.
- Vovk, V. 2012. Conditional validity of inductive conformal predictors. In Asian conference on machine learning, 475–490. PMLR.
- Algorithmic learning in a random world. Springer Science & Business Media.
- Moving Obstacle Avoidance: A Data-Driven Risk-Aware Approach. IEEE Control Systems Letters, 7: 289–294.
- Application of conformal prediction interval estimations to market makers’ net positions. In International Symposium on Conformal and Probabilistic Prediction with Applications.
- Conformal prediction interval for dynamic time-series. In International Conference on Machine Learning, 11559–11569. PMLR.
- Solving linear programs with complementarity constraints using branch-and-cut. Mathematical Programming Computation, 11(2): 267–310.
- Adaptive conformal predictions for time series. In International Conference on Machine Learning, 25834–25866. PMLR.