Reachability of Koopman linearized systems using explicit kernel approximation and polynomial zonotope refinement
From MaRDI portal
Cites work
- A Comprehensive Method for Reachability Analysis of Uncertain Nonlinear Hybrid Systems
- A data-driven approximation of the koopman operator: extending dynamic mode decomposition
- A kernel-based method for data-driven Koopman spectral analysis
- A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games
- An equation for continuous chaos
- Application de la théorie des équations intégrales linéaires aux systèmes d'équations différentielles non linéaires
- Automatic abstraction of non-linear systems using change of bases transformations
- Bifurcation analysis of the Watt governor system
- Bifurcation of periodic motions in two weakly coupled van der Pol oscillators
- Change-of-bases abstractions for non-linear hybrid systems
- Efficient quantum algorithm for dissipative nonlinear differential equations
- Error bounds for Carleman linearization of general nonlinear systems
- Fourier analysis on groups.
- Fully Automated Verification of Linear Systems Using Inner and Outer Approximations of Reachable Sets
- Hamiltonian Systems and Transformation in Hilbert Space
- scientific article; zbMATH DE number 1916891 (Why is no real title available?)
- scientific article; zbMATH DE number 1444352 (Why is no real title available?)
- Hybrid Systems: Computation and Control
- Numerical verification of affine systems with up to a billion dimensions
- Parsimonious, Simulation Based Verification of Linear Systems
- Reach set approximation through decomposition with low-dimensional sets and high-dimensional matrices
- Reach-Avoid Verification for Nonlinear Systems Based on Boundary Analysis
- Reachability Analysis of Large Linear Systems With Uncertain Inputs in the Krylov Subspace
- Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets
- Reachability of Koopman Linearized Systems Using Random Fourier Feature Observables and Polynomial Zonotope Refinement
- Reachability of weakly nonlinear systems using Carleman linearization
- Scalable extended dynamic mode decomposition using random kernel approximation
- Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis
- Utilizing dependencies to obtain subsets of reachable sets
This page was built for publication: Reachability of Koopman linearized systems using explicit kernel approximation and polynomial zonotope refinement
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6938562)
