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…
This document lives in the Rho MD app.
Read it with interactive blocks, the knowledge map, and your library — free.
Get Rho MD →