DaDRA公司 swMATH ID: 40400 软件作者： Jared Mejia、Alex Devonport、Murat Arcak 描述： DaDRA：用于数据驱动可达性分析的Python库。可达性分析用于确定系统在不确定性下可能达到的所有可能状态。对于安全验证和控制器合成而言，获得各种安全关键系统的保证是一个关键组件。尽管可达性分析的传统方法提供了可达集的形式保证，但它们涉及复杂的算法，需要完整的系统信息，这在现实世界中是不切实际的。我们提出了DaDRA，这是一个Python库，它允许使用任意稳健的概率保证进行数据驱动的可达性分析。我们演示了DaDRA在各种系统上的实际功能，包括：分析难处理的混沌系统、非线性动力学系统的基准，以及在复杂干扰信号下工作并由复杂控制器跨多个维度控制的现实系统。 主页： https://dadra.readthedocs.io/en/latest/intro.html 源代码： https://github.com/jaredmejia/dadra 依赖项： 蟒蛇 关键词： 系统和控制;arXiv_eess（_E）。SY公司;DaDRA公司;蟒蛇;数据驱动;可达性分析;安全验证;控制 相关软件： 阿里阿德涅;伊莎贝尔/HOL;NLTOOLBOX（NL工具箱）;JuliaReach公司;蟒蛇 引用于： 0个文档 标准条款 1出版物描述软件 年份 DaDRA：用于数据驱动可达性分析的Python库arXiv公司Jared Mejia、Alex Devonport、Murat Arcak 2021