Stanley Bak, Sergiy Bogomolov, Parasara Sridhar Duggirala, Adam R. Gerlach, Kostiantyn Potomkin. Reachability of Black-Box Nonlinear Systems after Koopman Operator Linearization. In Raphaël M. Jungers, Necmiye Ozay, Alessandro Abate, editors, 7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021. Volume 54 of IFAC-PapersOnLine, pages 253-258, Elsevier, 2021. [doi]
Abstract is missing.