• Mu分析综合工具箱

• 参考109篇文章[sw19506]
• 主要用于分析和合成属于控制系统，重点是量化。。。理论，即H∞ 最优的控制m分析和合成技术。允许此包。。。

• 鲁棒控制工具箱

• 引用151篇文章[sw07907]
• 工厂模型不确定性对控制系统性能和识别最坏情况的组合。。。无穷与穆-合成技术让你设计控制器最大限度地提高稳定性和性能。。。

• 佩索阿

• 引用了20篇文章[sw20123]
• 佩索阿2.0:a控制器 合成网络物理系统工具。我们介绍佩索阿。。。自动合成的工具控制器对于基于正确设计方法的网络物理系统。。。

• 苏格兰人

• 引用15篇文章[sw20172]
• 苏格兰人：一个工具合成象征性的控制器我们介绍苏格兰人。。。自动化软件工具控制器 合成对于非线性控制基于符号模型的系统。。。

• 科西玛

• 在10篇文章中引用[sw20124]
• CoSyma：一种工具控制器 合成使用多尺度抽象。我们介绍CoSyMA，一种工具。。。自动的控制器 合成对于基于多尺度离散抽象的增量稳定切换系统。。。抽象是计算出来的。该工具生成控制器–如果存在–对于系统来说。。。

• RACT公司

• 引用了20篇文章[sw06924]
• 用于概率分析和合成属于控制受各种不确定性结构影响的系统。。。

• TCT

• 在10篇文章中引用[sw13640]
• 监控计算工具控制 合成TCT软件包是为合成...

• 乔托

• 引用16条[sw08971]
• 验证和合成属于控制软件。时间触发了乔托的本性。。。

• 利比亚人

• 在10篇文章中引用[sw16433]
• 分层、模块化和分散的扩展控制器 合成; 参见[参考文献]。用libFAUDES。。。实施控制以及（b）有效的广告。。。

• 汤姆普

• 引用了29篇文章[sw00971]
• 最佳模块控制计算。大量的分析和合成现代问题。。。

• 郁金香

• 参考11篇文章[sw20173]
• 基于软件工具箱的合成嵌入的控制软件证明是正确的。。。有限状态抽象控制系统，（2）数字化设计合成从LTL规范。。。数字化设计合成例行公事把环境当作敌人；因此，结果控制器保证。。。应用后退地平线框架，允许合成要破解的问题。。。

• 中华民国

• 引用4篇文章[sw28114]
• 大鹏：一个强大的完整控制 合成非线性系统动力学工具。本文介绍ROCS。。。算法控制 合成非线性动力系统的工具。不同于其他正式的控制 合成工具。。。

• 石化

• 在26篇文章中引用[sw09784]
• 工具合成Petri网与异步控制器.Petrify读到一个Petri。。。

• SReachTools公司

• 引用5篇文章[sw30627]
• 循环系统，也可以执行控制器 合成通过开环、仿射和状态反馈。。。

• STCT

• 引用9篇文章[sw02293]
• 本文介绍了一种新的合成监督方法控制离散事件系统。。。

• DryVR公司

• 引用2篇文章[sw28120]
• 验证工具和控制器 合成黑盒网络物理系统。我们呈现。。。核查框架控制器 合成由黑匣子模拟器组成的网络物理系统。。。“不安全”，举个反例。为控制器 合成，DryVR 2.0作为输入黑色。。。

• 级联

• 引用8篇文章[sw01385]
• 支持合成异步的控制器它使用了一个广义的。。。选定的样式，并与现有的合成工具（石化SI电路。。。

• 转基因

• 引用3篇文章[sw32991]
• 多目标MATLAB软件包控制 合成在本文中，一个MATLAB软件包。。。用于合成（次）最优控制器对于一般多目标（GMO）控制涉及/子。。。

• 表面活性剂

• 引用3篇文章[sw30630]
• 算法是为基于抽象的控制器 合成然后，它们在pface中实现。。。

• CGMurphi公司

• 引用2篇文章[sw09556]
• CGMurphi：自动合成数值的控制器对于非线性混合系统。在过去的几年里。。。正在创建自动控制器 合成工具。在处理关键系统时，大多数。。。