• 高超声速

  • 引用321篇文章[sw04125]
  • 线性混合的 系统满足时间要求。混合的 系统是指定的。。。
  • MPT公司

  • 在209篇文章中引用[sw04732]
  • 约束线性、非线性和混合的 系统. 代码的效率是有保证的。。。
  • 法弗

  • 引用107篇文章[sw04123]
  • 用于验证的潜在强大工具混合的 系统–但它仍然受到严重限制。。。适用于更复杂的系统. 我们用PHAVer解决了HyTech的主要问题。。。安全性能的精确验证混合的 系统在导数上有分段常数界。。。
  • SpaceEx公司

  • 引用的第65条[sw10939号]
  • SpaceEx:可伸缩验证混合的 系统. 我们提出了一个可伸缩的可达性算法混合的 系统... SpaceEx,一个新的验证平台混合的 系统,可在spaceex.imag.fr上获得。。。定点计算混合的 系统超过100个变量说明了可伸缩性。。。
  • 科学实验室

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

  • 引用92篇文章[sw05357]
  • 凸多面体在一些系统对于硬件的分析和验证。。。同步协议,实时和混合的 系统. 自从P.Cousot的开创性工作。。。
  • 格洛米库

  • 引用了65篇文章[sw06266号]
  • 顺序、废水处理和总水量系统,混合的能量系统换热器网络,反应器分离器。。。
  • 凯玛拉

  • 引用了40篇文章[sw03709]
  • 玛雅:凯亚混合的定理证明器混合的 系统. 凯玛拉是个混合的验证工具。。。混合的 系统代数技术和代数证明技术相结合。。。自然规范和验证逻辑混合的 系统. KeYmaera支持差分动态逻辑,它。。。自动证明策略分解混合的 系统象征性地说明。为了克服复杂性。。。
  • 日期/日期

  • 引用了35篇文章[sw10314]
  • 连续和可及性分析混合的 系统线性微分包含。d/dt工具。。。验证混合的 系统. 我们描述了提供自动安全验证的工具d/dt。。。混合的 系统具有不确定输入的线性连续动力学。验证程序基于。。。
  • HYSDEL公司

  • 引用了37篇文章[sw05200]
  • HYSDEL允许对混合的 系统用线性动力相互联系来描述系统... 命题逻辑规则。一次混合的 系统以人类可读的方式建模,HYSDEL。。。
  • 安非斯

  • 引用260篇文章[sw08730]
  • 推论系统在自适应网络框架下实现。通过使用混合的学习程序。。。在线非线性元件控制系统预测一个混沌的时间序列。。。
  • HSolver公司

  • 引用42篇文章[sw07419]
  • 验证程序混合的 系统基于约束求解器RSOLVER。与其他软件包不同。。。
  • 发现者

  • 引用了40篇文章[sw07719]
  • 完全区别对待的工作系统我们发明了31,33个多项式。。。程序和可达性计算混合的 系统...
  • 干净

  • 参考58篇文章[sw01346]
  • Clean版本提供了混合的类型系统既有静态的也有动态的。。。
  • 台阶

  • 引用36篇[sw17948号]
  • 无功、实时和混合的 系统基于它们的时间规范。不像大多数人。。。
  • 流量*

  • 引用21篇文章[sw20162]
  • 流量*:非线性分析仪混合的 系统. 工具流*执行基于泰勒模型的。。。非线性(多项式)流管施工混合的 系统. Flow*结合了著名的泰勒模型算法。。。非线性连续与混合的 系统基准。我们的比较表明,流。。。
  • 基准

  • 引用24篇文章[sw04612]
  • 安全验证混合的 系统本文讨论了基于约束的精化传播。。。非线性安全验证混合的 系统. 我们从一个经典的方法开始。。。
  • 希萨特

  • 引用23条[sw01980]
  • 有界模型检查引擎混合的 系统在这篇文章中,我们提出了海萨特。。。线性有界模型检验器混合的 系统,结合了基于DPLL的紧密集成。。。决策策略,并将其扩展到混合的域。我们证明这些优化。。。
  • 混合工具箱

  • 引用24篇文章[sw15053]
  • 用于建模、仿真和验证的工具箱混合的动力的系统,用于设计。。。仿真模型预测控制器混合的 系统受约束,并产生线性。。。
  • 碳化硅

  • 引用了20篇文章[sw19755]
  • 模块化规范混合的 系统在查伦。一种新的语言被称为查伦语。。。交互的模块化规范混合的 系统. 对于系统建筑,查理。。。