阿里阿德涅

Ariadne是一个混合自动机计算库,由乌迪内大学、帕拉迪斯大学、CWI大学和维罗纳大学联合开发。其目标是建立一个开放的、易于扩展的包,该包具有基本的数据结构和运算符,以支持用混合自动机描述的系统的分析和综合。ARIADNE计算内核是使用泛型编程编写的,在泛型编程中,数学概念,如实数和连续函数,可以通过呈现相同(或类似)接口的不同具体类型来实现。通过这种方式,我们可以编写与具有相同接口的任何类型一起工作的算法,即使一个类型没有实现完整的接口,某些算法仍然可以用于该类型。这种方法的优点在于它极大地促进了扩展:只要新类型符合概念的语法和语义,就可以自由地添加新类型;可以插入新算法来处理新类型,用户定义的算法可以替代工具提供的算法。


zbMATH中的参考文献(参考文献13条,1标准件)

显示结果1到13,共13个。
按年份排序(引用)

  1. 拉诺特,拉格罗;梅罗,马西莫;蒂尼,西蒙尼:网络物理系统的概率演算(2021)
  2. Collins,Pieter:可计算分析及其在动态系统中的应用(2020)
  3. 纽曼,艾克;Steinberg,Florian:参数化二阶复杂性理论及其在区间计算研究中的应用(2020)
  4. 德劳西,托马索;当,曹;Piazza,Carla:多项式动力系统的可达性计算(2017)
  5. 戴维德,布雷索林;卢卡雷蒂;提兹亚诺别墅;Collins,Pieter:使用\textscAriadne验证混合动力系统的介绍(2015)
  6. 热比哈,穗状体;穆拉,阿纳尔多五世。;Matringe,Nadir:非线性混合系统的不变量生成(2015)
  7. 本维努蒂,卢卡;戴维德,布雷索林;柯林斯,彼得;法拉利,阿尔伯托;格雷蒂,卢卡;Villa,Tiziano:ARIADNE对非线性混合系统的假设保证验证(2014)
  8. 科尔塞万,博特保罗;Richter-Wąs,Elzbieta:Monte Carlo事件生成器AcerMC版本2.0至3.8,具有PYTHIA 6.4、HERWIG 6.5和ARIADNE 4.1的接口(2013)
  9. 本维努蒂,卢卡;戴维德,布雷索林;柯林斯,彼得;法拉利,阿尔伯托;格雷蒂,卢卡;Villa,Tiziano:Ariadne:使用可达性分析对非线性混合自动机的优势度检验(2012)
  10. Collins,Pieter:混合系统演化的语义和可计算性(2011)
  11. 柯林斯,彼得;Zapreev,Ivan S.:离散时间和连续空间动态系统的可计算CTL(^*)(2009)
  12. 本维努蒂,L。;法拉利,阿尔伯托;马兹,E。;Vincentelli,A.L.Sangiovanni:基于合同的闭环混合系统计算和验证设计(2008)
  13. 柯林斯,彼得;Goldsztejn,Alexandre:非线性动力系统可达性分析的可达和进化算法(2008)


更多出版物请访问:http://www.ariadne-cps.org/publications/