文件交换
你现在这个提交
2 k下载
更新2017年8月12日
从GitHub
我增加了几个例子。
文件被移动到GitHub是它有一个创作共用版权和不能MathWorks网站上举办。我添加了两个新的错误很容易找到在测试过程中,使用正式的方法。我有几张幻灯片上做333和建模的指导方针。我已经改变了文件名1 _6
我已经添加了一个新的部分在正式飞行控制方法。我已经添加了一个新的部分在正式飞行控制方法。
我已经添加了一个新的错误,我们发现最近(发明)。这是在冲刷过滤器。我添加了一些幻灯片功能需求覆盖率指标。我已经清理了演示和提供了一个新的面貌。
我添加了几张幻灯片休眠错误和工具的贸易。
我已经纠正幻灯片基于收到的评论。我有一个新发现的错误。引用部分更新。我已经添加了一些幻灯片在其他安全标准。
查看许可GitHub
编者按:这个文件被选为MATLAB中央选择的
这介绍测试安全关键控制系统和简要介绍正式的方法
Yogananda Jeppu (2022)。测试安全关键控制系统GitHub (https://github.com/yvjeppu/Safety_Critical_Control)。检索2022年9月13日。
启发:探索设计验证器,安全关键控制元素的例子
找到宝藏在MATLAB中央,发现社区如何帮助你!
创建脚本代码、输出和格式化文本在一个单一的可执行文件。
学习生活编辑器
选择一个网站
选择一个网站翻译内容,看到当地事件和提供。根据你的位置,我们建议您选择:。
你也可以从下面的列表中选择一个网站:
选择中国网站(中文或英文)最佳站点的性能。其他MathWorks国家网站不优化的访问你的位置。
联系你当地的办公室