• Mu分析综合工具箱

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

• 鲁棒控制工具箱

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

• 佩索阿

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

• 苏格兰人

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

• RACT公司

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

• 科西玛

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

• TCT

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

• 乔托

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

• 利比亚人

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

• 郁金香

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

• 汤姆普

• 引用23条[sw00971]
• 最佳模块控制计算。大量的分析和合成现代问题。。。

• 石化

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

• 中华民国

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

• STCT

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

• 级联

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

• 转基因

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

• NL控制

• 参考7篇文章[sw15154]
• 线性的控制系统和开发于控制控制论研究所系统系。。。不同的建模、分析和合成非线性问题控制系统。提供的大多数工具。。。

• DryVR公司

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

• SReachTools公司

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

• EFSMT公司

• 引用2篇文章【sw19487】
• 分析和合成分布式和嵌入式实时系统控制，经常。。。本文的问题包括合成为了强健控制通过BIBO稳定性，Lyapunov系数的求取。。。非线性控制分布式优先系统合成... 协调系统组件，以及合成对于混合动力控制系统。我们还提出了一种算法。。。