Reachability Analysis Using Spectrum of Koopman Operator
IEEE Control Systems Letters(2023)
摘要
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.
更多查看译文
关键词
Data-driven control,convex optimization,linear operator approach
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要