跳一跳matlab代码-thesis:硕士论文
跳一跳matlab代码论文
我关于使用基于定时自动机的流量抽象自动优化调度程序合成的硕士论文的存储库。
（使用定时游戏自动机、Dieky
Adzkiya
和
Manuel
Mazo,
Jr.
调度事件触发的网络控制系统）
在matlab文件夹中，可以找到用于生成交通模型抽象的
C.
Hop
代码的编辑版本。
main.m
文件包含描述系统和查找抽象的所有参数。
更改
wrt
C.
Hop
的代码：
实现了二分搜索以找到每个部分的触发时间的下限和上限
边界和可达性分析在一个函数中完成，并使用并行循环来加速过程。
结果会自动保存到
.mat
文件中
在python文件夹中，找到了定时自动机和抽象的
python
实现。
可以通过
G.Gleizer
使用
ETCTime
或通过加载由
matlab
代码保存的
.mat
文件来创建抽象
为了重新创建上述论文中的网络和控制回路，实现了
ControlLoop
和
Network
类。它们继承自
TGA
类，并且可以导出为
Uppaal
XML
图。
为此，这些类使用的
ta
中包含了
pyuppaal
的改编（部分）版本。
test.py
中
文件下载
资源详情
[{"title":"（ 67 个子文件 163KB ） 跳一跳matlab代码-thesis:硕士论文","children":[{"title":"thesis-master","children":[{"title":"matlab","children":[{"title":"reg_Det_Q.m <span style='color:#111;'> 2.28KB </span>","children":null,"spread":false},{"title":"fig_Sim_Q_etc.m <span style='color:#111;'> 3.56KB </span>","children":null,"spread":false},{"title":"step5_nD_Reachability_MPT.m <span style='color:#111;'> 13.12KB </span>","children":null,"spread":false},{"title":"main.m <span style='color:#111;'> 5.38KB </span>","children":null,"spread":false},{"title":"Icon\r <span style='color:#111;'> 0B </span>","children":null,"spread":false},{"title":"step2_Nu_etc.m <span style='color:#111;'> 2.70KB </span>","children":null,"spread":false},{"title":"Phi_fun_etc.m <span style='color:#111;'> 1.46KB </span>","children":null,"spread":false},{"title":"step3_nD_Q_etc_lowerbounds.m <span style='color:#111;'> 2.57KB </span>","children":null,"spread":false},{"title":"POLYHEDRA.m <span style='color:#111;'> 2.10KB </span>","children":null,"spread":false},{"title":"E_s_fun.m <span style='color:#111;'> 16.42KB </span>","children":null,"spread":false},{"title":"plot_transition_table.m <span style='color:#111;'> 426B </span>","children":null,"spread":false},{"title":"Q_2_fun.m <span style='color:#111;'> 1.28KB </span>","children":null,"spread":false},{"title":"cartesianProduct.m <span style='color:#111;'> 180B </span>","children":null,"spread":false},{"title":"demo_etc.m <span style='color:#111;'> 5.00KB </span>","children":null,"spread":false},{"title":"step1_etc.m <span style='color:#111;'> 1.59KB </span>","children":null,"spread":false},{"title":"POLYHEDRA_PROJ.m <span style='color:#111;'> 14.88KB </span>","children":null,"spread":false},{"title":"step4_nD_Q_etc_upperbounds.m <span style='color:#111;'> 3.11KB </span>","children":null,"spread":false},{"title":"Psi_MY_fun.m <span style='color:#111;'> 2.53KB </span>","children":null,"spread":false},{"title":"Phi_con_fun.m <span style='color:#111;'> 607B </span>","children":null,"spread":false},{"title":"reg_Det.m <span style='color:#111;'> 3.00KB </span>","children":null,"spread":false},{"title":"feasibility_upper_bound.m <span style='color:#111;'> 1.66KB </span>","children":null,"spread":false},{"title":"allcomb.m <span style='color:#111;'> 4.21KB </span>","children":null,"spread":false},{"title":"LL_fun_etc.m <span style='color:#111;'> 2.46KB </span>","children":null,"spread":false},{"title":"plot_figures.m <span style='color:#111;'> 3.88KB </span>","children":null,"spread":false},{"title":"Phi_hat_fun.m <span style='color:#111;'> 417B </span>","children":null,"spread":false},{"title":"feasibility_lower_bound.m <span style='color:#111;'> 3.71KB </span>","children":null,"spread":false},{"title":"M_fun.m <span style='color:#111;'> 293B </span>","children":null,"spread":false}],"spread":false},{"title":"LICENSE <span style='color:#111;'> 34.33KB </span>","children":null,"spread":false},{"title":"README.md <span style='color:#111;'> 2.20KB </span>","children":null,"spread":false},{"title":"data","children":[{"title":"CL1_M_20.mat <span style='color:#111;'> 2.47KB </span>","children":null,"spread":false},{"title":"CL2_M_100.mat <span style='color:#111;'> 5.13KB </span>","children":null,"spread":false},{"title":"CL1_M_80.mat <span style='color:#111;'> 4.70KB </span>","children":null,"spread":false},{"title":"CL2_M_20.mat <span style='color:#111;'> 2.45KB </span>","children":null,"spread":false},{"title":"CL1_M_180.mat <span style='color:#111;'> 8.66KB </span>","children":null,"spread":false},{"title":"CL2_M_160.mat <span style='color:#111;'> 7.19KB </span>","children":null,"spread":false},{"title":"CL2_M_180.mat <span style='color:#111;'> 7.95KB </span>","children":null,"spread":false},{"title":"CL2_M_40.mat <span style='color:#111;'> 3.08KB </span>","children":null,"spread":false},{"title":"CL2_M_60.mat <span style='color:#111;'> 3.64KB </span>","children":null,"spread":false},{"title":"CL1_M_120.mat <span style='color:#111;'> 6.18KB </span>","children":null,"spread":false},{"title":"CL1_M_140.mat <span style='color:#111;'> 7.32KB </span>","children":null,"spread":false},{"title":"CL1_M_100.mat <span style='color:#111;'> 5.31KB </span>","children":null,"spread":false},{"title":"CL2_M_120.mat <span style='color:#111;'> 5.67KB </span>","children":null,"spread":false},{"title":"CL1_M_60.mat <span style='color:#111;'> 3.89KB </span>","children":null,"spread":false},{"title":"CL2_M_80.mat <span style='color:#111;'> 4.42KB </span>","children":null,"spread":false},{"title":"CL1_M_40.mat <span style='color:#111;'> 3.18KB </span>","children":null,"spread":false},{"title":"CL1_M_160.mat <span style='color:#111;'> 7.70KB </span>","children":null,"spread":false},{"title":"CL2_M_140.mat <span style='color:#111;'> 6.55KB </span>","children":null,"spread":false}],"spread":false},{"title":".gitignore <span style='color:#111;'> 173B </span>","children":null,"spread":false},{"title":"conda","children":[{"title":"conda-thesis.yml <span style='color:#111;'> 2.16KB </span>","children":null,"spread":false},{"title":"conda_list.txt <span style='color:#111;'> 5.39KB </span>","children":null,"spread":false},{"title":"Icon\r <span style='color:#111;'> 0B </span>","children":null,"spread":false},{"title":"conda_timedautomata.yml <span style='color:#111;'> 2.13KB </span>","children":null,"spread":false},{"title":"conda-etctime.yml <span style='color:#111;'> 2.71KB </span>","children":null,"spread":false}],"spread":true},{"title":"python","children":[{"title":"Network.py <span style='color:#111;'> 4.43KB </span>","children":null,"spread":false},{"title":"NTA.py <span style='color:#111;'> 3.11KB </span>","children":null,"spread":false},{"title":"scalability.py <span style='color:#111;'> 3.56KB </span>","children":null,"spread":false},{"title":"test.py <span style='color:#111;'> 2.26KB </span>","children":null,"spread":false},{"title":"xml","children":[{"title":".DS_Store <span style='color:#111;'> 6.00KB </span>","children":null,"spread":false}],"spread":true},{"title":"ControlLoop.py <span style='color:#111;'> 9.65KB </span>","children":null,"spread":false},{"title":"parse_results.py <span style='color:#111;'> 425B </span>","children":null,"spread":false},{"title":"demo.py <span style='color:#111;'> 2.99KB </span>","children":null,"spread":false},{"title":"ta","children":[{"title":"timedautomata.py <span style='color:#111;'> 11.87KB </span>","children":null,"spread":false},{"title":"strategy.py <span style='color:#111;'> 7.39KB </span>","children":null,"spread":false},{"title":"__init__.py <span style='color:#111;'> 140B </span>","children":null,"spread":false},{"title":"pyuppaal.py <span style='color:#111;'> 22.61KB </span>","children":null,"spread":false},{"title":"abstractions.py <span style='color:#111;'> 6.43KB </span>","children":null,"spread":false}],"spread":false},{"title":"simple.py <span style='color:#111;'> 1.58KB </span>","children":null,"spread":false}],"spread":true}],"spread":true}],"spread":true}]
评论信息
其他资源
- 6.1.x extra3617_v4.8
- 根据计盒维数原理编写的求一维曲线分形维数的matlab程序
- eclipse-jee-2020-12-R-linux-gtk-aarch64.tar.gz
- TMAC更改软件，可以修改MAC地址
- 各种最小二乘法汇总（算例及MATLAB程序）
- java从入门到精通第三版.pdf
- adminLTE--中文版已全部翻译
- 京东完整前端页面
- 2018年世界编程大赛64KB作品
- 概率与统计第六版课后答案
- 《数据库系统概论》第三版萨师煊、王珊，高等教育出版社
- 从抛物线谈起：混沌动力学引论 第二版 [郝柏林 著] 2013年版
- fanuc focas仿真实例 fanuc 监控FOCAS_API_DEMO_VS2015_C#_FORM_V1.0.1.zip
- R for Beginners(中文版).pdf
- 如何实施与巩固最佳培训效果.pdf
- Android事件传递机制Demo.zip
- bsa：巴托洛梅足球学院-源码
- 最新微信域名检测防封API接口大全（多语言版）
- funcode黄金矿工
- 基于NLMS算法的自适应滤波器的研究与应用
- wrfda安装和问题分析
- 椭圆曲线密码学导论 （加）DARREL HANKERSON等著 张焕国等译 中文p
免责申明
【只为小站】的资源来自网友分享，仅供学习研究，请务必在下载后24小时内给予删除，不得用于其他任何用途，否则后果自负。基于互联网的特殊性，【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查；无论 【只为小站】 经营者是否已进行审查，用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二条之规定，若资源存在侵权或相关问题请联系本站客服人员，zhiweidada#qq.com，请把#换成@，本站将给予最大的支持与配合，做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二条之规定，若资源存在侵权或相关问题请联系本站客服人员，zhiweidada#qq.com，请把#换成@，本站将给予最大的支持与配合，做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明