基于 Cantor-Kantorovich 度量的动态系统数据驱动记忆依赖抽象

动态系统的抽象使得能够使用更简单的（通常是离散的）模型对其进行验证和反馈控制器设计。在本文中，我们提出了一种基于马尔可夫模型间新度量的数据驱动抽象机制。我们的方法纯粹基于观察底层动态的输出标签，从而为构建抽象开辟了完全数据驱动方法的道路。所提方法的另一个特征是利用记忆来更好地表示状态空间给定区域内的动态。我们通过数值实例展示了所提方法的有效性。