这个repo包含了我们两篇论文的MATLAB代码:1- Amr Alanwar、Anne Koch、Frank Allgower、Karl Johansson 提出的基于矩阵zonotope的数据驱动可达性分析,发表于第三届年度动态和控制学习会议;2- Amr Alanwar、Anne Koch、Frank Allgower、Karl Johansson 提交给IEEE Transactions on Automatic Control 的基于噪声数据的数据驱动可达性分析。考虑到系统模型未知,我们专注于从噪声数据进行可达性分析,这是先进可达性分析方法的重要应用。我们引入了矩阵zonotope和约束矩阵zonotope两种集合表示方法,以应对系统复杂性和数据获取的挑战。详细内容请参见examples-basic文件夹和examples-cmz文件夹。下图概述了我们研究的主要思路。