文件交换

探索设计验证器

版本1.2.0.0(391 KB) 娜塔莎Jeppu
一组探索设计校验飞万博1manbetx行控制仿真软件模块
0.0
(0)

571下载

更新2015年6月25日

查看许可协议

这是一组仿真软件模型可以用来探索模型设计验证器。万博1manbetx块是飞行控制中常用的法律。关闭阀证明的正确性的验证工具的实现。块的要求给出为PDF文件。的一些街区突变引入显示关闭阀的工作。

引用作为

娜塔莎Jeppu (2023)。探索设计验证器(//www.tianjin-qmedu.com/matlabcentral/fileexchange/48858-exploring-design-verifier), MATLAB中央文件交换。检索。

MATLAB版本兼容性
创建R2014b
兼容任何释放
平台的兼容性
窗户 macOS Linux

社区寻宝

找到宝藏在MATLAB中央,发现社区如何帮助你!

开始狩猎!

版本 发表 发布说明
1.2.0.0

我已经添加了一个瞬态自由开关关闭阀块。请参考//www.tianjin-qmedu.com/matlabcentral/fileexchange/39047-testing-of-safety-critical-control-systemsTFS块的细节。
有一个错误的优先级电路。这已经被修正。包括一个突变申请优先显示一个关闭阀是如何工作的错误。
1.1.0.0

添加了一个图片。
1.0.0.0