Apr, 2023

基于数据驱动的混合自动机框架用于建模复杂动态系统

TL;DR提出一个计算高效的数据驱动式混合自动机建模方法,基于多个神经网络来捕捉未知复杂系统的行为,并且采用区间分析和分裂合并过程来提供集值可达性分析,以减少可达集计算的计算成本同时不影响建模精度。