反向彩铃 swMATH ID: 41812 软件作者： 纳瓦罗·洛佩斯；医学博士O'Toole。 描述： 多刚体机械系统混合自动机的自动生成及其在安全特性伪造中的应用。如果我们设计了一个工具来自动生成一个动态过渡系统，用于受多重冲击、接触和不连续摩擦影响的机械系统的正式规范，会怎么样？这种工具将代表着对这些复杂系统的描述和仿真的进步。这正是本文提供的：Dyverse刚体工具箱（DyverseRBT）。该工具需要一个足够表达的计算模型，该模型可以准确描述系统随时间演变的行为。为此，我们提出了一种多接触多刚体（MRB）机械系统的替代抽象，作为经典混合自动机的扩展版本，我们称之为MRB混合自动机。MRB混合自动机的一个主要特征是包含计算节点来编码计算接触力的算法。计算节点由一组非动态离散位置、离散转换和这些位置之间的保护以及转换时的重置组成。它们可以解释刚体理论中没有明确考虑的能量传递。所提出的建模框架非常适合于真实机械系统动态特性的自动验证。我们通过篡改DyverseRBT生成的过渡系统的安全属性来证明这一点。 主页： https://www.tandfonline.com/doi/full/10.1080/13873954.2017.1369437 相关软件： 抱怨；梅沙赫；ABsolver公司；d到达；CyPhySim公司；CalCS公司；太空探索技术公司；S-TaLiRo公司；数学SAT；托勒密；d真实；马蒂斯；状态流；HySAT卫星 引用于： 1文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 多刚体机械系统混合自动机的自动生成及其在安全特性伪造中的应用。 Zbl 1485.93277号纳瓦罗-洛佩斯。；医学博士O'Toole。 2018 2位作者引用 1 伊娃·玛丽亚·纳瓦罗·洛佩斯 1 医学博士O'Toole。 连载1篇 1 动力系统的数学和计算机建模 在3个字段中引用 1 粒子和系统力学（70-XX） 1 生物学和其他自然科学（92-XX） 1 系统论；控制（93至XX） 按年份列出的引文