-
努西姆
- 引用了295篇文章[sw04131]
- 正在检查包含基于RBC的组件有界的模型检查器,可以连接。。。热那瓦大学贡献了SIM状态-直到。。。软件包在有界的模型检查算法。。。
-
法弗
- 参考109篇文章[sw04123]
- 具有分段常数的混合系统的性质界限关于导数。动态处理。。。流体过度接近和状态基于用户可定义限制的空间。。。
-
库恩
- 引用63篇文章[sw04347]
- sBB方法的重要部分:界限紧缩(BT)和分支策略。我们扩展一个分支。。。比较couenne和状态-最先进的MINLP解算器。。。
-
达索普特
- 参考12篇文章[sw09260]
- 维度,包括状态variables.par通过使用有限。。。有无计算结果界限上状态变量显示。。。
-
特里斯
- 引用46篇文章[sw05197]
- 具有非线性等式约束的简单问题界限对一些变量进行了描述。。。最优控制问题。算法处理州和控制作为自变量。它们的设计。。。但使用线性化的解决方案状态方程和伴随方程。他们。。。对于跳跃使用仿射缩放方法的约束。。。