研究文章雷竞技app下载苹果版

的方式呈现系统的建模和控制使用TPN和助教

文摘

本文模型和监督内核铁路穿越(方式呈现)系统使用时间Petri网和侧重于控制合成方法,包括在计算新的射击条件时间自动机(TA)转换,禁止地点不再是可获得的。系统使用时间Petri网建模和监督转化为一名助教,分析使用自动机系统方面的功能规范。使用自动机的主要原因是,尽管时间佩特里网主管控制系统,它不能定义所需的时间单位未定义的过渡时间。仿真结果显示的方式呈现的可靠性建模和监督,确保安全和效用最大化(门应该尽可能打开)。

h . Allaa h·阿瓦德,a·瓦尔大肠El-Hajri

阅读全文下载全文|访问全文