标题 全部准备​​好:JuliaReach的动手介绍 抽象的 JuliaReach是解决可访问性分析这一基本问题的同类最佳软件之一:可从所有初始状态以及所有允许的输入和参数计算动态系统可访问的状态集。 我们解释了Julia的多重派遣在该领域获得前所未有的灵活性和表现力的作用。 我们探索了多种应用,包括微分方程,混合系统和神经网络控制系统。 描述 我们介绍了 ,它是执行动态系统可达性分析的Julia生态系统。 JuliaReach以可靠的科学方法为基础,并两次(2018年和2020年)连续与混合系统应用验证( )年度友好竞赛的获胜者。 该研讨会包括的三个部分(分别是程序包):用于集合表示的核心程序包,用于可及性分析的主要程序包以及应用可及性分析的新程序包,可在控制,机器人和自治系统领域中使用。 在第一部分中,我们展示 ,它提供了将点集符号表示为几何形状的方法,特别着重于凸集和多面体逼近