文件名称：跳一跳matlab代码-thesis:硕士论文
文件大小：163KB
文件格式：ZIP
更新时间：2024-07-06 07:56:35
系统开源
跳一跳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 中