阿里阿德涅 swMATH ID: 6670 软件作者： 卢卡·本维努蒂；大卫·布雷索林；Pieter Collins；法拉利，阿尔贝托；卢卡·杰雷蒂；蒂齐亚诺别墅 描述： Ariadne是一个混合自动机计算库，由乌迪内大学、PARADES、CWI和维罗纳大学等联合团队开发。其目标是构建一个开放且易于扩展的包，该包具有基本数据结构和运算符，以支持用混合自动机描述的系统的分析和合成。ARIADNE计算内核是使用泛型编程编写的，在泛型编程中，实数和连续函数等数学概念可以由不同的具体类型实现，这些类型提供相同（或类似）的接口。通过这种方式，我们可以编写适用于具有相同接口的任何类型的算法，即使一个类型没有实现完整的接口，某些算法可能仍然适用于该类型。这种方法的优点是它极大地促进了扩展：只要符合概念的语法和语义，就可以自由添加新类型；可以插入新算法以与新类型一起使用，用户定义的算法可以替代工具提供的算法。 主页： 网址：http://www.ariadne-cps.org 依赖项： C类++ 关键词： 混成自动机；混合系统分析 相关软件： 高超声速；SpaceEx公司；PHAVer公司；流量*；H溶剂；RSOLVER公司；凯伊迈拉；CORA公司；萨波；JuliaReach公司；d到达；国际RRAM；伦敦商学院；NNV公司；夏洛克；AlexNet公司；日/日；HyPro公司；杂交分析；ImageNet公司 引用于： 17文件 更多出版物： http://www.ariadne-cps.org/出版物/ 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 Ariadne：使用可达性分析检查非线性混合自动机的优势。 Zbl 1374.68271号卢卡·本维努蒂；大卫·布雷索林；彼得·柯林斯；阿尔贝托·法拉利；卢卡·杰雷蒂；蒂齐亚诺别墅 2012 全部的 前5名34位作者引用 8 彼得·柯林斯。 4 大卫·布雷索林 4 卢卡·杰雷蒂 4 蒂齐亚诺别墅 三 卢卡·本维努蒂 三 阿尔贝托·法拉利 2 Thao Dang先生 2 托马索·德罗西 2 卡拉广场 1 卢卡·卡德利 1 阿尔贝托·卡萨格兰德 1 卢卡·多里戈 1 亚历山大·戈德斯特恩 1 桑贾·伊万诺维奇·冈萨雷斯 1 博鲁特·保罗·科尔塞万 1 Konečný，迈克尔 1 拉诺特、拉格罗 1 纳迪尔·马特林格 1 伊曼纽尔·马齐 1 马西莫·梅罗 1 阿纳多·维埃拉·穆拉 1 艾克·诺依曼 1 塞翁公园 1 埃莉诺拉·皮皮亚 1 拉希德·热比哈 1 Richter-Wãs，埃尔兹比塔 1 Alberto L.Sangiovanni-Vincentelli。 1 弗洛里安·斯坦伯格 1 霍尔格·蒂斯 1 西蒙·蒂尼 1 米尔科·特里巴斯通 1 马克斯·柴科夫斯基 1 安德烈·范丁 1 伊万·萨普雷夫。 全部的 前5名8篇连载文章中引用 2 理论计算机科学 2 信息与计算 1 计算机物理通信 1 SIAM控制与优化杂志 1 MSCS公司。计算机科学中的数学结构 1 国际鲁棒非线性控制杂志 1 系统设计中的形式化方法 1 非线性分析。混合动力系统 全部的 前5名10个领域引用 8 计算机科学（68至XX） 8 系统论；控制（93至XX） 4 数学逻辑和基础（03-XX） 三 数值分析（65-XX） 2 常微分方程（34-XX） 1 线性代数和多线性代数；矩阵理论（15-XX） 1 差分方程和函数方程（39至XX） 1 一般拓扑结构（54-XX） 1 量子理论（81-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文