-
Mu分析综合工具箱
- 引用110篇文章[sw19506]
- 分析和合成工具箱(μ-Tools)是主要开发的函数(命令)的集合。。。分析和合成控制系统,重点是量化不确定性的影响。。。最优控制与m分析合成技术。这个软件包允许你使用复杂的。。。
-
MR和LTV合成工具
- 引用36篇[sw05190]
- 合成工具说明MR-LTV工具具有以下区域的命令:H-infinity合成... 基于LMI的速率采样数据LTI系统合成方法H-无穷合成离散时间的。。。使用LMI的系统合成方法系统类型转换(即多速率LTI到离散时间)。。。
-
基础知识
- 引用了40篇文章[sw12910]
- 逻辑公共领域系统合成二元逻辑电路的形式化验证。。。关注顺序的协同作用合成顺序验证导致了两个方面的改进。。。
-
模仿者
- 引用了29篇文章[sw00439]
- 秒表。它实现了包括安全性在内的多种算法合成,健壮性,不定时的语言保存,非芝诺。。。无死锁参数合成,接受周期合成等等。它具有分布式功能。。。
-
牡蛎
- 参考33篇文章[sw19629]
- 定理证明与程序设计合成加牡蛎。马丁-洛夫型理论提供了一个形式框架。。。接近。我们通过描述合成一个简单的算术表达式求值器。。。
-
违反
- 引用24篇文章【sw20822】
- Breach,验证和参数的工具箱合成混合动力系统。我们描述的是。。。执行近似可达性分析和参数合成一个主要的新特点是强大的监控。。。
-
上云母
- 引用18条[sw18546]
- Supremica-用于验证的集成环境,合成以及离散事件系统的仿真。一个完整的。。。环境部,Supremica,供核查,合成并对离散事件系统进行了仿真。基本的。。。
-
相思树+
- 引用15篇文章[sw25260]
- LTL实现工具和合成基于象征性的反链技术。相思+被扩展。。。合成从LTL规范和次级平均收益目标。新的!Acacia+包含一个新功能。。。合成在随机环境中的一组获胜策略中的最优策略。。。
-
郁金香
- 引用13篇文章[sw20173]
- 基于Python的软件工具箱合成嵌入式控制软件是可以证明是正确的。。。控制系统的抽象化(2)数字化设计合成根据LTL规范,和(3)后退地平线。。。计划。底层数字设计合成例行公事把环境当作敌人;因此,结果。。。应用后退地平线框架,允许合成要破解的问题。。。