Pith. sign in

REVIEW 2 cited by

$L^\infty$-error bounds for approximations of the Koopman operator by kernel extended dynamic mode decomposition

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2403.18809 v2 pith:C7OJT4EE submitted 2024-03-27 math.DS cs.NAmath.NA

classification math.DScs.NAmath.NA
keywords kernelboundserrorkoopmanoperatorapproximationdecompositiondynamic
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

Extended dynamic mode decomposition (EDMD) is a well-established method to generate a data-driven approximation of the Koopman operator for analysis and prediction of nonlinear dynamical systems. Recently, kernel EDMD (kEDMD) has gained popularity due to its ability to resolve the challenging task of choosing a suitable dictionary by using the kernel's canonical features and, thus, data-informed observables. In this paper, we provide the first pointwise bounds on the approximation error of kEDMD. The main idea consists of two steps. First, we show that the reproducing kernel Hilbert spaces of Wendland functions are invariant under the Koopman operator. Second, exploiting that the learning problem given by regression in the native norm can be recast as an interpolation problem, we prove our novel error bounds by using interpolation estimates. Finally, we validate our findings with numerical experiments.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Kernel EDMD for data-driven nonlinear Koopman MPC with stability guarantees

    math.OC 2025-01 conditional novelty 6.0 of 10

    kEDMD-MPC: practical asymptotic stability of the MPC closed loop follows from cost controllability of the true system and pointwise proportional error bounds, without invariance assumptions.

  2. Two-component controller design to safeguard data-driven predictive control

    math.OC 2025-05 conditional novelty 4.0 of 10

    A two-controller architecture that uses a funnel controller to guarantee output constraints while a DeePC or EDMD-based predictive controller learns, permitting safe online data collection and tracking.

Pith tools