• 科学实验室

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

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

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

  • 在26篇文章中引用【sw20822】
  • 验证与参数综合混合的 系统我们描述了break,一个Matlab/C++工具箱,提供了…的确定性模型分析混合的 动力的 系统突破的主要特征。。。
  • 凯玛拉

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

  • 参考117篇文章[sw04123]
  • 属性混合的 系统导数上有分段常数界。办公室动力学被处理。。。
  • SpaceEx公司

  • 引用75篇文章[sw10939]
  • 的可达性算法混合的 系统具有分段仿射,非确定性动力学它结合了多面体…SpaceEx,一个新的验证平台混合的 系统,可在spaceex.imag.fr上获得。。。
  • Scicos公司

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

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

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

  • 引用的第58条[sw01346]
  • 提供混合的类型系统既有静态的,也有动态打字。表达式,其中。。。
  • 登菲斯

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

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

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

  • 27条引用[sw20162]
  • 非线性(多项式)流管施工混合的 系统.Flow*结合了著名的泰勒模型算法…保证连续近似的技术动力学在每种模式下都有一个组合…系列的非线性连续和混合的 系统基准。我们的比较表明,流。。。
  • Pydtool公司

  • 引用18条[sw06718号]
  • 环境动力的 系统物理模型系统(ODE、DAE、映射和混合的 系统). PyDSTool。。。
  • 凯玛拉X

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

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

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

  • 引用9篇文章[sw14490]
  • 混合的 系统在Matlab/Simulink中:混合的方程(HyEQ)工具箱。本文描述了混合的方程式(HyEQ。。。动力的 系统。此工具箱能够计算混合的 系统...