• TCT

  • 在10篇文章中引用[sw13640]
  • 专为合成监督的控制不定时的离散的-系统事件。。。
  • STCT

  • 引用9篇文章[sw02293]
  • 引入新的合成监督方法控制属于离散的-事件系统。。。
  • 苏格兰人

  • 参考12篇文章[sw20172]
  • 控制器 合成对于非线性控制基于符号模型的系统,也称为离散的摘要。。。
  • 科西玛

  • 引用9篇文章[sw20124]
  • 自动的控制器 合成基于多尺度增量稳定切换系统的研究离散的摘要。。。空间离散的抽象是计算出来的。该工具生成控制器–如果存在。。。
  • 西加利

  • 1条引用[sw12303]
  • 无功系统和离散的 控制器 合成. 它是由意式浓缩咖啡联合开发的。。。
  • 利比亚人

  • 在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实现了几种新算法。。。循环系统,也可以执行控制器 合成通过开环、仿射和状态反馈。。。
  • 阿多-C

  • 在233篇文章中引用[sw00019]
  • ADOL-C:C/C++的自动微分。我们呈现。。。
  • ACL2

  • 引用277篇文章[sw00060]
  • ACL2是一种编程语言,其中。。。
  • 男爵

  • 在311篇文章中引用[sw00066]
  • 求解非凸系统是一个非凸系统。。。