Login / Signup

Reachability of Koopman Linearized Systems Using Random Fourier Feature Observables and Polynomial Zonotope Refinement.

Stanley BakSergiy BogomolovBrandon HenceyNiklas KochdumperEthan LewKostiantyn Potomkin
Published in: CAV (1) (2022)
Keyphrases
  • building blocks
  • management system
  • real time
  • databases
  • neural network
  • information retrieval
  • image sequences
  • expert systems
  • feature set
  • intelligent systems
  • complex systems
  • fourier transform