Uncertainty Quantification of Autoencoder-based Koopman Operator
This paper proposes a method for uncertainty quantification of an autoencoder-based Koopman operator. The main challenge of using the Koopman operator is to design the basis functions for lifting the state. To this end, this paper builds an autoencoder to automatically search the optimal lifting basis functions with a given loss function. We approximate the Koopman operator in a finite-dimensional space with the autoencoder, while the approximated Koopman has an approximation uncertainty. To resolve the problem, we compute a robust positively invariant set for the approximated Koopman operator to consider the approximation error. Then, the decoder of the autoencoder is analyzed by robustness certification against approximation error using the Lipschitz constant in the reconstruction phase. The forced Van der Pol model is used to show the validity of the proposed method. From the numerical simulation results, we confirmed that the trajectory of the true state stays in the uncertainty set centered by the reconstructed state.
Code (0)
등록된 구현이 없습니다.
Tasks
DecoderUncertainty QuantificationSimilar Papers 제목 키워드 기반
Inverted Gaussian Process Optimization for Nonparametric Koopman Operator Discovery
The Koopman Operator Theory opens the door for application of rich linear systems theory for computationally efficient modeling and optimal control of nonlinear systems by providing a globally linear representation for c…
GPROperator learningUncertainty QuantificationLearning Spatio-Temporal Dynamics via Operator-Valued RKHS and Kernel Koopman Methods
We introduce a unified framework for learning the spatio-temporal dynamics of vector valued functions by combining operator valued reproducing kernel Hilbert spaces (OV-RKHS) with kernel based Koopman operator methods. T…
Loss Terms and Operator Forms of Koopman Autoencoders
Koopman autoencoders are a prevalent architecture in operator learning. But, the loss functions and the form of the operator vary significantly in the literature. This paper presents a fair and systemic study of these op…
FormOperator learningMori-Zwanzig latent space Koopman closure for nonlinear autoencoder
The Koopman operator presents an attractive approach to achieve global linearization of nonlinear systems, making it a valuable method for simplifying the understanding of complex dynamics. While data-driven methodologie…
Dimensionality ReductionKoopman Ensembles for Probabilistic Time Series Forecasting
In the context of an increasing popularity of data-driven models to represent dynamical systems, many machine learning-based implementations of the Koopman operator have recently been proposed. However, the vast majority…
Probabilistic Time Series ForecastingTime SeriesTime Series ForecastingUncertainty Quantification