基于Petri网的非线性多变量系统解耦控制

广义自控网系统是一类弧权值受库所控制的高级Petri网,能够简单有效地建模PID控制规律.借鉴单神经元PID控制原理,在广义自控网系统的基础上加入神经元网络的学习规则,设计基于广义自控网系统的PID控制器,并用于非线性多变量系统解耦控制.所提方法充分利用了自控网系统的特点,所设计的控制器模型能实现系统控制与参数学习的统一.结合双容水箱控制系统实例进行仿真分析,分析结果验证了所提方法的有效性.     

线性定常系统的输入-输出能量解耦

提出一种介于动态解耦与静态解耦之间的能量解耦方法, 即从输入_输出的能量关系上实现解耦, 使得任何一个输入的能量主要控制对应的一个输出的能量, 对其它输出能量的影响尽可能小. 所给实例表明, 该方法具有良好的解耦效果.     

线性定常系统的输入-输出能量解耦

提出一种介于动态解耦与静态解耦之间的能量解耦方法,即从输入_输出的能量关系上实现解耦,使得任何一个输入的能量主要控制对应的一个输出的能量,对其它输出能量的影响尽可能小.所给实例表明,该方法具有良好的解耦效果.     

一类Petri网系统的活性

Petri网是一种用来研究具有异步、并发特征的离散事件系统的合适的工具,当用Petri网来模拟一个实际系统时,关心的问题之一就是要确定这个Petri网模型是否具有一些所期望的特生,如活性、有界性等,这些特性均是系统的重要动态行为,该文基于文献[1]给出了Petri网的一子类,即弱化非自控网（Weak Extended Non SelfControlling Nets,简称WENSeC网）,该类网覆盖了扩展自由选择网和扩展非自控网,文中提出了并证明了WENSeC网系统活性的的充分必要条件满足死锁－陷阱性质,同时对WENSeC网的一子类,通过转化方法,证明了该类结构有界网的结构活判定算法可借用扩非自控网的有关结果也是多项式时间算法。     

线性连续定常系统状态比例积分反馈控制

在状态反馈控制的基础上,提出了状态比例积分反馈控制的理论,并证明了线性定常系统状态比例积分反馈控制系统的能控性、能观性和稳定性的充分条件。     

关于线性定常大系统的局部控制与状态估计

本文给出了一类线性定常大系统可局部镇定的充要条件。对一类较广的可局部镇定的大系统,本文证明它们是可以任置稳定度的。文中还得到了大系统存在分散观测器及分散控制的充要条件。所有证明都是构造性的。     

线性逻辑,Petri网和并发计算

1.线性逻辑和张量理论在古典逻辑的 Gentzen 型矢列演算中Girard 去除弱规则和缩规则,发展起一种新型逻辑系统——线性逻辑(简记为 LL)。它不同于古典逻辑,本质上是一种事态逻辑(logic of situation),或者是一动作逻辑(logic of action),强调系统的动态特征与并发计算紧密相关。结构规则的去除自然在 LL 中导致了两种类型的连接词:乘性连接词和加性连接词,     

线性定常系统仿真的两种新算法

本文提出了两种适合于对线性定常系统进行仿真的新算法,它们不仅保持了改进转移矩阵法和拟Adams法的A-稳定性、计算量较小和精度较高等优点,而且弥补了这两种方法在理论上的不严密性和截断误差较大等缺陷,因而具有更好的数值特性,仿真结果表明,文中提出的算法是有效可行的。     

Petri网性质的线性时序逻辑描述与Spin检验

Petri网是描述并发系统的很直观的图形工具Spin是一种著名的分析验证并发系统性质的工具。本文首先论述Petri网性质的线性时序逻辑描述,研究用Promela编程描述Petri网和用Spin对Petri网性质进行检验的方法,最后通过两个具体的示例说明这种方法是成功的。     

一类受控Petri网的状态反馈逻辑的综合

