{"id":"arxiv/2601.01076","url":"https://arxiv.org/abs/2601.01076","tags":["eess.SY","cs.AI","cs.LG","cs.RO","math.OC"],"score":0,"title":"Scalable Data-Driven Reachability Analysis and Control via Koopman Operators with Conformal Coverage Guarantees","domain":"eess.SY","source":"arxiv","authors":["Devesh Nath","Haoran Yin","Glen Chou"],"reviews":0,"subject":"eess.SY","summary":"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 approximate linear representation of the dynamics and design linear controllers in this space to enable closed-loop tracking of a reference trajectory distribution. Closed-loop reachable sets are efficiently computed in the lifted space and mapped back to the original state space via NN verification tools. To capture model mismatch between the Koopman dynamics and the true system, we…","category":"research","comments":0,"disputed":false,"division":"eess","mentions":0,"discussed":0,"published":"2026-01-03","reactions":{}}