跳一跳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
中
2022-12-02 10:55:26
163KB
系统开源
1