将Holloway和krogh关于受控标记图的禁态控制方面的结果扩展到更广泛的一类受控Petri网--不可控子网为前后向无冲突的受控Petri网,并去掉了关于初始标记和禁态规范的限制.     

一类受控Petri网的状态反馈逻辑的综合

将Ｈｏｌｌｏｗａｙ和Ｋｒｏｇｈ关于受控标记图的禁态控制方面的结果扩展到更广泛的一类受控Ｐｅｔｒｉ网──不可控子网为前后向无冲突的受控Ｐｅｔｒｉ网，并去掉了关于初始标记和禁态规范的限制．     

S-and T-Invariants in Cyber Net Systems

Cyber nets are also known as self-modifying nets.Though proposed and defined some 20 years ago.They have never been under thorough study ever since.The reason for this is simple:the nonlinear nature of such nets keeps them away from applications of well developed methods known to the whole Petri Net Society in the world.This paper attempts to make a start of studying cyber nets in depth by proposing a way to defing and to verify S-invariants and T-invariants in such nets.These invariants reflect important dynamic properties of cyber nets.Invariants in cyber nets play a role similar to loop invariants proposed and studied by E.W.Dijkstra and D.Gries when cyber nets are used for program specification.     

区间速率连续Petri网可达稳态必要性分析

文章就区间速率连续Petri网可达稳态的必要性问题进行研究,在介绍区间速率连续Petri网及其使能、引发语义的基础上首先给出区间速率连续Petri网在指定标识下具有稳态的条件;其次通过提出区间速率连续Petri网一种标识向量等价类划分方法从而给出分析区间速率连续Petri网可达稳态必要性的有效方法;最后给出一个应用例子,考察区间速率连续Petri网的可达稳态问题。     

自控网系统建模工具的研究与开发

自控网系统是一类具有非线性关系和强大建模能力的Petri网。应用可视化编程平台Visual Studio.NET开发了自控网系统建模工具CyberNetTool。用户可在交互方式下建立自控网系统模型,并采用PNML格式文件来存储模型。构造了软件核心类,以实现界面控件管理和模型分析,详细描述了自控网系统各性质分析模块和动态仿真模块的实现算法。最后通过具体应用实例表明了该工具的正确性和实用性。     

状态反馈块解耦的分块方法

给出了求取最大限度能解耦分块的方法。用单模态变换抽取各分块的反馈不变结构，利用其行相关性态逐渐合并不能解耦的各块，可得到最大限度的能解耦分块。     

Feasibility of piecewise-constant control sequences for timed continuous Petri nets

In this study, the determination of control actions for timed continuous Petri nets is investigated by the characterisation of attractive regions in marking space. In particular, attraction in finite time, which is important for practical issues, is considered. Based on the characterisation of attractive regions, the domain of admissible piecewise constant control actions is computed, and sufficient conditions to verify the feasibility of the control objectives are proposed. As a consequence, an iterative procedure is presented to compute piecewise constant control actions that correspond to local minimum time control for timed continuous Petri nets.     

一类受控Petri网的反馈控制

受控Petri网是离散事件动态系统(DEDS)的一种控制理论模型.通过模型来研究实现禁止状态避免的最大允许反馈控制是DEDS控制理论中的一个重要课题.文中对受控Petri网的一个子类(非受控变迁子集的外延子网为TC网)讨论控制综合问题,给出求这类受控网中实现禁止状态避免的最大允许反馈控制的一个算法.     

智能合同网协议的CPN实现

鉴于传统合同网协议居高不下的通信量,本文提出了智能合同网协议(ICP).该协议对任务的发起者增加友好度因子,对投标者加入信任度因子,双方互相选择,并及时动态更新友好度及信任度;对每个动作添加时间因素,用全局时钟控制整个模型;为了降低通信量,防止投标者无限制投标,对投标者设定投标次数阈值;并且对于没有中标的任务则设定流拍的次数.根据历史投标记录,智能调整各项参数.本文利用颜色Petri网对ICP建模并仿真,实验数据证明, ICP极大的降低了通信量,缩短了运行时间,提高了任务命中率.