• 科学实验室

  • 引用172篇文章[sw00834]
  • 分析:控制的标准算法和工具系统研究信号处理:可视化,分析和滤波。。。与外部工具进行数据交换。Xcos公司-混合的 动态 系统建模器和模拟器:建模机械系统...
  • TC-帽子

  • 引用28篇文章[sw13068]
  • 周期轨迹延拓混合的 动力的 系统本文描述了基本公式。。。执行分支分析系统在时间上是连续的动力学被离散的。。。时间事件,通常称为混合的 动力的 系统边值问题的相应公式。。。几个例子的分歧分析混合的 动力的 系统...
  • 混合工具箱

  • 在26篇文章中引用[sw15053号]
  • 用于建模、仿真和验证的工具箱混合的 动力的 系统用于模型预测的设计和仿真。。。
  • 违反

  • 引用24篇文章【sw20822】
  • 验证与参数综合混合的 系统我们描述了breake,一个提供。。。确定性模型分析混合的 动力的 系统突破的主要特征。。。
  • 法弗

  • 引用116篇文章[sw04123]
  • 属性混合的 系统导数上有分段常数界。办公室动力学被处理。。。
  • 凯玛拉

  • 引用了43篇文章[sw03709]
  • 验证逻辑混合的 系统.keymera支持差速动态逻辑,这是一个真正的价值。。。一阶动态逻辑混合的程序,程序符号混合的自动机。自动化。。。自动证明策略分解混合的 系统象征性地说明。为了克服复杂性。。。
  • Scicos公司

  • 引用19篇文章[sw01941]
  • Scicos是一个图形化的动力的 系统在Metalau项目中开发的建模器和模拟器。。。动力学属于混合的 动力的 系统把模型编译成可执行代码。。。
  • SpaceEx公司

  • 引用74篇文章[sw10939]
  • 的可达性算法混合的 系统具有分段仿射,非确定性动力学它结合了多面体。。。SpaceEx,一个新的验证平台混合的 系统,可从spaceex获得。图像。完整的实验结果。。。
  • HYSDEL公司

  • 在38篇文章中引用[sw05200]
  • 等级混合的 系统用线性互连来描述动态 系统,自动机,如果是的话。。。命题逻辑规则。一次混合的 系统以人类可读的方式建模,HYSDEL。。。将其转换为混合逻辑动力的(MLD)可立即使用的表格。。。
  • 日期/日期

  • 引用了37篇文章[sw10314]
  • 自动安全验证混合的 系统线性连续动力学输入不确定。验证。。。
  • 干净

  • 参考58篇文章[sw01346]
  • 提供混合的类型系统既有静态的,也有动态打字。表达式,其中。。。
  • 登菲斯

  • 引用57篇文章[sw24183号]
  • 他们的申请动态时间序列预测。DENFI通过渐进式发展,混合的(有监督/无监督),学习。。。在操作期间更新系统在每一个时刻,DENFIS的输出。。。模糊推理系统基于m-most激活模糊规则动态选自。。。
  • HSolver公司

  • 引用了43篇文章[sw07419]
  • 验证程序混合的 系统基于约束求解器RSOLVER。与其他软件包不同。。。优化为更简单的连续动力学...
  • 海菲斯

  • 引用13篇文章[sw24184号]
  • 非线性动力的 系统提出了一种自适应模糊神经网络系统,海菲斯(混合的神经模糊。。。神经模糊混合的模型,非线性复杂系统的广泛模拟研究动态 系统携带着。。。
  • 流量*

  • 27条引用[sw20162]
  • 非线性(多项式)流管施工混合的 系统.Flow*结合了著名的泰勒模型算法。。。连续函数的保逼近技术动力学在每一种模式下。。。非线性连续与混合的 系统基准。我们的比较表明,流。。。
  • 凯玛拉X

  • 引用9篇文章[sw40558]
  • 校准器混合的 系统KeYmaera X是微分的定理证明者动态逻辑。。。用于指定和验证属性的逻辑混合的 系统.关于复杂的推理混合的 系统模型。。。
  • Pydtool公司

  • 参考第17条[sw06718号]
  • 环境动力的 系统物理模型系统(ODE、DAE、映射和混合的 系统).PyDSTool。。。
  • C2e2型

  • 参考11篇文章[sw20139]
  • 的不变性质混合的 系统和状态流模型。它支持非线性动力学...
  • 斯皮迪

  • 引用8篇文章[sw00896]
  • 多边形混合的 系统 混合的 系统离散和连续相结合动力学作为数学模型出现。。。连续的系统一个非常重要的问题混合的 系统...
  • X速度

  • 引用5篇文章[sw20159]
  • 连续的状态空间探索系统具有线性动力学以及非确定性输入。XSpeed漏洞。。。场景),一个可扩展的工具混合的 系统具有线性动力学.在英特尔核心上的实验。。。