-
鲁棒控制工具箱
- 在144篇文章中引用[sw07907]
- 工厂模型不确定性对控制系统性能和识别最坏情况的组合。。。无穷与穆-合成技术让你设计控制器最大限度地提高稳定性和性能。。。
-
佩索阿
- 引用18条[sw20123]
- 佩索阿2.0:a控制器 合成网络物理系统工具。我们介绍佩索阿。。。自动合成的工具控制器对于基于正确设计方法的网络物理系统。。。
-
苏格兰人
- 参考12篇文章[sw20172]
- 苏格兰人:一个工具合成象征性的控制器. 我们介绍苏格兰人。。。自动化软件工具控制器 合成对于非线性控制基于符号模型的系统。。。
-
科西玛
- 引用9篇文章[sw20124]
- CoSyma:一种工具控制器 合成使用多尺度抽象。我们介绍CoSyMA,一种工具。。。自动的控制器 合成对于基于多尺度离散抽象的增量稳定切换系统。。。抽象是计算出来的。该工具生成控制器–如果存在–对于系统来说。。。
-
利比亚人
- 在10篇文章中引用[sw16433]
- 分层、模块化和分散的扩展控制器 合成;见[参考文献]。用libFAUDES。。。实施控制以及(b)有效的广告。。。
-
郁金香
- 引用9篇文章[sw20173号文件]
- 基于软件工具箱的合成嵌入的控制软件证明是正确的。。。有限状态抽象控制系统,(2)数字化设计合成LTL规范。。。数字化设计合成例行公事把环境当作敌人;因此,结果控制器保证。。。应用后退地平线框架,允许合成要破解的问题。。。
-
中华民国
- 引用3篇文章[sw28114]
- 大鹏:一个强大的完整控制 合成非线性动力系统的工具。本文介绍ROCS。。。算法控制 合成非线性动力系统的工具。不同于其他正式的控制 合成工具。。。
-
级联
- 引用8篇文章[sw01385]
- 支持合成异步的控制器. 它使用了一个广义的。。。选定的样式,并与现有的合成工具(石化SI电路。。。
-
转基因
- 引用3篇文章[sw32991]
- 多目标MATLAB软件包控制 合成. 本文介绍了一个MATLAB软件包。。。用于合成(次)最优控制器对于一般多目标(GMO)控制涉及/子。。。
-
NL控制
- 参考7篇文章[sw15154]
- 线性的控制系统和开发于控制控制论研究所系统系。。。不同的建模、分析和合成非线性问题控制系统。提供的大多数工具。。。
-
DryVR公司
- 1条引用[sw28120]
- 验证工具和控制器 合成黑盒网络物理系统。我们呈现。。。核查框架控制器 合成由黑匣子模拟器组成的网络物理系统。。。“不安全”,举个反例。为控制器 合成,DryVR 2.0作为输入黑色。。。
-
EFSMT公司
- 引用2篇文章【sw19487】
- 分析和合成分布式和嵌入式实时系统控制,经常。。。本文的问题包括合成为了强健控制通过BIBO稳定性,Lyapunov系数的求取。。。非线性控制分布式优先系统合成... 协调系统组件,以及合成对于混合动力控制系统。我们还提出了一种算法。。。