×

Petri网中具有不可控转换的监督执行Parikh约束的综合。 (中文。英文摘要) Zbl 1104.93039号

摘要:对基于Petri网的具有不可控转换的离散事件系统的Parikh向量约束监督控制进行了详细分析。约束分为可控部分和不可控部分,可称为允许约束和禁止约束。提出了矩阵变换方法,将禁止约束转化为允许约束,从而得到控制器。通过实例证明,本文给出的方法结构清晰,计算简洁,应用于复杂Petri网中的约束时,将大大简化控制器综合。

理学硕士:

93C55美元 离散时间控制/观测系统
68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)
PDF格式BibTeX公司 XML格式引用