基于局部关联矩阵的Petri网监控器的综合

针对具有定义在库所标识上的最一般情况下不等式约束的离散事件系统,给出了它的Petri网控制器设计方法.该方法通过简化离散事件系统的Petri网关联矩阵以减少控制器设计的复杂性.通过一个应用实例将该控制器设计方法与Moody提出控制器设计方法进行比较,结果表明该方法更简便、有效.     

采用普通Petri网的自动化立体仓库系统的PLC程序设计

以一个实际立体仓库系统的出库流程为例,给出利用普通Petri网设计其可编程逻辑控制器(PLC)程序的方法.首先,根据自动化立体仓库系统的出库流程,提出其对象Petri网的设计方法;然后,根据系统工艺流程对应的顺序控制规范,在对象Petri网的基础上增加执行机构的变迁,最终得到闭合Petri网(监控器);最后,给出将闭合Petri网转化成PLC梯形图的方法,实现自动化立体仓库系统的形式化建模和PLC程序设计.研究结果表明:所提出的设计方法更容易自动实现系统的控制器设计及转化为梯形图语言.     

基于C/E系统监控器的CPLD实现

文章给出了用复杂可编程逻辑器件 (CPLD)实现离散事件动态系统 (DEDS)监控器的方法 首先用Petri网中的条件 /事件系统 (C/E系统 )对DEDS建模 ,然后使用Petri网工具对模型进行分析 ,并根据控制要求设计出Petri监控器 ,最后用CPLD实现之 这不仅使Petri网有了硬件支持 ,而且也为逻辑控制器的设计提供了一种新的方法 文中给出了猫和老鼠迷宫问题基于C/E系统监控器实现的例子     

基于Petri网的车间控制器平台研究

着重于车间控制器的开放性提出了车间控制器平台的体系结构.车间控制器平台的核心是运控Petri网.该文给出了运控Petri网的定义.和一般的Petri网相比,运控Petri网主要增加了控制规则以及和外部信息进行交互的接口.实现外部接口的技术方案是车间控制器平台的关键技术,这些接口包括控制设备的虚拟制造设备(VMD)接口、数据库访问接口以及文件访问接口,通过这些外部接口为车间调度提供了全面的车间信息.     

Petri网系统的弱公平性判定

本文首先给出了一个Petri网系统的有效可重复向量的两个性质.随后,又给出了用有效可重复向量判断Petri网系统弱公平性相关问题的一个充分必要条件.在一个Petri网系统中,任意的两个变迁ti,tj,则tj弱公平依赖于ti,当且仅当不存在这样的有效可重复向量X,使得X(j)0且X(i)=0.最后,用一个实例展示结论的应用过程.     

任务分解的Petri网方法及有效性研究

任务的分解是实现多主体系统的关键,运用形式化的方法对任务分解进行描述和验证是十分必要的。对于一般的任务逻辑分解表达式,利用Petri网对任务的分解进行建模,得到任务分解Petri网,进而通过剔除不合理的任务分解结构得到任务有效分解的Petri网系统。通过检查任务有效分解的Petri网的存在与否,可以判断任务的分解结构是否有效。另外,对于任意一个有限的P/T网系统,给出了判断是否存在无效任务分解的充分条件,从而论证了在任务有效分解的Petri网系统中只存在一级活变迁。将任务分解的有效性判断与Petri网活性分析联系起来,实现了多主体系统的一个亟待解决的基础性问题。     

含有不可控变迁的Petri网死锁避免策略

文章针对Petri网建模的并发系统中的死锁问题,利用Petri网可达树分析方法检测系统死锁的存在,结合Petri网控制器的设计来达到预防和避免死锁的目的;提出了一种新的约束设计思想,进行控制器设计,使得系统不会出现死锁;更进一步地考虑到控制器设计过程中存在不可控变迁的情况下系统避免死锁的设计问题。     

基于C／E系统监控器的CPLD实现

文章给出了用复杂可编程逻辑器件（CPLD）实现离散事件动态系统（DEDS）监控器的方法。首先用Petri网中的条件／事件系统（C／E系统）对DEDS建模,然后用Petri网工具对模型进行分析,并根据控制要求设计出Petri监控器,最后用CPLD实现之。这不仅使Petri网有了硬件支持,而且也为逻辑控制器的设计提供了一种新的方法。文中给出了猫和老鼠迷宫问题基于C／E系统监控器实现的例子。     

一类多平衡态非线性系统的动态输出反馈鲁棒容错控制

针对一类多平衡态非线性系统,考虑系统具有范数有界时变参数不确定性,存在执行器故障时的绝对稳定控制问题.对于Lur’e型多平衡态非线性系统,基于将Leonov的频域判据转化为H∞次优问题,考虑系统具有范数有界时变参数不确定性,且系统的执行器出现故障时,采用动态输出反馈控制,给出系统鲁棒容错控制器存在性问题的判据,进一步给出了基于LM I(线性矩阵不等式)的鲁棒控制器的设计方法.仿真表明了该方法的有效性.     

带有不可控变迁的一般不等式约束的Petri网控制器综合

