matlab代码转化为simulink-Exploring-Simulink-Design-Verifier-3:这是为模式转换生成NuSMV

共12个文件

pdf：3个

smv：2个

mdl：2个

系统开源

需积分: 15 158 浏览量 2021-06-02 01:31:48 上传评论收藏 375KB ZIP 举报

资源详情

资源评论

资源推荐

收起资源包目录

Exploring-Simulink-Design-Verifier-3-master.zip （12个子文件）

Exploring-Simulink-Design-Verifier-3-master

example02.smv 5KB

Exploring Simulink Design Verifier3.pdf 611KB

Make_mode_transition.xlsx 13KB

example_02_report.pdf 15KB

example_01_report.pdf 16KB

README.md 396B

example_01.mdl 67KB

make_mtl_code_SMV_gen.m 12KB

example_02.mdl 66KB

make_mtl_code_M_gen.m 12KB

example01.smv 7KB

license.txt 1KB

Exploring Simulink Design Verifier for Sfunctions:Simulink Design Verifier 应用于以 Voter 逻辑和模式转换逻辑为 Sfunction 的 Auto Pilot 模型-matlab开发

这是使用 Simulink Design Verifier 验证具有 Voter Logic 和模式转换的 Autopilot 模型。要求以表格形式给出。将创建一个等效的Sfunction块，分别代表选民逻辑和模式转换逻辑。 Voter Logic 和 Mode Transition Logic 都使用 SDV 中的断言进行验证。

matlab关于simulink课件

matlab simulink有实例介绍及其代码

MATLAB/simulink模型

纯电动汽车内阻模型，比较全面，考虑到二阶，温度等因素……

MATLAB simulink

设计一个滚升余弦滤波器，滚降系数为0.75。输入为4元双极性数字序列，符号速率为1000波特，设滤波器采样率为10000次/s，即在一个符号间隔中有10个采样点。请建立simulink仿真模型观察滚升余弦滤波器的输出波形、眼图以及功率谱。仿真模型如图3-3所示，系统仿真步进设为1e-4s，采用Random Integer Generator产生采样间隔为1e-3的4元整数（0,1,2,3），并用

Simulink模型检查，验证与测试步骤

Simulink模型检查，验证与测试步骤分享

Exploring Design Verifier - 04：这里有用于探索 Simulink Design Verifier 的示例文件-matlab开发

这有一组 Therac-25 模型，重新审视为 Stateflow 模型、一个 3 信号投票者逻辑和一个向上/向下计数器。有详细的 PowerPoint 说明以帮助理解模型。还提供了一组 NuSMV（另一个模型检查器）文件用于比较。

matlab开发-探索imulinkdesignverifier03

这两个脚本是用于自动生成NuSMV和MATLAB代码的，它们将Simulink模型转换为形式化语言，便于进行模型检查和验证。`M_gen`可能指的是MATLAB生成器，而`SMV_gen`对应于NuSMV模型语言生成器。NuSMV是一种开源的、支持...

matlab代码转化为simulink-MAVLink_Matlab:用于Matlab的本机MAVLink库

matlab代码转化为simulink MAVLink Matlab 库这是目前正在进行的工作该项目旨在生成 MAVLink 的原生 Matlab 实现，可以将其添加到 mavgen in . 该存储库将用于存储示例库，以便就整体结构达成一致。动机大量无人机研究使用了 ArduPilot 代码库。与世界其他地方不同，学术界主要使用 Matlab。因此，值得注意的是 Matlab 不支持

卡尔曼平滑滤波代码matlab-Kalman-Filter:非常简单的离散卡尔曼滤波

5星 · 资源好评率100%

卡尔曼·克劳迪代码 matlab 卡尔曼滤波器我为我关于卡尔曼滤波的研究制作了教程。我附上了与卡尔曼滤波算法相关的好文章。我忽略了我的大部分代码都受到 atushi 的启发。算法总结首先，尝试了解什么是测量模型和卡尔曼滤波器方程。我的灵感来自卡尔曼滤波 - 使用 MATLAB 的理论和实践我们使用恒速模型来预测状态矩阵。样品在这里，我们向您展示当人类侵入感应区域时的雷达跟踪场景示

自适应控制matlab仿真代码-adaptive-control:自适应控制

