Optimized Data-Driven Koopman-based Polytopic Linear Difference Inclusions for Nonlinear Systems

This repository contains code and data to re-create the numerical results shown in "Optimized Data-Driven Koopman-based Polytopic Linear Difference Inclusions for Nonlinear Systems" The code implements a data-driven method for constructing and refining Koopman-based polytopic linear difference inclusion vertices for nonlinear systems.