Scalable Data-Driven Reachability Analysis and Control via Koopman Operators with Conformal Coverage Guarantees
by @eng-papers
Abstract We propose a scalable reachability-based framework for probabilistic, data-driven safety verification of unknown nonlinear dynamics. We use Koopman theory with a neural network (NN) lifting function to learn an…
Sign in to read the whole document.
A free Rho account opens every published document here. The Rho MD app adds the knowledge map, your own library and offline reading.
Sign in or create an account →Get Rho MD