针对关于标识向量和Parikh向量的一般不等式约束的Petri网控制器实现问题,研究控制对象中存在不可控变迁情况下实现Petri网反馈控制器问题.首先利用Petri网的状态方程把关于标识向量和Parikh向量的不等式约束转变成关于Parikh向量的不等式约束,由于Petri网中不可控变迁的存在,故不能直接对给定不等式约束进行控制器设计,需要对不等式约束进行转换.提出一种新约束转换技术把不允许转变为允许不等式约束,然后设计Petri网反馈控制器.最后将该方法与Iordache等人提出的方法作比较,实验结果显示该方法更简单、更有效.     

关于Petri网归约问题

Petri 同归约问题是当今 petri 网研究领域的一个重要课题,本文从 Petri 网静态结构的角度出发,给出了三个层次的 Petri 网归约方法,并用代数的方法严格地证明了这些归约方法保持网的两大重要性质:活性和有界性。它们为 Petri 网的归约和分析的复杂性之间提供了一个灵活折衷的手段,能够对一个庞大、复杂的 Petri网进行不同程度的归约,以适应不同的需要。文中所给出的归约算法是基于网的关联矩阵的,具有高效,便于实现的特点。此外,本文还就多弧 Petri 网的归约问题和 Petri 网的分解问题作了简要讨论。最后还给出了哲学家用餐问题的 Petri 网新模型并对之进行归约。     

广义大系统的非脆弱分散控制

讨论了状态反馈控制器存在摄动的线性广义大系统的非脆弱分散控制问题,应用线性矩阵不等式(LMI)方法,针对控制器增益具有加法式摄动和乘法式摄动两种情形,分别给出了线性广义大系统非脆弱分散控制器存在的充分条件.该控制器是一组线性矩阵不等式(LMIs),利用该不等式的可行解设计了非脆弱分散状态反馈控制器,使得闭环系统成为正则、稳定且无脉冲模的系统.仿真实例的结果说明了该设计方法的可行性和有效性.     

基于Delta算子的T-S模糊系统输出反馈鲁棒镇定

文章对一类由Delta算子描述的具有范数有界不确定性的T-S模糊系统,研究其静态输出反馈鲁棒镇定问题;利用Delta域的Lyapunov稳定性理论,基于矩阵相似变换,得到使模糊Delta算子系统鲁棒镇定的静态输出反馈控制器存在的充分条件;并用一组线性矩阵不等式(LMI)的可行解,直接利用Matlab中的LMI工具箱验证求解,给出输出反馈鲁棒控制器的一个参数化表达形式。     

带有执行器故障的Lurie时滞系统的可靠控制

研究了带有执行器故障的Lurie时滞系统的可靠控制问题.利用Lyapunov稳定性理论和线性矩阵不等式方法,给出了Lurie时滞系统存在可靠控制器的LM I形式的充分判据.所设计的控制器可以容忍执行器的一定故障,并且保证整个闭环系统是绝对稳定的.     

离散马尔科夫跳变系统模态不依赖非脆弱H_∞控制

针对跳变系统跳变参数无法获取的情形,考虑待设计控制器增益存在乘性范数有界不确定摄动,研究了离散马尔科夫跳变系统的模态不依赖非脆弱H∞控制问题.基于几个重要引理,导出了模态不依赖非脆弱状态反馈H∞控制器存在的以耦合线性矩阵不等式形式表达的充分条件,并给出了确定控制器参数的显示表达式.最后给出一个具体算例,利用Matlab7.0的LMI工具箱进行数值仿真,通过求取相应的状态响应和输出响应曲线,并与在设计阶段不考虑控制器参数摄动的常规H∞状态反馈控制器设计方法的结果进行比较,演示了所提出方法的有效性和优越性.     

中立型时滞系统耗散性控制

研究了一类中立型时滞系统的耗散控制问题，基于线性矩阵不等式(LMIs)方法导出了耗散控制器存在的充分条件。通过线性矩阵不等式的可行解构造出耗散状态反馈律，相应的闭环系统是严格耗散的。其特殊情形可以为控制和无源控制。     

一类不确定非线性奇异系统的保性能控制

本文研究了一类不确定非线性奇异系统的保性能控制问题．目的是设计一个保性能控制器,并应用线性矩阵不等式方法和Lyapunov稳定性理论给出状态反馈保性能控制器存在的充分条件．最后,通过线性矩阵不等式的可行解给出了保性能控制器的设计方法．     

具有控制器增益摄动的非脆弱H2控制

针对控制器增益存在加性控制器增益摄动,研究了线性连续系统的非脆弱状态反馈H2控制问题.基于线性矩阵不等式方法,给出了非脆弱状态反馈H2控制器存在的充要条件.此外,采用相同的方法还研究了不确定系统的鲁棒非脆弱状态反馈H2控制问题,并给出了鲁棒非脆弱状态反馈H2控制器存在的充要条件.实例表明设计方法的有效性.     

基于T-S模型的不确定非线性中立型时滞系统的保性能控制

研究一类基于T-S模型的不确定非线性中立型时滞系统的保性能控制问题,利用Lyapunov方法推导出其保性能模糊控制器存在的充分条件,并通过求解一个凸优化问题,给出一种选择保性能控制器的方法.