意图控制matlab仿真代码自适应控制 Adaptive Control 是一个带有一些鲁棒自适应控制方案的 Matlab 代码的项目。入门先决条件 Matlab 版本 R2014a 运行测试模拟目录：/code/main.m 例子目录：/code/examples/ 作者达尼洛·佩纳

matlab鸢尾花降维代码-PCA:主成分分析

matlab鸢尾花降维代码

matlab光的衍射代码-FDTD-Solutions-Script-Library:FDTD解决方案用于超表面全息照相（FSMH）的脚本库

5星 · 资源好评率100%

matlab光的衍射代码超表面全息 FDTD Solutions 脚本库 FDTD Solutions Script Library for Metasurface Holographic 暂时自用，未完成。项目简介 Lumerical FDTD Solutions 仿真超表面（Metasurface）用到的脚本文件。功能特性 ./data/Material/: 存放材料数据 ./sourc

uwb定位matlab代码-UWB-Positioning:超宽带定位

uwb定位matlab代码超宽带定位超宽带 (UWB) 室内定位系统。信号处理 2017 年 1 月 – 2018 年 12 月 UCLouvain, 硕士生项目：超宽带（UWB）室内定位系统。 UCLouvain 信号处理课程范围内的项目。任务：目标是跟踪被 5 个接收器包围的室内发射器的位置。提供了接收到的信号和原始信号，我们必须重新创建发射器随时间创建的路径，并将其与实际轨迹进行比

pseudogen:一种从源代码自动生成伪代码的工具-ps source code

4星 · 用户满意度95%

假性原一种从源代码自动生成伪代码的工具。安装使用Docker 泊坞窗就是您所需要的。 docker attach `docker run -itd delihiros/pseudogen` /# cd pseudogen/data /# ../run-pseudogen.sh -f tune/travatar.ini 要求需要Python 3.5+ apt install

BUAA-OSLAB-2020:北航小操作系统实验Lab0-Lab6

5星 · 资源好评率100%

北航小操作系统实验Lab0-Lab6 实验更新时间实验室0 2020/4/11 实验1 2020/4/29 2020-06-07更新 Lab0-Lab6已全部完成。每个实验的报告会上传在博客里。（可能要等到考完试了才有时间弄了） 2020-06-28更新实验报告Lab1-Lab4已发布在博客上。写这个太费时间了，你也能看到我写的也是超详细，Lab5和Lab6实在没时间写了，所以就咕

脑电提取均值信号特征的matlab代码-EEG-feature-seizure-detection:用于癫痫发作检测的脑电图特征工程

脑电提取均值信号特征的matlab代码用于癫痫发作检测的脑电图特征工程该 repo 记录了癫痫发作检测任务中最具挑战性的部分 EEG 特征工程的 MATLAB 代码。这些 EEG 特征已被 Citation 中已发表的论文所使用。脑电特征域功能编号特征域描述 1-4 基本统计平均振幅、标准振幅、过零次数、振幅范围 5-16 光谱分析每个频段的功率比和绝对功率，alpha、beta、

matlaba算法代码-hybrid_A_star:本仓库是对混合A*算法的matlab复现

5星 · 资源好评率100%

matlab a算法代码本仓库是对混合A*算法的matlab复现算法结果图如何使用 1.在matlab中直接运行EntryPoint.m文件即可，坐标的航向phi取值范围是[-pi,pi] 注意： 1.本仓库提供两个代码版本，其中without_comments分支是原作者的版本，并且修复了从左边直线行驶轨迹错误的bug(原因是VehicleCollisionCheck出错)。 2.mast

小波阈值去噪MATLAB代码-wdenoise:小波去噪

5星 · 资源好评率100%

小波阈值去噪MATLAB代码瓦迪诺斯使用经验贝叶斯阈值和许多其他阈值方法在ANSI C中进行小波消噪。 WDenoise对象，参数和函数示例代码1：wdenoise（EBayesThresh）示例代码2：wdenoise 示例代码3：使用EBayesThresh和Visushrink进行图像去噪依存关系 Git和CMake 入门 Clone the project. cd to direc

离散控制Matlab代码-Event-triggered-controller:网络控制系统的事件触发控制的简单示例

5星 · 资源好评率100%

