• SpaceEx公司

  • 引用72篇文章[sw10939]
  • SpaceEx:可扩展验证属于混合的 系统. 我们提出了一个可伸缩的可达性算法混合的 系统... SpaceEx的一部分,一个新的验证平台混合的 系统,可从spaceex.imag.fr获取。实验结果。。。
  • 日期/日期

  • 引用了37篇文章[sw10314]
  • 内含物。d/dt工具用于验证属于混合的 系统. 我们描述了d/dt工具,它。。。提供自动安全验证属于混合的 系统具有不确定输入的线性连续动力学。。。
  • 凯玛拉

  • 引用41篇文章[sw03709]
  • 系统. 凯玛拉是个混合的 验证工具混合的 系统它结合了演绎,实代数。。。规范和自然验证逻辑混合的 系统. KeYmaera支持差分动态逻辑,它。。。混合的程序,程序符号混合的自动机。自动化验证进程,keymera实现。。。自动证明策略分解混合的 系统象征性地说明。为了克服复杂性。。。
  • 高超声速

  • 在330篇文章中引用[sw04125]
  • 混合的 系统满足时间要求。混合的 系统被指定为自动机的集合。。。通过符号模型验证。如果验证失败,然后HyTech生成一个诊断错误。。。
  • HSolver公司

  • 引用42篇文章[sw07419]
  • HSolver是一个验证属于混合的 系统基于约束求解器RSOLVER。。。
  • 基准

  • 引用24篇文章[sw04612]
  • 安全验证属于混合的 系统通过基于约束传播的抽象求精,本文讨论了。。。安全问题验证非线性的混合的 系统. 我们从一个经典的方法开始。。。
  • 台阶

  • 引用36篇[sw17948]
  • 混合的 系统基于它们的时间规范。不像大多数人系统暂时的验证,步骤。。。
  • PPL公司

  • 引用97篇文章[sw05357]
  • 受雇于数家公司系统用于分析和验证硬件和软件组件。当前。。。同步协议,实时和混合的 系统. 自从P.Cousot的开创性工作。。。
  • 发现者

  • 在56篇文章中引用[sw07719]
  • 完全区别对待的工作系统关于多项式[33,31],我们发明了。。。SAS求解和编程验证与发现者,然后讨论未来的工作。。。程序和可达性计算混合的 系统...
  • 违反

  • 引用21篇文章【sw20822】
  • 突破,一个工具箱验证和参数综合混合的 系统. 我们描述的是。。。
  • HYSDEL公司

  • 在38篇文章中引用[sw05200]
  • 命题逻辑规则。一次混合的 系统以人类可读的方式建模,HYSDEL。。。优化,解决,例如,最优控制,安全验证或者估计和故障检测问题。。。
  • 斯皮迪

  • 参考7篇文章[sw00896]
  • 速度I--a验证多边形工具混合的 系统 混合的 系统结合离散和连续动力学。。。的大多数非平凡子类混合的 系统这一切都很有趣验证问题是无法确定的。大多数。。。矩形自动机类和混合的线性向量场自动机。实施最多。。。特定(等级)的几何特性系统正在分析中。还是很有意思的。。。
  • 强壮的

  • 引用3篇文章【sw19505】
  • 强:基于轨迹的验证工具箱混合的 系统... 提供一个用于混合的 系统 验证. 工具箱解决了这个问题。。。
  • 贝勒罗芬

  • 1条引用[sw23943]
  • 身体运动控制。验证无法判定混合的 系统对很多模特来说。。。战术语言与图书馆混合的 系统 验证被命名为Bellerophon,它提供。。。专注于混合的 系统 验证,贝尔罗芬以独特的自动化技术出现。。。分解混合的 系统发现并建立了非线性连续不变量系统,算术简化最大化。。。
  • nuXmv公司

  • 引用25篇文章[sw18526]
  • 验证算法。对于无限状态系统,它用新的数据类型扩展了numv语言。。。在多个工业项目中用作验证后端,它是基础。。。基于合同的设计,模型检查混合的 系统,安全评估和软件模型检查。。。
  • 制服

  • 引用8篇文章[sw10332]
  • 发展混合的,实时或反应系统,转换,验证,验证和测试。而且。。。
  • C2e2型

  • 参考第10条[sw20139]
  • C2e2:甲验证用于状态流模型的工具。比较执行检查引擎(C2E2)是一个工具。。。验证的有界时不变属性混合的 系统和状态流模型。它支持非线性动力学。。。
  • 斯塔贝里

  • 引用5篇文章[sw20122]
  • 自动稳定工具验证非线性的混合的 系统. 我们提供Stabhyli,一种工具。。。
  • 重新认证

  • 参考6篇文章[sw28191]
  • 科学,课程验证和网络物理系统. 它基于混合的符号数字算法。。。
  • 杰伯斯坦

  • 引用2篇文章【sw19486】
  • 在许多自动化系统中必不可少验证和合成任务混合的 系统控制算法,数字信号。。。混合模拟/数字电路。尽管在验证技术,传统决策程序的复杂性问题。。。