齐鹏飞
- 作品数：13 被引量：9H指数：2
- 供职机构：华侨大学更多>>
- 发文基金：中央高校基本科研业务费专项资金国家自然科学基金福建省高等学校新世纪优秀人才支持计划更多>>
- 相关领域：自动化与计算机技术一般工业技术动力工程及工程热物理更多>>
- 基于关联矩阵代数运算的逻辑型监控器设计
- 对于含有不可控变迁的Petri网监控问题，允许状态空间可能需要一组“或” 的 允许约束来描述，而库所不变量的监控方法[12]只将给定约束转换为单个的允许约束，其监控 器将系统行为限制在允许标识状态空间的较小子集内，其限制...
- 赵坡罗继亮齐鹏飞陈雪琨
- 关键词：PETRI网控制策略
- 一种将PLC指令表程序转换成普通Petri网的方法
- 本发明一种将PLC指令表程序转换成普通Petri网的方法，实现了从PLC指令表程序到普通Petri网的自动转换，由于普通Petri网激发条件简洁，逻辑思维方式简单，更直观易懂，而且所得Petri网能够完全模拟PLC控制系...
- 齐鹏飞罗继亮陈雪琨
- 文献传递
- 间歇式化工形式化建模与顺序控制器设计被引量：6
- 2012年
- 针对间歇式化工生产过程,根据执行机构网元件提出了其受控Petri网模型的设计方法,将工艺流程描述为变迁串的顺序控制目标,继而根据基本变迁串将工艺流程描述为Petri网的线性约束.最后,利用库所不变量方法设计监控库所,给出顺序Petri网监控器,实现了复杂化工过程的闭环控制系统的形式化建模、分析和优化.
- 罗继亮陈雪琨齐鹏飞赵坡
- 关键词：离散事件系统PETRI网顺序控制
- 基于关联矩阵代数运算的逻辑型监控器设计
- 2011年
- 对于含有不可控变迁的Petri网监控问题,允许状态空间可能需要一组"或"的允许约束来描述,而库所不变量的监控方法只将给定约束转换为单个的允许约束,其监控器将系统行为限制在允许标识状态空间的较小子集内,其限制性过于严格,且该方法无法解决某些监控问题。针对上述问题,给出了一种基于关联矩阵代数运算的约束转换方法,能够将给定约束转换为一组"逻辑或"的允许约束,进而给出了逻辑型监控器的设计方法,其控制策略的在线计算可以在多项式时间内完成,能够满足实时性的要求,并且该监控器比方法的监控器允许性更大。需要指出的是该方法的约束转换算法的离线计算量具有指数级的计算复杂性。
- 赵坡罗继亮齐鹏飞陈雪琨
- 关键词：PETRI网控制策略
- PLC程序形式化的设计与验证被引量：3
- 2013年
- 从形式化方法的角度出发,阐述可编程逻辑控制器(PLC)程序的形式化设计和验证方法的相关研究.在形式化设计方面,分析了根据Petri网和自动机模型判断程序正确性和可靠性的研究成果;在形式化验证方面,分析了PLC语言与形式化模型的转换和基于NuSMV或UPPAAL的验证方法.最后,比较将两种形式化方法应用到PLC程序的特点,探讨现有成果中存在的问题及研究发展方向.
- 齐鹏飞罗继亮陈雪琨
- 关键词：可编程逻辑控制器形式化设计PETRI网自动机定理证明
- 基于关联矩阵代数运算的逻辑型监控器设计
- 对于含有不可控变迁的Petri网监控问题，允许状态空间可能需要一组“或”的允许约束来描述，而库所不变量的监控方法[12]只将给定约束转换为单个的允许约束，其监控器将系统行为限制在允许标识状态空间的较小子集内，其限制性过于...
- 赵坡罗继亮齐鹏飞陈雪琨
- 关键词：关联矩阵代数运算设计方法
- 一种检测PLC梯形图程序中是否存在竞态的方法
- 本发明一种检测PLC梯形图程序中是否存在竞态的方法，通过计算普通Petri网的可达图来确定待检测程序中是否存在竞态，不仅可以一次性完成检测工作，而且可以让程序员清晰、直观地从可达图中直接发现程序中隐含的逻辑错误，同时检测...
- 齐鹏飞罗继亮陈雪琨
- 文献传递
- 指令表程序的形式化验证方法研究
- 随着计算机技术、网络通信技术的高速发展，社会需求量的不断增大，国家对工业自动化水平的要求也在不断提高。作为目前一项非常重要的自动化技术，可编程逻辑控制器（Programmable Logic Controller，PLC...
- 齐鹏飞
- 关键词：指令表PETRI网计算树逻辑
- 文献传递
- 基于形式化方法的PLC程序设计与验证研究综述
- 在安全苛求工程领域中可编程逻辑控制器（PLC）的可靠性需求的驱动下，近年来学术界开展了大量的PLC程序的形式化设计和验证方法研究。本文列举了它们在核电、列车和导弹控制系统等工程的应用;总结了现有PLC形式化设计和验证方法...
- 齐鹏飞罗继亮陈雪琨
- 关键词：可编程逻辑控制器程序设计PETRI网自动机模型
- 文献传递
- 一种将可编程逻辑控制器程序转换为普通Petri网的方法
- 本发明一种将可编程逻辑控制器程序转换为普通Petri网的方法，针对PLC梯形图程序，将梯形图触点和线圈模拟为结点，将导线模拟为有向边，建立梯形图程序的PLC有向图模型，定义该有向图中的路径，根据路径关系，将PLC有向图转...
- 罗继亮陈雪琨齐鹏飞
- 文献传递