离散控制Matlab代码事件触发控制网络控制系统（NCS）的事件触发控制器的简单示例：开发事件触发控制以减少网络控制系统中的通信负载。这意味着系统输出或执行器信号仅在违反事件触发条件时才通过网络传输，该条件被设计为可以确保一定的控制性能。离散时间和连续时间系统的Matlab代码的一些示例： 1-系统状态对传感器可用： 2-输出反馈，事件触发的PID控制器 3-最佳（状态反馈）控制 4-MP

nsga2算法matlab代码-NSGA-II:遗传算法的多目标优化算法

nsga2算法matlab代码这是基于NSGA-II的多目标进化算法（MOEA）。最终目的是解决开源软件的发布时间和管理问题 NSGA是一种流行的基于非控制的遗传算法，用于多目标优化。原始NSGA-II代码可在函数nsga_2（pop，gen）中找到。该函数的输入参数是种群大小和世代数。出于定制目的，用户可以通过修改m文件（evaluate_objective.m）来自由修改目标函数（多个

matlab无人机路径规划代码-multi-uav-planning:这是论文Multi-UAVRoutingforAreaCoveragea

matlab 路径规划代码多无人机规划这是使用多个无人机进行路径规划覆盖任务的 matlab 代码。该算法背后的概念在论文（）中展示。软件要求 MATLAB - 亚米普 - Gurobi - （可选）

评论收藏

内容反馈

weixin_38508497

粉丝: 7
资源: 932

matlab代码转化为simulink-Exploring-Simulink-Design-Verifier-3:这是为模式转换...

评论0

最新资源

matlab代码转化为simulink-Exploring-Simulink-Design-Verifier-3:这是为模式转换...

评论0

Exploring Simulink Design Verifier 03：这是一个为模式转换生成 NuSMV 和 Matlab 代码的脚本-matlab开发

matlab代码转化为simulink-Matlaber:利用IEC61131标准在Matlab/Simulink环境中模拟PLC控制程序的转

用MATLAB 与simulink到FPGA原型

matlab代码转化为simulink-simconnect-toolbox:用于MATLAB/Simulink的SimConnect工具箱

matlab代码转化为simulink-openmeta-simulink:用于OpenMETA的Simulink集成，使用通用接口构建

matlab代码转化为simulink-Data-Cleaning-Practice:这段代码是关于MATLAB生成的C代码（S函数）可以转换

matlab代码转化为simulink-actport:将AltairActivate模型转换为Simulink的Matlab工具箱

matlab中代码转simulink-trucksim_MPCSfun:trucksim/simulinkMPC控制仿真

探索 Simulink Design Verifier - 2：应用于自动驾驶模式转换的 Simulink Design Verifier-matlab开发

Exploring Simulink Design Verifier for Sfunctions:Simulink Design Verifier 应用于以 Voter 逻辑和模式转换逻辑为 Sfunction 的 Auto Pilot 模型-matlab开发

matlab关于simulink课件

MATLAB/simulink模型

MATLAB simulink

Simulink模型检查，验证与测试步骤

Exploring Design Verifier - 04：这里有用于探索 Simulink Design Verifier 的示例文件-matlab开发

matlab开发-探索imulinkdesignverifier03

matlab代码转化为simulink-MAVLink_Matlab:用于Matlab的本机MAVLink库

卡尔曼平滑滤波代码matlab-Kalman-Filter:非常简单的离散卡尔曼滤波

自适应控制matlab仿真代码-adaptive-control:自适应控制

matlab鸢尾花降维代码-PCA:主成分分析

matlab光的衍射代码-FDTD-Solutions-Script-Library:FDTD解决方案用于超表面全息照相（FSMH）的脚本库

uwb定位matlab代码-UWB-Positioning:超宽带定位

pseudogen:一种从源代码自动生成伪代码的工具-ps source code

BUAA-OSLAB-2020:北航小操作系统实验Lab0-Lab6

脑电提取均值信号特征的matlab代码-EEG-feature-seizure-detection:用于癫痫发作检测的脑电图特征工程

matlaba算法代码-hybrid_A_star:本仓库是对混合A*算法的matlab复现

小波阈值去噪MATLAB代码-wdenoise:小波去噪

离散控制Matlab代码-Event-triggered-controller:网络控制系统的事件触发控制的简单示例

nsga2算法matlab代码-NSGA-II:遗传算法的多目标优化算法

matlab无人机路径规划代码-multi-uav-planning:这是论文Multi-UAVRoutingforAreaCoveragea

最新资源