广义互斥约束相关论文
随着计算、通信和传感器技术的快速发展,大量的复杂动态系统比如自动制造系统,智能交通系统和物流系统等应运而生,它们都具有混合......
离散事件系统是由不规则时间间隔出现的事件序列驱动的一种动态系统。实际的离散事件系统可能会演变到一些禁止状态，例如柔性制造系......
在当今工业化飞速发展的时代,工程项目的复杂性日益增加,为了使系统按照工业化需求进行生产,必须设计出优良的监督控制系统,这样不......
为了给出一类由控制库所和它与变迁的连接弧组成的监控器结构的适用性,本文提出了一种基于函数构造的针对广义互斥约束的监控器综......
离散事件系统(Discrete Event System,简记为DES)是一种由事件而非时间驱动的动态系统。和连续时间系统一样,离散事件系统也需要对......
并发和冲突在柔性制造系统中是普遍存在的,当并发和冲突混合在一起时,使人无法从系统可达图相同的终态观测到是否有冲突发生过,系......
死锁是系统并发进程中特有的问题,由于发生的不确定性,死锁检测和消除非常困难。在以分支界定法设计最优监控器的基础上,提出了一......
针对不可控影响子网为后向无同步前向无冲突网的广义互斥约束，给出基于约束转换的最优监控方法：根据路径代数法研究后向无同步前向无......
针对S3PR网的死锁预防问题,提出一种基于信标的最大许可死锁控制策略。采用迭代方法对网系统中存在的所有可清空严格极小信标添加......
柔性制造系统中存在并发和冲突是不可避免的。当并发和冲突同时存在于柔性制造系统中时,无法从系统相同的最终状态观测到是否有冲......
研究了Petri网的柔性制造加工系统中的死锁避免问题。为了保证死锁避免和资源最大允许利用,提出了基于广义互斥约束的Petri网最优......
研究了部分可控Petri网的码垛机器人零件加工系统最优监控器设计的问题。为了保证广义互斥约束满足静态规范和行为规范,提出了部分......
期刊
本文研究部分可观Petri网建模的离散事件系统的故障检测问题.针对现有的部分可观Petri网系统的在线故障诊断器存在故障诊断率较低......
