ReLiNet: Stable and Explainable Multistep Prediction with Recurrent Linear Parameter Varying Networks
Alexandra Baier, Decky Aspandi, Steffen Staab
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence (IJCAI), 2023.
Abstract
Multistep prediction models are essential for the simulation and model-predictive control of dynamical systems. Verifying the safety of such models is a multi-faceted problem requiring both system-theoretic guarantees as well as establishing trust with human users. In this work, we propose a novel approach, ReLiNet (Recurrent Linear Parameter Varying Network), to ensure safety for multistep prediction of dynamical systems. Our approach simplifies a recurrent neural network to a switched linear system that is constrained to guarantee exponential stability, which acts as a surrogate for safety from a system-theoretic perspective. Furthermore, ReLiNet’s computation can be reduced to a single linear model for each time step, resulting in predictions that are explainable by definition, thereby establishing trust from a human-centric perspective. Our quantitative experiments show that ReLiNet achieves prediction accuracy comparable to that of state-of-the-art recurrent neural networks, while achieving more faithful and robust explanations compared to the model-agnostic explanation method of LIME.Links
BibTeX
@inproceedings{Baier2023,
title = {ReLiNet: Stable and Explainable Multistep Prediction with Recurrent Linear Parameter Varying Networks},
author = {Baier, Alexandra and Aspandi, Decky and Staab, Steffen},
year = {2023},
booktitle = {Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence (IJCAI)},
publisher = {International Joint Conferences on Artificial Intelligence Organization},
added-at = {2023-06-13T10:22:08.000+0000},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/258e3d8a67f20a1766353bcb2fdf910b1/alexbaier},
interhash = {2e996c3803dd3030b150002c1cabf6a1},
intrahash = {58e3d8a67f20a1766353bcb2fdf910b1},
keywords = {},
timestamp = {2023-06-13T10:22:37.000+0000}
}