Reachability Analysis Using Spectrum of Koopman Operator
- 7 July 2022
- journal article
- research article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Control Systems Letters
- Vol. 7, 595-600
Abstract
This letter proposes using the Koopman operator for reachability analysis of an autonomous dynamical system. In particular, we demonstrate the application of spectral analysis of the Koopman operator involving eigenfunctions and eigenvalues in the approximate computation of forward and backward reachable sets for an autonomous dynamical system. The formal guarantees for the approximate reachable sets are provided using the Hausdorff distance between sets that measure how far the approximate reachable set is from the true reachable set. A computational framework based on convex optimization is provided to compute the Koopman spectrum and the approximate reachable set. Finally, we present simulation results to demonstrate the application of the developed framework.Keywords
Funding Information
- NSF (1932458)
This publication has 21 references indexed in Scilit:
- Eigendecompositions of Transfer Operators in Reproducing Kernel Hilbert SpacesJournal of Nonlinear Science, 2019
- Safe Over- and Under-Approximation of Reachable Sets for Autonomous Dynamical Systems2018
- Elements of Algebraic Topology2018
- Robotic Manipulators and Vehicles2018
- On Convergence of Extended Dynamic Mode Decomposition to the Koopman OperatorJournal of Nonlinear Science, 2017
- On dynamic mode decomposition: Theory and applicationsJournal of Computational Dynamics, 2014
- Linearization in the large of nonlinear systems and Koopman operator spectrumPhysica D: Nonlinear Phenomena, 2013
- Efficient Reachability Analysis for Linear Systems using Support FunctionsIFAC Proceedings Volumes, 2008
- Ellipsoidal Techniques for Reachability Analysis2000
- Chaos, Fractals, and Noise1994