赵坡
- 作品数:6 被引量:6H指数:1
- 供职机构:华侨大学更多>>
- 发文基金:国家自然科学基金中央高校基本科研业务费专项资金福建省高等学校新世纪优秀人才支持计划更多>>
- 相关领域:自动化与计算机技术一般工业技术动力工程及工程热物理更多>>
- 间歇式化工形式化建模与顺序控制器设计被引量:6
- 2012年
- 针对间歇式化工生产过程,根据执行机构网元件提出了其受控Petri网模型的设计方法,将工艺流程描述为变迁串的顺序控制目标,继而根据基本变迁串将工艺流程描述为Petri网的线性约束.最后,利用库所不变量方法设计监控库所,给出顺序Petri网监控器,实现了复杂化工过程的闭环控制系统的形式化建模、分析和优化.
- 罗继亮陈雪琨齐鹏飞赵坡
- 关键词:离散事件系统PETRI网顺序控制
- 基于关联矩阵代数运算的逻辑型监控器设计
- 2011年
- 对于含有不可控变迁的Petri网监控问题,允许状态空间可能需要一组"或"的允许约束来描述,而库所不变量的监控方法只将给定约束转换为单个的允许约束,其监控器将系统行为限制在允许标识状态空间的较小子集内,其限制性过于严格,且该方法无法解决某些监控问题。针对上述问题,给出了一种基于关联矩阵代数运算的约束转换方法,能够将给定约束转换为一组"逻辑或"的允许约束,进而给出了逻辑型监控器的设计方法,其控制策略的在线计算可以在多项式时间内完成,能够满足实时性的要求,并且该监控器比方法的监控器允许性更大。需要指出的是该方法的约束转换算法的离线计算量具有指数级的计算复杂性。
- 赵坡罗继亮齐鹏飞陈雪琨
- 关键词:PETRI网控制策略
- 基于网结构压缩技术的Petri网监控器综合
- 2014年
- 针对Petri网控制问题中不可控子网的状态空间指数级增长导致的计算复杂性难题,提出了控制目标(线性约束)等价的网结构压缩算法:(1)将不可控子网部分区域压缩为单个库所;(2)并将原网上的线性约束等价转换为新网的新线性约束.反复迭代该算法,可以有效地压缩原不可控子网,从而指数级地减小不可控子网的状态空间,有效地降低监控问题的计算复杂性,甚至当不可控子网为状态机时,该方法能够彻底解决上述计算复杂性难题,获得高效最优的Petri网监控器,并用一个物料运输系统演示了该方法.
- 罗继亮赵坡
- 关键词:PETRI网监控器
- 基于关联矩阵代数运算的逻辑型监控器设计
- 对于含有不可控变迁的Petri网监控问题,允许状态空间可能需要一组“或” 的 允许约束来描述,而库所不变量的监控方法[12]只将给定约束转换为单个的允许约束,其监控 器将系统行为限制在允许标识状态空间的较小子集内,其限制...
- 赵坡罗继亮齐鹏飞陈雪琨
- 关键词:PETRI网控制策略
- 基于网结构压缩技术的petri网监控器设计
- 离散事件系统与连续变量系统是相对应的。它象征着一批代表现代文明的高性能人造系统,如柔性制造系统、数据网络交换系统、交通调度系统、自动导航车辆系统和C3I军事指挥系统等,其系统状态的演变是由分布在离散的、不规则时间间隔内的...
- 赵坡
- 关键词:离散事件系统PETRI网
- 文献传递
- 基于关联矩阵代数运算的逻辑型监控器设计
- 对于含有不可控变迁的Petri网监控问题,允许状态空间可能需要一组“或”的允许约束来描述,而库所不变量的监控方法[12]只将给定约束转换为单个的允许约束,其监控器将系统行为限制在允许标识状态空间的较小子集内,其限制性过于...
- 赵坡罗继亮齐鹏飞陈雪琨
- 关键词:关联矩阵代数运算设计方法