-
科西玛
- 引用9篇文章[sw20124]
- 自动的控制器 合成基于多尺度增量稳定切换系统的研究离散的摘要。。。空间离散的抽象是计算出来的。该工具生成控制器–如果存在。。。
-
利比亚人
- 在10篇文章中引用[sw16433]
- 软件库离散的事件系统。这个离散的事件系统库libFAUDES实现数据结构。。。普通语言。图书馆需要控制拉马奇最初提出的理论观点。。。监督控制理论，包括分层、模块化和分散的扩展控制器 合成；见[参考文献]。带着。。。实施控制属于离散的事件系统，和（b）有效的广告。。。
-
辛西娅
- 引用8篇文章[sw12933]
- Synthia:验证和合成对于时间自动机。Synthia是第一个认证模型检查器。。。两者的符号表示离散的 控制-国家的相关部分和连续部分。。。
-
猛击
- 引用2篇文章[sw06144]
- 合成状态反馈控制器无限态的部分观测离散的事件系统建模。。。既有潜在的死锁也有无死锁受约束的系统。算法求解的终止。。。控制器有记忆和在线控制器. 我们还建议改进合成...
-
NL控制
- 参考7篇文章[sw15154]
- 不同的建模、分析和合成非线性问题控制系统。提供了大多数工具。。。网站地址上的功能离散的-连续时间系统以及系统。。。
-
加达拉
- 1条引用[SW940号]
- 控制 合成，和控制逻辑实现到源代码中。反馈控制逻辑。。。综合运用监督技术控制属于离散的事件系统，其中规范捕获。。。
-
辛普森
- 引用2篇文章[sw06443]
- 用于仿真、分析和合成用混合Petri网建模的动态系统。。。启动这两者的服务器语义，离散的以及连续的，类型的转变。除了提供。。。这样一类网，最优的控制并实现了可观测性算法。包裹。。。
-
DG2VHDL
- 引用3篇文章[sw00202]
- 代表分布式内存和控制处理器阵列，称为信号流图。这个。。。大小。这使得高水平成为可能合成大尺寸实数处理器阵列。。。问题，例如离散的小波变换与高阶估计。。。
-
H工具
- 引用2篇文章[sw22811]
- 求解H∞和H2的工具箱合成问题。HTOOLS是一个包含。。。分析、建模和设计问题控制系统。软件包的核心功能。。。连续和离散的系统。HTOOLS包含许多功能，具有优越的数值。。。
-
反证
- 参考7篇文章[sw14791]
- 应用程序包（例如，报表生成器、矩阵生成器），合成使用PL/1和FORTRAN的包。。。广泛的离散的优化问题。到目前为止离散的编程问题可能。。。非线性规划，无约束优化控制轨道，无约束优化和近似[61]；NDO，不可微。。。
-
SReachTools公司
- 引用2篇文章[sw30627]
- 线性，潜在时变的随机可达性，离散的-受扰动的时间系统。。。同时尊重系统动力学和有界性控制权威。SReachTools实现了几种新算法。。。循环系统，也可以执行控制器 合成通过开环、仿射和状态反馈。。。
